Using traceability to enhance mutation analysis dedicated to model transformation

Proceedings - 2010 Workshop on Model-Driven Engineering, Verification, and Validation, MoDeVVa 2010

Volumn , Issue , 2010, Pages 1-6

  Aranega, Vincent ^a   Mottu, Jean Marie ^b   Etien, Anne ^a   Dekeyser, Jean Luc ^a  

^a UNIV LILLE   (France)

^b UNIVERSITÉ DE NANTES   (France)

Author keywords

Model transformation; Mutation analysis; Test; Traceability

Indexed keywords

STATISTICAL TESTS; TESTING;

INPUT MODELING; MODEL TRANSFORMATION; MUTATION ANALYSIS; TEST DATA; TEST MODELING; TRACEABILITY;

SOFTWARE TESTING;

EID: 79960278380     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MoDeVVa.2010.15     Document Type: Conference Paper

References (17)

1. Y.-S. Ma, J. Offutt, and Y. R. Kwon, "Mujava: an automated class mutation system," Softw. Test. Verif. Reliab., vol. 15, no. 2, 2005.
2. R. DeMillo, R. Lipton, and F. Sayward, "Hints on test data selection: Help for the practicing programmer," Computer, vol. 11, no. 4, 1978.
3. J. M. Voas and K. W. Miller, "The revealing power of a test case," Softw. Test., Verif. Reliab., vol. 2, no. 1, pp. 25-42, 1992.
4. T. Murmane, K. Reed, T. Assoc, and V. Carlton, "On the effectiveness of mutation analysis as a black box testing technique," in Software Engineering Conference, 2001, pp. 12-20.
5. J.-M. Mottu, B. Baudry, and Y. Le Traon, "Mutation analysis testing for model transformations," in ECMDA 06, Spain, Jul. 2006.
6. A. J. Offutt and J. Pan, "Detecting equivalent mutants and the feasible path problem," Software Testing, Verification and Reliability, vol. 7, 1997.
7. S. Sen, B. Baudry, and J.-M. Mottu, "On combining multi-formalism knowledge to select models for model transformation testing," in ICST., Norway, Apr. 2008.
8. "EMFcompare,"www.eclipse.org/emft/projects/compare
9. IEEE, IEEE standard computer dictionary : a compilation of IEEE standard computer glossaries. New York, NY, USA: IEEE Computer Society Press, 1991.
10. F. Glitia, A. Etien, and C. Dumoulin, "Traceability for an MDE Approach of Embedded System Conception," in ECMDA Traceability Workshop, Germany, 2008.
11. V. Aranega, J.-M. Mottu, A. Etien, and J.-L. Dekeyser, "Traceability mechanism for error localization in model transformation," in ICSOFT, Bulgaria, July 2009.
12. Object Management Group, "A UML profile for MARTE," 2007, http://www.omgmarte.org
13. A. Gamatié, S. Le Beux, E. Piel, R. Ben Atitallah, A. Etien, P. Marquet, and J. Dekeyser, "A model driven design framework for massively parallel embedded systems," ACM Transactions on Embedded Computing Systems (TECS), 2010, accepted for publication.
14. F. Fleurey, B. Baudry, P.-A. Muller, and Y. Le Traon, "Towards dependable model transformations: Qualifying input test data," SoSyM Journal, 2007.
15. F. Fleurey, J. Steel, and B. Baudry, "Validation in model-driven engineering: testing model transformations," in MoDeVVa, 2004.
16. B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. Le Traon, "From genetic to bacteriological algorithms for mutation-based testing," STVR Journal, vol. 15, no. 2, pp. 73-96, Jun. 2005. (Pubitemid 40858059)
17. J. H. Hayes, A. Dekhtyar, and D. S. Janzen, "Towards traceable testdriven development," in TEFSE Workshop. USA: IEEE Computer Society, 2009, pp. 26-30.