Home // International Journal On Advances in Software, volume 3, numbers 1 and 2, 2010 // View article

Requirement-driven Scenario-based Testing Using Formal Stepwise Development

Authors:
Qaisar A. Malik
Linas Laibinis
Dragos Truscan
Johan Lilius

Keywords: Scenario-based testing; Requirements Traceability; Event-B; Formal Refinement; JUnit;

Abstract:
This article presents a scenario-based testing approach, in which user-defined abstract testing scenarios of the SUT are automatically refined based on formal specifications of the system under test (SUT). The latter are specified in a stepwise manner using the Event-B formalism until a sufficiently refined specification is obtained, which is then used to generate a Java implementation template of the system. The development of the specification is driven by the requirements of the system which are traced throughout the development and testing process. Abstract testing scenarios, provided by the user, are automatically refined following the same refinement steps used for the system specification. The sufficiently refined scenarios are then transformed into executable Java Unit Testing (JUnit) test cases, which are executed against the Java implementation of the SUT. During the described process, the requirements linked to the testing scenarios are propagated to JUnit tests. The main advantage of the proposed approach that it allows the developer to evaluate which requirements have been validated and to trace back the failed tests to corresponding elements of the formal specifications.

Pages: 147 to 160

Copyright: Copyright (c) to authors, 2010. Used with permission.

Publication date: September 5, 2010

Published in: journal

ISSN: 1942-2628