Assignment

• Problem 11.1 or 11.2 (pick one). Also determine the number of paths and sensitize a few of your test cases.
• Problem 11.4.
• Problem 11.9 or 11.10 (pick one). Also determine the number of slices and sensitize a few of your test cases.
• Consider the program sketch (we use := for assignment):
  if (x > 0) then y := 100 + x else y := 100 - x ;
  if (y > 100) then z := 1 else z := 0;
  Discuss the differences in test sensitization when you are performing CFT vs DFT for this program.

Due Date

• 5/14/2020.
  If you'd like to receive feedback before your final exam on 5/15/20, you should submit your homework by 5/13/20.