Cart (Loading....) | Create Account
Close category search window

Test criteria for model-checking-assisted test case generation: A computational study

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

2 Author(s)
Bolong Zeng ; Sch. of Electr. Eng. & Comput. Sci., Washington State Univ., Richland, WA, USA ; Li Tan

Test case generation is often cited as one of the most challenging tasks in testing dependable systems [9]. Besides benefits as a verification technique by its own right, model checking is emerging as an efficient method for automating test case generation. Existing testing criteria and a range of new criteria, namely the vacuity-based ones, inspired by formal requirements have been used in model-checking-assisted test generation. This paper reviews some of these existing and new test criteria. We developed a unified framework for evaluating the effectiveness of these test criteria and the efficiency of model-checking-assisted test generation for these criteria. The benefits of this work are three-fold: first, the computational study carried out in this work assesses the practical effectiveness and efficiency of model-checking-assisted test case generation, which are important metrics to consider for selecting the right test criteria and test generation approach. Second, we propose a unified test generation framework based on generalized Büchi automata. The framework uses the same off-the-shelf model checker, in this case, SPIN model checker [10], to generate test cases for different criteria and compare them on a consistent basis. Last but not least, we describe in great details the methodology and automated test generation environment that we developed on the basis of our unified framework. Such details are of interest to researchers who needs to carry out their own experimental study on test criteria, and to practitioners who want to integrate model-checking-assisted test generation into their testing process.

Published in:

Information Reuse and Integration (IRI), 2012 IEEE 13th International Conference on

Date of Conference:

8-10 Aug. 2012

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.