Automatic test generation on a (U)SIM smart card
CARDIS'06 Proceedings of the 7th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications
SVERTS: specification and validation of real-time and embedded systems
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
MDE4HPC: an approach for using model-driven engineering in high-performance computing
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
SVERTS: specification and validation of real-time and embedded systems
UML Modeling Languages and Applications
Improving test coverage for UML state machines using transition instrumentation
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Hi-index | 0.03 |
UML-based methodologies take more and more space in the software development domain. In addition, the need to validate applications as early as possible in the development cycle is now mandatory to satisfy cost and time-to-market constraints. In this context, this paper describes, first, how to bridge the gap between semiformal UML models and a formal technology ensuring test case generation. Second, the formal tool used to automatically generate test sequences, named AGATHA, is described in minute detail. Finally, this approach is illustrated throughout by a toy example of an elevator system.