Finite State Testing: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 28:
===State-Cover Set===
<math>Q</math> è l'insieme degli ingressi che, a partire dallo stato iniziale, permette di raggiungere ciascun altro stato
===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==
Line 35 ⟶ 39:
==Copertura All-edges==
Utilizziamo come Test Suite l'insieme <math>P \times W</math>
==Considerazioni==
| |||