Assignment

• Continuing your Markov OP in hw#3, or starting with a new Markov OP,
  • Outline your method to generate test cases for testing execution sequences and generate at least a few test cases (say 3+).
  • Select a probability threshold, and convert this Markov-OP into a Musa-OP.
• Problem 11.1 or 11.2 (pick one) and the following extensions:
  • Determine the number of paths and sensitize a few of your test cases.
  • If your CFG contains no loops, try to modify it to include at least one loop.
  • What is your loop testing strategy? And, construct the corresponding test cases for it.
  • What is your testing strategy when you introduce nested decisions or loops inside your loop above?

• Problem 11.9 or 11.10 (pick one).
  (Since we have just started this topic, a simple program/function/segment would be OK. On the other hand, you DDG must include at least one data selector.)
  (Alternatively, pick one of CFT problem above, but focus on one or two decisions to contruct your model here.)

Due Date: