Bewertung der Qualität objektorientierter Entwürfe - Worte-Projekt

202 A Metriken für QOOD
∀ P, Q: Q = ξ(P) ⇒ m(P) ≤ m(Q) (ξ erweitert P um weitere Beziehungen)
Axiom BDW4 (Verschmelzen von Klassen). Werden zwei Klassen miteinander verschmolzen,
wird die Kopplung des Resultats höchstens so groß sein wie die Summe
der Kopplungen der beiden Klassen. Das liegt daran, dass Beziehungen der beiden
Klassen untereinander durch die Verschmelzung entfallen. Interessanterweise ist die
Aussage dieses Axioms die entgegengesetzte von W9!
∀ P, Q: m(P) + m(Q) ≥ m(P;Q)
Axiom BDW5 (Verschmelzen unverbundener Klassen). Ein Spezialfall bei der Verschmelzung
von Klassen sind Klassen, die keine Beziehungen untereinander haben.
Dann ist die Kopplung des Resultats gleich der Summe der Kopplungen der beiden
Klassen.
∀ P, Q: P und Q haben keine Beziehungen miteinander ⇒ m(P) + m(Q) = m(P;Q)
Untersuchung der Metriken
Die Metriken für Entkopplung sind Kopplungsmetriken, daher können sie zusätzlich
im Hinblick auf diese Axiome untersucht werden. Das wird hier am Beispiel der
Metrik NEDC (Number of Efferent Dependencies of a Class) demonstriert.
Axiom BDW1. Das Axiom gilt, denn der kleinstmögliche Wert einer Zählmetrik ist 0.
Axiom BDW2. Das Axiom gilt. Wenn eine Klasse keine Beziehungen nach außen hat,
liefert NEDC den Wert 0. Hat sie hingegen Beziehungen nach außen, liefert NEDC die
Anzahl dieser Beziehungen, also einen Wert größer 0.
Axiom BDW3. Das Axiom gilt. Fügt man einer Klasse eine Beziehung nach außen
hinzu, erhöht sich NEDC um 1. Damit ist die Ungleichung erfüllt.
Axiom BDW4. Das Axiom gilt. Werden zwei Klassen miteinander verschmolzen, entfallen
alle Beziehungen zwischen den beiden Klassen, werden also von NEDC nicht
mehr mitgezählt. Neue Beziehungen können dagegen durch das Verschmelzen nicht
hinzukommen. Damit ist die Ungleichung erfüllt.
Axiom BDW5. Das Axiom gilt. Werden zwei Klassen miteinander verschmolzen, die
keine Beziehungen untereinander haben, gehen durch das Verschmelzen keine Beziehungen
verloren 4 , es kommen aber auch keine dazu. Damit ist die Gleichung erfüllt.
Die am Beispiel gezeigte Beweisführung lässt sich auf die anderen Entkopplungsmetriken
übertragen. Ergebnis der Untersuchung ist, dass alle fünf Axiome für alle Metriken
gelten. Daher besitzen die Entkopplungsmetriken theoretische Validität im Sinne
von Briand et al. (1999).
4. Ein Sonderfall ist das Verschmelzen zweier Klassen, welche Beziehungen zur selben Klasse haben.
Entstehen in der Resultatklasse zwei Beziehungen desselben Typs zur selben Klasse, handelt es sich
dennoch um zwei verschiedene Beziehungen, die nicht zusammenfallen.