Junit - Verifica del programma VS Whitebox Fuzzing?

Question

Compreso che la verifica del programma è un ramo dell'ingegneria del computer - ma che è un'applicazione pratica alle basi del codice mondo reale è limitata dall'esplosione combinatoria.

Io comprerò anche che come parte della progettazione del tuo cambiamento del software, per una modifica a un framework Java esistente, è utile pensare a test di Whitebox, Boundary e BlackBox per il tuo algoritmo, in anticipo.(Alcune persone chiamano questo sviluppo guidato da amaca - pensando prima di prendere il codice.)

Supponendo che tu prenda questo pensiero e incorporato nei test di stile Junit, sto assumendo che il nome di informatica per il contenuto sia strettamente "Whitebox Test / Fuzzing" e non sufficiente per comprendere "verifica del programma".

Quindi la mia domanda è - Test di Junit - Whitebox Fruzzing o Verifica del programma?

Answer 1

La verifica del programma viene eseguita dimostrando proprietà matematiche su un modello matematico relativo alla vostra applicazione (può essere derivato dal semantico formale del linguaggio di programmazione o dalla mano, come scrivere tipi comportamentali che modellano il tuo servizio Web).

.

Dai un'occhiata a pi-calculus per capire cosa intendo.

Certo, Junit non ha nulla a che fare con la verifica del programma formale.