论文信息 - Model-Based Testing from UML Models

Model-Based Testing from UML Models

This paper presents an original model-based testing approach that takes a UML behavioral view of the system under test and automatically generates test cases and executable test scripts on the basis of model coverage criteria. This approach is embedded in the LTG model-based testing tool and is currently deployed in domains such as electronic transactions, embedded control software and information systems.

[1] Charles Ashbacher,et al. The Object Constraint Language Second Edition, Getting Your Models Ready for MDA, by Jos Warmer and Anneke Kleppe. , 2003 .

[2] Jos Warmer,et al. The object constraint language , 1998 .

[3] Hong Zhu,et al. Software unit test coverage and adequacy , 1997, ACM Comput. Surv..

[4] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .

[5] Ivar Jacobson,et al. The Unified Modeling Language Reference Manual, Second Edition , 2005 .

[6] Bruno Legeard,et al. Boundary coverage criteria for test generation from formal models , 2004, 15th International Symposium on Software Reliability Engineering.

[7] Bruno Legeard,et al. A taxonomy of model-based testing , 2006 .