Beatriz Pérez Lamancha
ABSTRACT
This paper describes an approach for model-based testing which is completely based on standards, what constitutes an essential factor for its implantation in industrial software tools. The inputs of the process are models described in UML 2.0, whereas the outputs consist of artefacts of the UML Testing Profile. The transformation process is based on QVT (Query-View-Transformation) scripts, a transformation language also adopted by the OMG.
- Baker, P., et al., Model-Driven Testing: Using the UML Testing Profile. 2007: Springer. Google Scholar
Digital Library
- Basanieri, F., A. Bertolino, y E. Marchetti, The cow_suite approach to planning and deriving test suites in UML projects. Lecture notes in computer science, 2002: p. 383--397.Google Scholar
- Dai, Z. Model-Driven Testing with UML 2.0. 2nd European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations. 2004.Google Scholar
- Javed, A., P. Strooper, y G. Watson. Automated generation of test cases using model-driven architecture. in Automation of Software Test, 2007. Google ScholarDigital Library
- Miller, J.y J. Mukerji, MDA Guide Version 1.0. OMG, 2003. omg/2003-06-01.Google Scholar
- Naslavsky, L., H. Ziv, y D. J. Richardson, Towards traceability of model-based testing artifacts, 3rd international workshop on Advances in model-based testing. 2007. Google ScholarDigital Library
- OMG, Meta Object Facility Specification. 2002, OMG. formal/2002-04-03.Google Scholar
- OMG, UML testing profile Version 1.0, OMG, 2005. formal/05-07-07.Google Scholar
- OMG, Object Constraint Language, Version 2.0. 2006. formal/2006-05-01.Google Scholar
- OMG, Meta Object Facility 2.0 Query/View/Transformation Specification, v1.0. 2007.Google Scholar
- OMG, Unified Modeling Language Superestructure specification, 2007. formal/2007-11-02.Google Scholar
- Zander, J., et al., From U2TP models to executable tests with TTCN-3-an approach to model driven testing. Lecture Notes in Computer Science, 2005. 3502: p. 289--303. Google ScholarDigital Library
Index Terms
- Automated model-based testing using the UML testing profile and QVT
Recommendations
A subset of precise UML for model-based testing
A-MOST '07: Proceedings of the 3rd international workshop on Advances in model-based testingThis paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria. This approach is embedded in ...
Ubtl - UML Testing Profile Based Testing Language
MODELSWARD 2015: Proceedings of the 3rd International Conference on Model-Driven Engineering and Software DevelopmentThe continuous increase of software complexity is one of the major problems associated with the development of today's complex technical systems. In particular, for safety-critical systems, which usually require to be thoroughly verified and validated, ...
Using the UML Testing Profile for Enterprise Service Choreographies
SEAA '10: Proceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced ApplicationsIn this paper we present an approach of using model-driven technologies for testing of service component interactions. We report on an industrial experiment with a novel combination of existing UML standards, i.e., the UML Testing Profile (U2TP), in ...
Comments