CSCI426/CSCI926 Software Testing and Analysis
Lab – Week 9
Deterministic finite state machines (FSMs), with states representing classes of program states and transitions representing external inputs and observable program actions or outputs, are sometimes used in modeling system requirements. We can design test cases consisting of sequences of program inputs that trigger FSM transitions and the predicted program actions expected in response. We can also define test coverage criteria relative to such a model. Which of the following coverage criteria subsume which others?
Solution: The correct answer is State Pair Coverage : tFirst we should know what subsuming means: tLet there be two test criterion, A and B :- t tt A subsumes B if and only if  for each program S, the test set satisfies criteri ... See the full answer