Idee

Die Kohäsion einer Menge von Steckbriefen und die Abdeckung dessen, was sie beschreiben, sind zwei getrennte Prüfungen

Info

Ursprünglich auf Französisch verfasst. Von KI übersetzt — der Sinn wurde bewahrt, nicht der Stil.

Hauptgedanke

Wenn alle erwähnten Steckbriefe existieren und keine Verknüpfung mehr ins Leere zeigt, wirkt die Menge abgeschlossen. Sie ist es nicht: Eine Menge von Steckbriefen, die nur einander zitieren, schließt ihr Netz lange bevor sie das Produkt abgedeckt hat. Das Netz hatte sich geschlossen, als erst eine Minderheit der Module zu einem Steckbrief geführt hatte, und die anschließende Abdeckungsprüfung brachte zwei zentrale Fachobjekte zum Vorschein, nach denen im Netz nichts verlangt hatte.

Die Prüfung auf Geschlossenheit bleibt gut, sofern man weiß, was sie beweist: dass die Menge in sich zusammenhält. Über das, was nie hineingekommen ist, sagt sie nichts, denn sie verfügt über keinerlei Wissen über den beschriebenen Gegenstand — sie kennt nur die Steckbriefe.

Also zwei Prüfungen, nie nur eine. Ob die Menge zusammenhält, prüft man, indem man die Steckbriefe untereinander betrachtet. Ob sie vollständig ist, prüft man, indem man das Produkt aufzählt.

Warum das wichtig ist

Diese Verwechslung ist die teuerste ihrer Art, weil gerade die Prüfung, die beim Messen versagt, sich von selbst meldet: Offene Verknüpfungen springen ins Auge, das nie erwähnte Objekt zeigt sich nirgends.

Sie lässt sich unverändert auf anderes als Steckbriefe übertragen. Eine grüne Testsuite beweist, dass sich der getestete Code wie erwartet verhält, nicht, dass man das Richtige getestet hat; ein Glossar, dessen Verweise alle ankommen, sagt nichts über die Wörter, die nicht darin stehen.

Nuancen und Grenzen

Die Unterscheidung gilt nur, wenn sich der beschriebene Gegenstand auf einem anderen Weg aufzählen lässt. Bei einem Material ohne mögliche Inventur — einem Denkgebiet, einem offenen Korpus — hat die Abdeckung keinen Nenner, und nur die Kohäsionsprüfung bleibt verfügbar.

Und die Kohäsion behält ihren eigenen Wert: Eine vollständige, aber in sich widersprüchliche Menge ist nicht brauchbarer als eine stimmige, aber unvollständige.

Offene Fragen

  • Wodurch ersetzt man bei einem Material ohne mögliche Inventur die Abdeckungsprüfung, ohne zu einem bloßen Gefühl von Vollständigkeit zurückzukehren?