Test case generation by OCL mutation and constraint solving

Proceedings - International Conference on Quality Software

Volumn 2005, Issue , 2005, Pages 64-71

  Aichernig, Bernhard K ^a   Salas, Percy Antonio Pari ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; ERROR ANALYSIS; FAULT TOLERANCE; PROBLEM SOLVING; SEMANTICS;

AUTOMATIZATION; CONSTRAINT SATISFACTION; FORMAL SEMANTICS; TEST CASE GENERATION;

SPECIFICATION LANGUAGES;

EID: 33745802434     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2005.63     Document Type: Conference Paper

References (24)

1. L. Van Aertryck and T. Jensen. UML-CASTING: Test Synthesis from UML Models using Constraint Resolution. In Proc.AFADL'2003 (Approches Formelles dans l'Assistance au Development de Logiciel), January 2003.
2. B.K. Aichernig. Mutation Testing in the Refinement Calculus. Formal Aspects of Computing, 15(2-3):280-295, November 2003.
3. B.K. Aichernig and C. Corrales Delgado. Test purpose generation by specification mutation in distributed systems. Technical Report 313, United Nations University, International Institute for Software Technology (UNU-I1ST), 2004.
4. B.K. Aichernig and J. He. Testing for Design Faults, 2005. Under consideration for publication in Formal Aspects of Computing.
5. M. Benattou, J.M. Bruel, and N. Hameurlain. Generating Test Data from OCL Specification. In ECOOP'2002 Workshop on Integration and Transformation of UML Models (WITUML02), June 2002.
6. P.E. Black, V. Okun, and Y. Yesha. Mutation of model checker specifications for test generation and evaluation, pages 14-20, 2001.
7. F. Bouquet, B. Legeard, and F. Peureux. CLPS-B - A Constraint Solver for B. In Proceedings of the conference of Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), pages 188-204, Grenoble, France, April 2002.
8. T.A. Budd and A.S. Gopal. Program testing by specification mutation. Comput. Lang., 10(1):63-73, 1985.
9. S. Burton. Automated Testing from Z Specifications. Technical Report YCS 329, Department of Computer Science, University of York, 2000.
10. S.dR.S. de Souza, J.C. Maldonadoand S.C.P.F. Fabbri, and W.L. de Souza. Mutation testing applied to Estelle specifications. Software Quality Journal, 8(4):285-301, 1999.
11. J. Derrick and E.A. Boiten. Testing refinements of state-based formal specifications. Software Testing, Verification and Reliability, 9(1):27-50, July 1999.
12. J. Dick and A. Faivre. Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. In J. C. P. Woodcock and P. G. Larsen, editors, FME'93: Industrial-Strength Formal Methods, number 670 in LNCS, pages 268-284. Springer-Verlag, 1993.
13. E. Krämer. A Generic Search Engine for a Java Constraint Kit. Diploma thesis, Ludwig Maximilians Universität München, January 2001.
14. M.C. Gaudel. Testing can be formal, too. In TAPSOFT '95: Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development, pages 82-96. Springer-Verlag, 1995.
15. C.A.R. Hoare and J. He. Unifying Theories of Programming. Prentice-Hall International, 1998.
16. B. Legeard, F. Peureux, and M. Utting. Automated boundary testing from Z and B. In Proc. of the Int. Conf. on Formal Methods Europe, FME'02, volume 2391 of LNCS, pages 21-40. Springer, July 2002.
17. P.A. Pari Salas and B.K. Aichernig. Automatic Test Case Generation for OCL: a Mutation Approach. Technical Report 321, United Nations University, International Institute for Software Technology (UNU-IIST), 2005.
18. T. Srivatanakul, J. Clark, S. Stepney, and F. Polack. Challenging formal specifications by mutation: a CSP security example. In Proceedings of APSEC-2003: 10th Asia-Pacific Software Engineering Conference, Chiang Mai, Thailand, December, 2003, pages 340-351. IEEE, 2003.
19. P.A. Stocks. Applying formal methods to software testing. PhD thesis, Department of computer science, University of Queensland, 1993.
20. T. Frühwirth and Slim Abdennadher. Essentials of Constraint Programming. Springer-Verlag, 2003.
21. K.-C. Tai. Theory of fault-based predicate testing for computer programs. IEEE Transactions on Software Engineering, 22(8):552-562, 1996.
22. K.-C. Tai and H.-K. Su. Test generation for Boolean expressions. In Proceedings of the Eleventh Annual International Computer Software and Applications Conference (COMPSAC), pages 278-284, 1987.
23. G. Wimmel and J. Jürjens. Specification-based test generation for security-critical systems using mutations. In C. George and M. Huaikou, editors, Proc. of ICFEM'02, the International Conference of Formal Engineering Methods, October 21-25, 2002, Shanghai, China, LNCS. Springer-Verlag, 2002.
24. M. Woodward. Errors in algebraic specifications and an experimental mutation testing tool. Software Engineering Journal, pages 211-224, July 1993.