
136 Model-Based Testing for Embedded Systems
[Basal Running PON.R]
“ADE” 0.125 81 81 0 0.988 1.42E-04 0.988 1.42E-04 1 1
“AL2” 0.125 92 92 0 0.989 1.11E-04 0.989 1.11E-04 1 1
“BD” 0.125 86 86 0 0.989 1.26E-04 0.989 1.26E-04 1 1
“BG” 0.125 104 104 0 0.991 8.73E-05 0.991 8.73E-05 1 1
“IP” 0.125 92 92 0 0.989 1.11E-04 0.989 1.11E-04 1 1
“POFF” 0.125 80 80 0 0.988 1.45E-04 0.988 1.45E-04 1 1
“RC” 0.125 109 109 0 0.991 7.97E-05 0.991 7.97E-05 1 1
“TIF” 0.125 103 103 0 0.99 8.90E-05 0.99 8.90E-05 1 1
[Bolus Drug-notOK PON.R.BG.ADE.DNOK]
“DNOK” 0.333 6 6 0 0.875 1.22E-02 0.875 1.22E-02 1 1
“DOK” 0.333 5 5 0 0.857 1.53E-02 0.857 1.53E-02 1 1
“POFF” 0.333 4 4 0