By Topic

Scenario-Based Test Case Generation Using Event-B Models

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

3 Author(s)
Malik, Q.A. ; Dept. of Inf. Technol., Abo Akademi Univ., Turku, Finland ; Lilius, J. ; Laibinis, L.

In this paper we present an extension of the previously reported model-based testing approach that is based on formal models and user-provided testing scenarios. In this approach, the user provides a testing scenario on the level of an abstract model. When the abstract model is refined to add or modify features, the corresponding testing scenarios are automatically refined to incorporate these changes. The resulting testing scenarios are unfolded into the test cases containing the required inputs and expected outputs. To automate this test case generation process, we provideguidelines for the formal development of system models. We use Event-B as our formal framework. We also propose a method for automatic generation of Java implementation templates for Event-B specifications. Moreover, the corresponding testing scenarios are translated into JUnit test cases.

Published in:

Advances in System Testing and Validation Lifecycle, 2009. VALID '09. First International Conference on

Date of Conference:

20-25 Sept. 2009