Statecharts: A visual formalism for complex systems
Science of Computer Programming
A protocol test generation procedure
Computer Networks and ISDN Systems
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
A Practical Tutorial on Modified Condition/Decision Coverage
A Practical Tutorial on Modified Condition/Decision Coverage
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Formal Test-Case Generation for UML Statecharts
ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age
Validation and automatic test generation on UML models: the AGATHA approach
International Journal on Software Tools for Technology Transfer (STTT)
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Using status messages in the distributed test architecture
Information and Software Technology
Model transformations to satisfy all-configurations-transitions on statecharts
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Towards verification-based development of in-vehicle safety critical software: a case study
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Generating a checking sequence with a minimum number of reset transitions
Automated Software Engineering
Model transformation impact on test artifacts: an empirical study
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Hi-index | 0.00 |
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools provide only a limited coverage for different testing objectives. We argue that a better coverage can be achieved by instrumenting transitions, and performing an appropriate pre - and postprocessing. We describe the necessary enhancements of the UML model and demonstrate our method on a simple example. We further report on an industrial case study where we successfully applied our method for generating a validation test suite for a safety-relevant communication protocol.