Path-Wise Test Data Generation Based on Heuristic Look-Ahead Methods

Table 1

IVR process for each path of test in Figure 1.

Path	Branching condition	𝑎1	𝑎2	𝑎3	𝑋rel	𝑋irrel
Path 1: 0→1→2→9→10	𝑥1−𝑥2≤0	1	−1	0	{𝑥1,𝑥2}	{𝑥3}
Path 2: 0→1→3→4→8→9→10	𝑥1−𝑥2>0	1	−1	0	{𝑥1,𝑥2,𝑥3}	Ø
	𝑥3−𝑥2≤0	0	−1	1
Path 3: 0→1→3→5→6→7→8→9→10	𝑥1−𝑥2>0	1	−1	0	{𝑥1,𝑥2,𝑥3}	Ø
	𝑥3−𝑥2>0	0	−1	1
	3𝑥3≥−5	—	—	—
Path 4: 0→1→3→5→7→8→9→10	𝑥1−𝑥2>0	1	−1	0	{𝑥1,𝑥2,𝑥3}	Ø
	𝑥3−𝑥2>0	0	−1	1
	3𝑥3<−5	—	—	—