论文信息 - Software testing using imprecise OCL constraints as oracles

Software testing using imprecise OCL constraints as oracles

Many software testing techniques are targeted on test data generation. Only a few of them provide an automatic way to verify if software behaves correctly using generated test data. We propose to use software model as imprecise test oracle. UML modelling language extension OCL can be used as test oracle. Imprecise OCL constraints can be viewed as expressions which define expected results within some ranges of possible values. Imprecise OCL constraints can be viewed as expressions which define expected results within some ranges of possible values. When software is executed using generated test data the output is verified against imprecise OCL constraints. If output does not satisfy imprecise OCL constrains, unit under test definitely contains bugs. And if output satisfies imprecise OCL constraints the tester can assume that unit under test has no bugs.

Eduardas Bareisa | Sarunas Packevicius | Andrej Usaniov

[1] Philippe Collet,et al. Towards efficient support for executing the Object Constraint Language , 1999, Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278).

[2] Jeffrey M. Voas,et al. Programming with Assertions: A Prospectus , 2004, IT Prof..

[3] Bernhard K. Aichernig,et al. Test case generation by OCL mutation and constraint solving , 2005, Fifth International Conference on Quality Software (QSIC'05).

[4] J. M. Voas,et al. 50 years of software: key principles for quality , 2002 .

[5] Sigrid Eldh. Software Testing Techniques , 2007 .

[6] Bogdan Korel,et al. Assertion-oriented automated test data generation , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[7] Boris Beizer,et al. Software testing techniques (2. ed.) , 1990 .

[8] John A. Clark,et al. Automated test‐data generation for exception conditions , 2000 .

[9] Thomas Bäck,et al. A Survey of Evolution Strategies , 1991, ICGA.

[10] Robert V. Binder,et al. Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[11] Anneke Kleppe,et al. The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[12] Charles Ashbacher,et al. The Object Constraint Language Second Edition, Getting Your Models Ready for MDA, by Jos Warmer and Anneke Kleppe. , 2003 .