Finite State Testing: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 35:
==Copertura All-edges==
==Considerazioni==
Operare il Finite-State-Testing attraverso W-method permette di ottenere una '''Full Fault Coverage''', purchè siano garantite le seguenti condizioni sulle macchine ''specifica'' ed ''implementazione''
* devono essere '''deterministiche'''
* devono essere ''osservabili''
* devono essere ''completamente specificate''
* devono avere lo stesso numero di stati
* Il reset delle macchine è '''corretto''' nel senso che porta sempre allo stesso stato (non necessariamente quello iniziale)
=Wp-method=
| |||