JUNIT - Programmüberprüfung gegen Whitebox Fuzzing?

Question

Ich verstehe, dass die Programmüberprüfung ein Zweig der Computertechnik ist - aber es ist der praktische Antrag auf echte Weltzeit-Base-Basen durch kombinatorische Explosion begrenzt.

Ich verstehe auch, dass es als Teil des Entwerfens Ihres Softwarewechsels, für eine Änderung eines vorhandenen Java-Frameworks, hilfreich ist, um über Whitebox, Grenz- und Blackbox-Tests für Ihren Algorithmus im Voraus zu denken.(Einige Leute nennen diese Hängemattenentwicklung - Denken Sie, bevor Sie den Code verwenden.)

Angenommen, Sie nehmen dieses Denken an und bündeln Sie es in Junit-Stil-Tests, darum gehe ich davon aus, dass der Computerwissenschaftname für den Inhalt streng "Whitebox Testing / Fuzzing" ist und nicht ausreicht, um die "Programmüberprüfung" umfasst.

also meine frage ist - junit tests - whitebox uzzing oder programmüberprüfung?

Answer 1

Die Programmüberprüfung ergibt sich als mathematische Eigenschaften auf einem mathematischen Modell, das sich auf Ihre Anwendung zusammenhängt (sie kann von der formalen Semantik der Programmiersprache oder von Hand abgeleitet werden, z. B. beim Schreiben von Verhaltenstypen, die Ihren Webdienst modellieren).

Schauen Sie sich einen Blick auf pi-calculus , um zu verstehen, was ich meine.

Natürlich hat Junit nichts mit der formalen Programmüberprüfung zu tun.