By Topic

Research on the interactive property testing 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)
Yu Xue ; Coll. of Comput. Sci., Inner Mongolia Univ., Hohhot, China ; Hua Li ; Yi Xing ; Xinming Ye

The aim of property based testing is to validate an IUT with respect to a target property, to observe whether the property is violated or not. Many distributed systems have a natural feature-Interactive property. But most distributed systems face state explosion when the test work is analyzed and developed with a formal model. In order to avoid such problems, this paper presents a testing method that is Interactive property based testing, which can focus on the interesting features of a system. Petri net is employed to model the IUT, so we can make use of its reachability graph to generate the executable test sequence. Furthermore a test sequence generation algorithm is proposed and analyzed. We also give a verdict method. The feasibility of the approach is illustrated on a BRP case study.

Published in:

Systems and Informatics (ICSAI), 2012 International Conference on

Date of Conference:

19-20 May 2012