Question Solved1 Answer 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? State coverage: For each state in the FSM model, there is a test case that visits that state. Transition coverage: For each transition in the FSM model, there is a test case that traverses that transition. Path coverage: For all finite-length subpaths from a distinguished start state in the FSM model, there is at least one test case that includes a corresponding subpath. State-pair coverage: For each state r in the FSM model, for each state s reachable from r along some sequence of transitions, there is at least one test case that passes through state r and then reaches state s.

OGT0M6 The Asker ยท Computer Science

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?

  • State coverage: For each state in the FSM model, there is a test case that visits that state.
  • Transition coverage: For each transition in the FSM model, there is a test case that traverses that transition.
  • Path coverage: For all finite-length subpaths from a distinguished start state in the FSM model, there is at least one test case that includes a corresponding subpath.
  • State-pair coverage: For each state r in the FSM model, for each state s reachable from r along some sequence of transitions, there is at least one test case that passes through state r and then reaches state s.
More
See Answer
Add Answer +20 Points
Community Answer
V4PGXA
See all the answers with 1 Unlock
Get 4 Free Unlocks by registration

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