Neue Funktionen/Methoden der RTL etc finden

[Uwe Raabe]

Das ist ja generell das Problem bei Software: Gäbe es eine umfassende und vollständige Spezifikation, könnte man das auch verifizieren. Aber wann hat man sowas schon.

Vermutlich ist die einzig haltbare Zusicherung bei Software, daß die CI-Testsuite durchläuft. Aber wer kann schon alles und in jeder denkbaren Kombination testen.

[Stevie]

Zitat von Uwe Raabe:

Das ist ja generell das Problem bei Software: Gäbe es eine umfassende und vollständige Spezifikation, könnte man das auch verifizieren.

Das Thema hier sind RTL Funktionen, und die kann man sehr wohl sehr genau spezifizieren und verifizieren - und auch Abgrenzungen wie "für Input x, y, z ist das Verhalten undefiniert".
Weil man das aber nicht tut, entstehen immer wieder Defekte, wenn irgendwas refactored wird.

Beispiel: https://quality.embarcadero.com/browse/RSP-13021

Siehe Dokumentation: http://docwiki.embarcadero.com/Libra...per.StartsWith

Vergleich mit .NET Standard: https://docs.microsoft.com/en-us/dot...etstandard-2.0

[Uwe Raabe]

Zitat von Stevie:

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.

[TigerLilly]

Da war doch einnmal etwas:

http://www.nickhodges.com/post/The-D...t-Project.aspx