By Topic

Generation of Test Cases for Concurrent Software Systems Based on Data-Flow-Oriented Specifications

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

1 Author(s)
Yuting Chen ; Sch. of Electron., Inf., & Electr. Eng., Shanghai Jiao Tong Univ., Shanghai, China

Specification-based testing of concurrent software systems always faces strong challenges. One main reason is that there exists nondeterminism in both the specifications and the corresponding programs. For this reason, it is not easy to generate test cases on the basis of a specification, the execution of a test case may not follow a specification trace (or scenario) as expected, and the testing result may be different from the expected one. This paper describes an approach to using SOFL specifications to test concurrent software systems. SOFL is one of the few specification languages supporting incorporating formal descriptions into the practical specification construction process. SOFL specification integrates data f low diagrams, Petri nets and VDM-SL. The approach proposed in this paper advocates the idea of selecting from a formalized data f low diagram of a SOFL specification a set of specification traces based on which test cases can be generated. We also discuss in this paper the testing strategies, coverage criteria, and method for testing of concurrent software systems, and describe an example of generation of test cases for an online shopping system in order to demonstrate the usability of the approach in practice.

Published in:

Computers, Networks, Systems and Industrial Engineering (CNSI), 2011 First ACIS/JNU International Conference on

Date of Conference:

23-25 May 2011