Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Assertion-oriented automated test data generation
Proceedings of the 18th international conference on Software engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Automated test-data generation for exception conditions
Software—Practice & Experience
50 Years of Software: Key Principles for Quality
IT Professional
Towards Efficient Support for Executing the Object Constraint Language
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Programming with Assertions: A Prospectus
IT Professional
Test Case Generation by OCL Mutation and Constraint Solving
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
An aspect-oriented testability framework
Proceedings of the 2012 ACM Research in Applied Computation Symposium
Hi-index | 0.00 |
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.