By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Hua Li ; Coll. of Comput. Sci., Inner Mongolia Univ., Hohhot, China ; Yi Xing ; Yu Xue ; Xinming Ye

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.

Published in:

Services (SERVICES), 2012 IEEE Eighth World Congress on

Date of Conference:

24-29 June 2012