
Test-Adequacy Assessment Using Program Mutation
Mutant M2 of Program P7.2
1 enum dangerLevel {none, moderate, high, veryHigh}d;
2 procedure checkTemp (currentTemp, maxTemp){
3 float currentTemp[3], maxTemp; int highCount=0;
4 enum dangerLevel danger;
5 danger =none;
6 if (currentTemp[0]>maxTemp)
7 highCount=1;
8 if (currentTemp[1]>maxTemp)
9 highCount=highCount+1;
10 if (currentTemp[2])>maxTemp)
11 highCount=highCount+1;
12 if (highCount ≥1) danger=moderate; ← Mutated statement
13 if (highCount==2) danger=high;
14 if (highCount==3) danger=veryHigh;
15 return(danger);
16 }
It is easy to check that for all triples of input temperature values and
the maximum allowa ...