Das Thema hier sind
RTL Funktionen, und die kann man sehr wohl sehr genau spezifizieren und verifizieren
Da bin ich voll auf deiner Seite. Mein Einwand bezog sich auch nicht auf die Möglichkeit einer vollständigen Spezifikation grundlegender Funktionen und deren Mehrwert, sonder eher auf die real existierende Unvollständigkeit derselben. Insbesondere würde das auch einige Fälle von Diskrepanz zwischen Erwartungshaltung und Intention auflösen.
Manchmal ist es zwar ganz spannend vollständig undokumentierte Funktionalität in
RTL oder
VCL zu analysieren, besonderes effizient ist das allerdings nicht.