differential-testing

3 posts

Differential Testing funktioniert ohne formalen Beweis, aber Common-Mode Failures sind der Haken

Differential Testing hilft dir, Bugs zu finden, ohne die korrekte Antwort zu kennen. Das Problem ist, dass korrelierte Fehler wie Übereinstimmung aussehen. So entdeckst du die blinden Flecken.

Du kannst Differential Testing ohne formalen Beweis vertrauen, aber nur, wenn du genau verstehst, wo es zusammenbricht. Die Schwäche heißt Common-Mode Failure.…

Fünf Implementierungen und keine Mehrheit: Wie man tatsächlich die beste wählt

N-version Programming klingt einfach: mehrere Implementierungen laufen lassen und die beste Antwort wählen. In der Praxis ist 'beste' viel schwerer zu definieren als 'am häufigsten'.

Du hast fünf Implementierungen derselben Funktion. Drei liefern dasselbe Ergebnis. Eine weicht leicht ab. Eine wirft eine Exception. Welche ist richtig? Die…