SLIDE 1
Sofuware Testjng
2
Mutatjon-based Testjng of Rule-based Model Transformatjons Using - - PowerPoint PPT Presentation
Mutatjon-based Testjng of Rule-based Model Transformatjons Using - - PowerPoint PPT Presentation
Mutatjon-based Testjng of Rule-based Model Transformatjons Using Higher-order Transformatjons Presented by: Ali Parsai Supervisor: Prof. Vangheluwe Model-driven Engineering 2013-2014 Sofuware Testjng Testing is required to assure quality
SLIDE 2
SLIDE 3
Test-suite quality
3
Adequate coverage Ability to catch common bugs
Quis custodiet ipsos custodes?
Socrates
SLIDE 4
Mutatjon Testjng*
4
Repeatable, scientific approach Simulates realistic situations* Quantifiable, tangible results
* DeMillo et al. 1978 * Just et al. 2014
SLIDE 5
Mutatjon Testjng
5
SLIDE 6
Mutatjon Testjng of Model Transformatjons
6
Requires complicated change Mutants compatible with meta-model Work on semantics*
Input Model Output Model Input Meta- Model Output Meta- Model Model Transfor- mation Mutant Faulty Output Model
Mutation Operator * Mottu et al. 2006
SLIDE 7
Higher-Order Transformatjons
7
Mutation operator as a higher-order transformation
SLIDE 8
Experiment
8
Tool: AToMPM*
* Syriani et al. 2013
SLIDE 9
Experiment
9
Meta-model: RPG Game
SLIDE 10
Mutatjon Operators
10
110 in total Using a double ramified version of RPG Game Using a ramified version of TransformationRule RSCC: Relation to Same Class Change ROCC: Relation to Other Class Change RSMD: Relation Sequence Modification with Deletion RSMA: Relation Sequence Modification with Addition CACD: Classes Association Creation Deletion CACA: Classes Association Creation Addition
SLIDE 11
Relatjon to Same Class Change
11
24 in total An association to an object is replaced by another association to the same object
SLIDE 12
Relatjon to Other Class Change
12
42 in total An association to an object is replaced by another association to another object
SLIDE 13
Relatjon Sequence Modifjcatjon with Deletjon
13
14 in total An association to an object is removed
SLIDE 14
Relatjon Sequence Modifjcatjon with Additjon
14
8 in total An association to an object is added
SLIDE 15
Classes Associatjon Creatjon Deletjon
15
14 in total An association between two objects is deleted
SLIDE 16
Classes Associatjon Creatjon Additjon
16
8 in total An association between two objects is added
SLIDE 17
Executjon
17
Transformation Rule: HeroPicksGoal Mutation Operator Type: RSMA
SLIDE 18
Executjon
18
Expected Result:
SLIDE 19
19
SLIDE 20
Conclusion
20
Mutation testing can be adapted to model-driven context Mutation operators can be defined as higher-order transformations AToMPM can implement these operators
SLIDE 21
References
21
DeMillo, R. A., Lipton, R. J., Sayward, F. G., Apr. 1978. Hints
- n test data selection: Help for
the practicing programmer. Computer 11 (4), 34–41
SLIDE 22
References
22
Just, R., Jalali, D., Inozemtseva, L., Ernst, M. D., Holmes, R., Fraser, G., 2014. Are mutants a valid substitute for real faults in software testing? Tech. Rep. UW- CSE-14-02-02, University of Washington
SLIDE 23
References
23
Mottu, J.-M., Baudry, B., Le Traon, Y., 2006. Mutation analysis testing for model
- transformations. In: Rensink, A.,
Warmer, J. (Eds.), Model Driven Architecture Foundations and
- Applications. Vol. 4066 of
Lecture Notes in Computer
- Science. Springer Berlin
Heidelberg, pp. 376–390
SLIDE 24
References
24
Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Van Mierlo, S., Ergin, H., 2013. Atompm: A web-based modeling
- environment. In:
Demos/Posters/StudentResearch @ MoDELS. pp. 21–25
SLIDE 25