Study of Interaction Property Testing of Distributed System Based on Petri Net

Interaction property is a natural feature of many distributed systems which finish their work on network. But most of them face state explosion when the test work is analyzed and developed with a formal model such as Petri net. In order to avoid such problems, test based on interaction property is considered. It can focus on the interesting features of a system and ignore the other irrelevant part. In this paper, some definitions related to interaction property are given. Petri net is employed to model the IUT to make use of its reachability graph. Furthermore a test sequence generation algorithm is proposed and analyzed in detail. The coverage of a test sequence is discussed according to the interaction property and the corresponding verdict methods are given. During the process of test generation, the feasibility of test execution is simultaneously considered. In order to speed up the test execution, the generated test sequences are classified by the test scenarios. The approach is illustrated on several examples.