Wikiversità

Finite State Testing: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
m Bot: errori di battitura
m Bot: accenti
Riga 31:
 
===Transition Set===
<math>P</math> éè l'insieme degli ingressi che, a partire dallo stato iniziale, permette di coprire tutti e le transizioni (archi)
 
==Copetura All-nodes==
Riga 43:
 
==Considerazioni==
Operare il Finite-State-Testing attraverso W-method permette di ottenere una '''Full Fault Coverage''', purchèpurché siano garantite le seguenti condizioni sulle macchine ''specifica'' ed ''implementazione''
* devono essere '''deterministiche'''
* devono essere ''osservabili''
Estratto da "https://it.wikiversity.org/wiki/Finite_State_Testing"