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
Proceedings of the 2008 ACM symposium on Applied computing
Conformance Testing Based on UML State Machines
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Regression testing with UML software designs: A survey
Journal of Software Maintenance and Evolution: Research and Practice
UML in action: a two-layered interpretation for testing
ACM SIGSOFT Software Engineering Notes
Fault-based generation of test cases from UML-Models: approach and some experiences
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Symbolic execution of UML-RT State Machines
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Model based testing of an embedded session and transport protocol
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Improving test coverage for UML state machines using transition instrumentation
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Accelerated robustness testing of state-based components using reverse execution
Proceedings of the 28th Annual ACM Symposium on Applied Computing
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
An automatic generation strategy for test cases based on constraints
ICIC'13 Proceedings of the 9th international conference on Intelligent Computing Theories and Technology
Accelerated model-based robustness testing of state machine implementations
ACM SIGAPP Applied Computing Review
| Hi-index | 0.00 |
The Unified Modeling Language has been introducedas a notation for modeling and reasoning about large andcomplex systems, and their design, across a wide range ofapplication domains. System modeling and analysis techniques,especially those based on formal methods, are moreand more used for enhancing traditional System Engineeringtechniques for improving system quality. In particularthis holds for model-based formal test case derivation usingformal conformance testing. The contribution of the presentpaper is to provide a solid mathematical basis for conformancetesting and automatic test case generation for UMLStatecharts (UMLSCs). We propose a formal conformance-testingrelation for input-enabled transition systems withtransitions labeled by input/output-pairs (IOLTSs). IOLTSsprovide a suitable semantic model for a behavioral subsetof UMLSCs. We also provide an algorithm which, for aUMLSC specification and the alphabet of implementations,generates a test suite. The algorithm is proven exhaustiveand sound w.r.t. the conformance relation.