Abenteuer Softwarequalität

8 Formale Verfahren

Q denkt über weitere Reviews nach. Trotz ihrer guten Kosten/Nutzen-Bilanz sind Reviews gar nicht einfach zu vermitteln, findet Q: Da sollen drei oder vier hoch bezahlte Entwickler ein Stück Code lesen, das man doch genau so gut ausführen und testen könnte. Aber dafür bräuchte man dann wieder Testdaten und Sollresultate und so weiter. Und nie weiß man, ob nicht doch noch irgendwo ein Mangel sitzt. So richtig befriedigend ist das für heimliche Perfektionisten nicht. Und davon gibt es in der Softwarequalität viele.

Wäre es nicht besser, wenn man richtiggehend beweisen könnte, dass ein Programm korrekt ist? Das wäre doch motivierender, als seine Energie dafür zu verbrauchen, Fehler zu suchen – wie beim Testen oder im Review. Aber ...