Derive a test set T from M2 shown in Figure 5.25 that is adequate with respect to the 1-switch cover criterion. Which test in T distinguishes M2 from M 2 and thereby reveals the error ? Compare T...

Derive a test set T from M2 shown in Figure 5.25 that is adequate with respect to the 1-switch cover criterion. Which test in T distinguishes M2 from M 2 and thereby reveals the error ? Compare T derived in this exercise with the test given in Example 5.38 and identify a property of the method used to construct T that allows T to distinguish M2 from M2