JUnit - Vérification du programme vs Fuzzing Whitebox?

Question

Je comprends que la vérification du programme est une branche de l'ingénierie informatique - mais que son application pratique aux bases de code réelle est limitée par l'explosion combinatoire.

Je comprends également que dans le cadre de la conception de votre logiciel, pour une modification d'un framework Java existant, il est utile de penser à l'avance des tests Whitebox, Boundary et Blackbox pour votre algorithme. (Certaines personnes appellent ce développement axé sur les hamacs - penser avant de coder.)

En supposant que vous prenez cette réflexion et l'intégrez dans des tests de style Junit, je suppose que le nom informatique du contenu est strictement «test / fuzz» et ne pas suffisamment de «vérification du programme».

Ma question est donc - Junit Tests - Whitebox Fuzzing ou Vérification du programme?

Answer 1

La vérification du programme se fait prouver des propriétés mathématiques sur un modèle mathématique qui est lié à votre application (il peut être dérivé du sémantique formel du langage de programmation ou à la main, comme la rédaction de types de comportement qui modélisent votre service Web).

Jeter un coup d'œil à pi-calcul Pour comprendre ce que je veux dire.

Bien sûr, Junit n'a rien à voir avec la vérification formelle du programme.