Statecharts: A visual formalism for complex systems
Science of Computer Programming
Algebraic theory of processes
A reduced test suite for protocol conformance testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
The STATEMATE Semantics of Statecharts
The STATEMATE Semantics of Statecharts
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
On testing and diagnosis of communication protocols based on the FSM model
Computer Communications
Use of Verification for Testing and Debugging of Complex Reactive Systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Feature Interaction Aware Test Case Generation for Embedded Control Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based pairwise testing for feature interaction coverage in software product line engineering
Software Quality Control
Hi-index | 0.00 |
In this paper we present the application of the formal testing method to the statechart notation. The method is proposed for deriving test sets for complex statecharts, i.e. containing hierarchy and concurrency, using a 'divide and conquer' strategy. Initially, test cases are generated for simple statecharts and then these test cases are 'merged' to derive test cases for complex statecharts. They are then populated with test data. Methods for generating test cases for simple statecharts and for 'merging' of such test cases, are described using a simple example. The blackbox test method presented is easy to automate.