Statecharts: A visual formalism for complex systems
Science of Computer Programming
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Property-based testing: a new approach to testing for assurance
ACM SIGSOFT Software Engineering Notes
Elements of the Theory of Computation
Elements of the Theory of Computation
Slicing Hierarchical Automata for Model Checking UML Statecharts
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Data flow testing as model checking
Proceedings of the 25th International Conference on Software Engineering
Test Sequences Generation from LUSTRE Descriptions: GATEL
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Automatic Testing of Reactive Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Model Checking UML Statecharts
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
Property-oriented testing: a strategy for exploring dangerous scenarios
Proceedings of the 2003 ACM symposium on Applied computing
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
Test Synthesis from UML Models of Distributed Software
IEEE Transactions on Software Engineering
A state-based approach to integration testing based on UML models
Information and Software Technology
| Hi-index | 0.00 |
UML Statecharts is an important modeling formalism with hierarchy, concurrency, broadcast-communication mechanisms and data variables. These facilities help the developers to describe the complex behaviors of an object along its lifecycle naturally. However, the ease of modeling is at the expense of testing: the system developed from Statecharts usually has numerous behaviors and is therefore extremely difficult to receive comprehensive and in-depth testing. This paper presents an approach to deriving targeted test sequences from UML Statecharts according to tester-specified temporal logic properties. Using this approach, testing efforts can be focused on specific properties of the system and usually only a small portion of the total behaviors will be tested. This method suits well the occasions when the testers are interested in just some specific properties of the system or when they have to focus on its critical properties in case that limited budget is available.