Finite State Testing: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →top: Correzione accento |
m →top: correzione |
||
Riga 5:
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 rappresenta la '''
* Operiamo un ''Conformance Testing'' - un caso particolare di Testing Funzionale - per stabilire se <math>I</math> sia ''equivalente'' a <math>S</math>
|