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

56 5 Ein Referenzmodell für den objektorientierten Entwurf
(1994) mit Hilfe von ODEM formalisiert (soweit möglich). Die formalen Definitionen
verwenden zum Teil Metriken aus QOOD (vgl. Tabelle 9-1).
Fallstudie 1: Martins Paketmetriken
Martin definiert Kriterien für die richtige Verteilung von Klassen auf Pakete. Diese
Kriterien basieren auf dem Begriff der Abhängigkeit. Ziel ist die Minimierung von
Abhängigkeiten, insbesondere Abhängigkeiten zu konkreten Klassen. Leider definiert
Martin nicht genau, was eigentlich eine Abhängigkeit ist. Es sagt nur, dass Abhängigkeiten
durch Klassenbeziehungen wie Vererbung, Aggregation und Benutzung entstehen.
Hier wird für die Formalisierung die depends_on-Relation verwendet, welche
die genannten Beispiele einschließt.
Relational cohesion (H). Diese Metrik soll den Zusammenhalt von Klassen innerhalb
eines Pakets erfassen. Weil die Klassen innerhalb eines Pakets eng verwandt sein
sollen, soll der Zusammenhalt hoch sein. H ist definiert als (R+1)/N, wobei R die
Anzahl der Beziehungen zwischen Klassen innerhalb des Pakets ist und N die Anzahl
der Klassen. Die folgende Definition zählt gegenseitige Abhängigkeiten zweimal, je
einmal für jede Richtung. Die Zahl der Interfaces (Metrik NIP) wird zur Zahl der
Klassen (Metrik NCP) hinzugezählt.
H(p) = ((Σ c∈C∪I: contains(p,c) Σ d∈C∪I\{c}: contains(p,d)
depends_on(c,d).weight) + 1) / (NCP(p) + NIP(p))
Afferent Coupling (Ca ). Die Anzahl der Klassen aus anderen Paketen, die von den
Klassen im Paket abhängen. Die afferente Kopplung soll niedrig sein.
Ca (p) = |{d∈C∪I: ¬contains(p,d) ∧ (∃c∈C∪I: contains(p,c) ∧ depends_on(d,c))}|
Efferent Coupling (Ce ). Die Anzahl der Klassen aus anderen Paketen, von denen
Klassen im Paket abhängen. Die efferente Kopplung soll niedrig sein.
Ce (p) = |{d∈C∪I: ¬contains(p,d) ∧ (∃c∈C∪I: contains(p,c) ∧ depends_on(c,d))}|
Abstractness (A). Die Abstraktheit eines Pakets ist definiert als das Verhältnis von
abstrakten Klassen (Metrik NCPa ) zu der Gesamtzahl der Klassen. Martin erwähnt
keine Interfaces; sie werden hier zu den abstrakten Klassen dazugezählt. Der Spezialfall
eines Pakets ohne Klassen (von Martin nicht erwähnt) soll eine Abstraktheit von 1
haben. Solche leeren Pakete sind sinnvoll für die Strukturierung anderer Pakete.
A(p) = if NCP(p) + NIP(p) > 0 then (NCPa (p) + NIP(p)) / (NCP(p) + NIP(p)) else 1
Instability (I). Die Instabilität eines Pakets ist definiert als das Verhältnis efferenter
Kopplung zur gesamten Kopplung. Der Spezialfall eines Pakets ohne Kopplung nach
außen (von Martin nicht erwähnt) soll eine Instabilität von 0 haben.
I(p) = if Ca (p) + Ce (p) > 0 then Ce (p) / (Ca (p) + Ce (p)) else 0
Distance from the Main Sequence (D). Die Hauptlinie (main sequence) ist Teil
einer Theorie von Martin, dass die Abstraktheit A und die Instabilität I eines Pakets
ungefähr gleich sein sollten, d. h. reine Abstraktionen sollten sehr stabil sein, während
sich konkrete Implementierungen ändern dürfen. Je weiter ein Paket von der
Hauptlinie, ausgedrückt durch die Gleichung A + I = 1, entfernt ist, desto schlechter.
Es gibt auch eine normalisierte Variante D', die im Intervall [0,1] liegt.