Finite State Testing: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
m Bot: errori di battitura |
||
Riga 4:
Per l'analisi saranno necessarie le seguenti premesse...
* Abbiamo una [[w:Automa_a_stati_finiti | FSM]] <math>S</math> che rappresenta la '''SPECIFICA'''
* Abbiamo una [[w:Automa_a_stati_finiti | FSM]] <math>I</math> che
* Operiamo un ''Conformance Testing'' - un caso particolare di Testing Funzionale - per stabilire se <math>I</math> sia ''equivalente'' a <math>S</math>
| |||