CSE 5314/7314 (Fall 2022): Homework #4
Assignment
- 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.4e.
- Problem 11.9 or 11.10 (pick one) and the following extensions:
-
Determine the number of slices
and sensitize a few of your test cases.
-
If you have only a single data selector in your DDG, try to add at least one more.
-
For multiple data selectors in your DDG,
how do you handle correlated control input conditions?
-
If you have loops in your program (11.9 problem) or repetitions in you
specification (11.10 problem),
how would your DDG be different, and how do you perform DFT for it?
Due Date:
11/10/22
Prepared by Jeff Tian
(tian@engr.smu.edu).
Posted: Nov. 2, 2022.