Information Technology Reference
In-Depth Information
0
obs qual([x1:full/inc,x2:zero/std])
1
obs pump1_on
2
obs qual([x1:empty..full/inc,x2:full/inc])
obs qual([x1: ...,x2: ...])
26
...
ctr water_req(1)
obs pump1_off
...
27
34
obs pump2_on
obs pump1_off
ctr water_req(1)
obs delta
obs pump1_off
28
32
35 (pass)
36 (fail)
obs pump1_off
obs pump2_on
obs pump1_off
29
33 (fail)
obs qual([x1:empty..full/inc,x2:empty..reserve/dec])
obs pump1_off
30 (pass)
31 (fail)
Fig. 7.
Part of the result of the conformance check between the original and the mu-
tated specification
Table 2.
Results when applying conformance verification to mutated specifications
Mut.
No.
Avg.Time Average No.
=
=
Op.
Mutants
[s]
States Trans.
No. Perc.
ASO
10
13.9
64
117
7
3
30%
ENO
6
7.6
68
120
5
1
17%
ERO
20
12.9
62
110
20
0
0%
LRO
13
12.8
93
168
9
4
31%
MCO
16
12.8
70
126
10
6
38%
RRO
12
12.0
40
73
10
2
17%
Total
77
12.0
66
119
61
16
21%
means the
Event Replacement Operator
,
LRO
stands for
Logical Operator Re-
placement
,
MCO
denotes the
Missing Condition Operator
,and
RRO
is the ab-
breviation for the
Relational Replacement Operator
. The second column shows
the number of generated mutants for each of the different operators. The average
time needed for the conformance verification is given in the third column. The av-
erage number of states and transitions of the resulting product graphs are given
in the fourth and fifth column, while the next to last column shows how many
equivalent mutants were found: from a total of 77 mutants, 16 (about 21%) were
found to be equivalent and cannot contribute any test cases. All conformance
results were derived using unbounded search, i.e., the results are exact. The state
space of the original specification comprises 59 states and 107 transitions.
