Model Based Testing
From AtlanMod
Model-based testing consists in using models to assist the software testing process. The computational systems are becoming ever more complex. As a consequence, the difficulties of testing these systems increase. Models may be used to abstract these systems, and other parts of the testing process. For instance, they may represent the System Under Test (SUT), the SUT behavior, the test strategies, the test environment, etc.
Model-Based Testing Overview
Further information about Model-Based Testing may be found at this link: [1]
Current Research Topics
Elasticity Testing
With elasticity, the amount of computational resource is changed according to demand, during the application runtime. To absorb the resource changes, the application has to adapt itself, and this may introduce or reveal new errors. Since these new errors are introduced during the resource changes, to find them, we must verify/test the application during the resource change periods.
Testing of Model Transformations
The presence of errors in models and model transformations risks both, the reliability of MDE-based processes and the soundness of the resulting products. For this reason, there is a great need of mechanisms to ensure quality and the absence of errors in models and model transformations.
The testing of models and model transformations refers to the ability of verifying whether these elements satisfy the correctness properties. These properties express certain characteristics that the element under analysis must feature in order to be considered correct.
Tools
- GLG : Giraffe Load Generator (developing)
- GTT : Giraffe Testing Tool (developing)
- ATLTest: A White-Box Test Generation Approach for ATL Transformations
Main Publications
- Michel Albonico; Jean-Marie Mottu; Gerson Sunyé. Monitoring-Based Testing of Elastic Cloud Computing Applications.. In LT'16 Workshop@ICPE 2016, Delft, Netherlands2016
- Michel Albonico; Jean-Marie Mottu; Gerson Sunyé. Controlling the Elasticity of Web Applications on Cloud Computing. In 31st ACM Symposium on Applied Computing (SAC 2016), Pisa, Italy2016
- Gerson Sunyé; Eduardo Cunha De Almeida; Yves Le Traon; Benoit Baudry; Jean-Marc Jézéquel. Model-Based Testing of Global Properties on Large-Scale Distributed Systems. In Information and Software Technology, 2014
- Carlos Alberto González Pérez; Jordi Cabot. Test Data Generation for Model Transformations Combining Partition and Constraint Analysis. In 7th International Conference on Model Transformation (ICMT) 2014, York, United Kingdom2014
- Jean-Marie Mottu; Sagar Sen; Massimo Tisi; Jordi Cabot. Static Analysis of Model Transformations for Effective Test Generation. In ISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, Dallas, United States2012
- Sagar Sen; Jean-Marie Mottu; Massimo Tisi; Jordi Cabot. Using Models of Partial Knowledge to Test Model Transformations. In International Conference on Model Transformation, Prague, Czech Republic2012
- Carlos A. González; Jordi Cabot. ATLTest: A White-Box Test Generation Approach for ATL Transformations. In ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012, Zurich, SwitzerlandOctober 2012