Reusable MDA components: A testing-for-trust approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4199 LNCS, Issue , 2006, Pages 589-603

  Mottu, Jean Marie ^a   Baudry, Benoit ^a   Le Traon, Yves ^b  

^a CAMPUS DE BEAULIEU   (France)

^b ORANGE LABS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER HARDWARE; MATHEMATICAL MODELS; METHOD OF MOMENTS; RELIABILITY; SPECIFICATIONS;

MODEL TRANSFORMATIONS; MUTATION ANALYSIS; PRECISION;

COMPUTER TESTING;

EID: 33750329974     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11880240_41     Document Type: Conference Paper

References (14)

1. Meyer, B., Object-oriented software construction. 1992: Prentice Hall. 1254.
2. Le Traon, Y., B. Baudry, and J.-M. Jézéquel, Design by Contract to Improve Software Vigilance. IEEE Transactions on Software Enginnering, 2006.
3. DeMillo, R., R. Lipton, and F. Sayward, Hints on Test Data Selection: Help For The Practicing Programmer. IEEE Computer, 1978. 11(4): p. 34-41.
4. Ma, Y.-S., Y.-R. Kwon, and A.J. Offutt. Inter-Class Mutation Operators for Java, in Proceedings of ISSRE'02 (Int. Symposium on Software Reliability Engineering). Annapolis, MD, USA: IEEE Computer Society Press, Los Alamitos, CA, USA. 2002.
5. Mottu, J.-M., B. Baudry, and Y. Le Traon. Mutation Analysis Testing for Model Transformations, in Proceedings of ECMDA-FA 2006. Bilbao, Spain. 2006.
6. Beugnard, A., J.-M. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware. IEEE Computer, 1999. 13(7).
7. Ma, Y.-S., A.J. Offutt, and Y.-R. Kwon, MuJava: An Automated Class Mutation System. Software Testing, Verification and Reliability, 2005.
8. Bézivin, J., S. Gérard, P.-A. Muller, and L. Rioux. MDA Components: Challenges and Opportunities, in Proceedings of Metamodelling for MDA. York, England. 2003.
9. Fondement, F. and R. Silaghi. Defining Model Driven Engineering Processes, in Proceedings of WISME. Lisbon, Portugal. 2004.
10. Cariou, E., R. Marvie, L. Seinturier, and L. Duchien. OCL for the Specification of Model Transformation Contracts, in Proceedings of Workshop OCL and Model Driven Engineering. Lisbon, Portugual. 2004.
11. Lin, Y., J. Zhang, and J. Gray, A Testing Framework for Model Transformations, in Model-Driven Software Development - Research and Practice in Software Engineering. 2005, Springer.
12. Küster, J.M. Systematic Validation of Model Transformations, in Proceedings of WiSME'04 (associated to UML'04). Lisbon, Portugal. 2004.
13. Fleurey, F., J. Steel, and B. Baudry. Validation in Model-Driven Engineering: Testing Model Transformations, in Proceedings of MoDeVa. Rennes, France. 2004.
14. Trung, D.-T., S. Ghosh, F. Robert, B. Baudry, and F. Fleurey. A Taxonomy of Faults for UML Designs, in Proceedings of 2nd MoDeVa workshop - Model design and Validation, in conjunction with MoDELS05. Montego Bay, Jamaica. 2005.