Heuristic test case generation technique using extended place/transition nets

Abstract

This paper shows a novel heuristic test case generation technique using an extended PN (place/transition net). A guard and action are introduced to improve the representation power of a PN. Also, a weight that represents the degree of testing priority is given to each transition of a PN. Our algorithm that heuristically searches the extended PN generates a specified number of feasible test cases that focus on parts of higher testing priority.