By Topic

Generalized Partial Test Case Generation Method

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)
Pedrosa, L.L.C. ; Comput. Inst., Univ. of Campinas, Campinas, Brazil ; Moura, A.V.

Finite State Machines (FSMs) are widely used to generate test case suites for critical systems. Several test case generation methods are derived from the well-known W-method. The Wp-method is a variation of the W-method, which produces smaller test suites. The G-method is a generalization of the W-method, which dispenses the use of characterization sets. In this paper, we combine ideas of both, and introduce a new generalized method, that does not depend on characterization sets, as the Wp-method does, and may produce smaller test suites than those of the G-method.

Published in:

Secure Software Integration and Reliability Improvement Companion (SSIRI-C), 2010 Fourth International Conference on

Date of Conference:

9-11 June 2010