Assignment

• Briefly describe how AD (activity diagrams) are used to update the original Markov-OP in the Karami-Tian paper (p1 of the Canvas files). Can you suggest some other information/artifacts from software maintenance activities that can be used to update the Markov-OP? How (some general ideas/suggestions)?

• 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 the corresponding test cases for it?
  • What is your loop testing strategy when you introduce nested loops in your CFG?

• Problem 11.4d and 11.4f.

• Problem 11.9 or 11.10 (pick one).
  (Since we have just started this topic, a simple program/function/segment would be OK.)

Due Date: