Verifikationsorientierte Entwicklung: Über Test Driven Development hinaus

Dieser Artikel untersucht die verifikationsorientierte Entwicklung (VFD), ein Paradigma, das die Einrichtung von Verifikationsmechanismen vor dem Schreiben von Code betont. Dies kann das Schreiben von Tests, das Definieren von Typinvarianten, das Hinzufügen von Verträgen oder andere Methoden umfassen. VFD unterscheidet sich von Test Driven Development (TDD), welches ein Sonderfall von VFD ist und sich auf die Verwendung von Tests zur Steuerung des Code-Designs konzentriert. Die Vorteile von VFD beinhalten die Verringerung der Wahrscheinlichkeit, die Verifikation zu überspringen, frühzeitige Fehlererkennung und verbesserte Codequalität. VFD hat jedoch auch Nachteile: Es kann die Entwicklung verlangsamen, explorative Programmierung behindern und Verifikationsmethoden können das Code-Design beeinflussen. Der Autor argumentiert, dass VFD als Technik, nicht als Paradigma, flexibler ist und sich leicht in andere Ansätze integrieren lässt.