Test Case Generation Technique Based on Extended Coverability Trees

This paper shows a model-based testing technique using a PN (place/transition net) that is a kind of Petri net in order to improve the reliability of concurrent software. In this technique, a PN representing the expected behavior of software under test is used for generating a special tree called an ECT (extended coverability tree), which gives test cases that satisfy a criterion called ECT-N transition coverage. This technique focuses on the number of resources that behave concurrently in order to concentrate test engineers' effort on an important aspect of concurrent behavior by using a realistic number of test cases. This paper includes basic notions, a test case generation algorithm, and an example for considering the effectiveness of this technique.