Finite State Testing: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nuova pagina: Talvolta è possibile - ed opportuno - astrarre il sistema da testare, ponendolo sotto forma di Macchina a Stati. Per l'analisi saranno necessarie le seguenti premesse... * Abbiamo un... |
Nessun oggetto della modifica |
||
Riga 1:
Talvolta è possibile - ed opportuno - astrarre il sistema da testare, ponendolo sotto forma di [[w:Automa_a_stati_finiti | Macchina a Stati]].
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 rapppresenta la '''IMPLEMENTAZIONE'''
* Operiamo un ''Conformance Testing'' - un caso particolare di Testing Funzionale - per stabilire se <math>I</math> sia ''equivalente'' a <math>S</math>
| |||