Testing Context-Sensitive Middleware-Based Software Applications
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
An effective testing method for end-user programmers
WEUSE I Proceedings of the first workshop on End-user software engineering
An empirical comparison between direct and indirect test result checking approaches
Proceedings of the 3rd international workshop on Software quality assurance
Goal-oriented test data generation for pointer programs
Information and Software Technology
Software—Practice & Experience
Automatic system testing of programs without test oracles
Proceedings of the eighteenth international symposium on Software testing and analysis
Representation dependence testing using program inversion
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Automated metamorphic testing on the analyses of feature models
Information and Software Technology
Testing and validating machine learning classifiers by metamorphic testing
Journal of Systems and Software
Testing a binary space partitioning algorithm with metamorphic testing
Proceedings of the 2011 ACM Symposium on Applied Computing
Metamorphic testing of a Monte Carlo modeling program
Proceedings of the 6th International Workshop on Automation of Software Test
Automated generation of test oracles using a model-driven approach
Information and Software Technology
| Hi-index | 0.00 |
Usual techniques for automatic test data generation arebased on the assumption that a complete oracle will beavailable during the testing process. However, there areprograms for which this assumption is unreasonable. Recently,Chen et al. [3, 4] proposed to overcome this obstacleby using known relations over the input data and theirunknown expected outputs to seek a subclass of faults insidethe program. In this paper, we introduce an automatictesting framework able to check these so-called metamorphicrelations. The framework makes use of ConstraintLogic Programming techniques to find test data that violatea given metamorphic-relation. Circumstances where itcan also prove that the program satisfies this relation arepresented. The first experimental results we got with a prototypetool build on the top of the test data generator INKA,show that this methodogy can be completely automated.