img=https://i.imgur.com/5ZmMM3r.png
La state coverage di un insieme di test cases (cioè sequenze di inputs) per uno state diagram è la percentuale di stati (inclusi START ed END) raggiunti almeno una volta.

Si consideri lo state diagram in figura 
Si consideri il seguente insieme di test cases:

Test case 1: act0 act2 act2 act1 act2 act2 act0 act2 act2 act0 act2 act0 act0 act2 act2 act2 act2 act1 

Test case 2: act2 act1 act0 act2 act2 act0 act0 act1 

Test case 3: act0 act1 act0 act0 act0 act2 act1 act0 act2 act2 act2 act0 act1 