PIE: A Dynamic Failure-Based Technique
IEEE Transactions on Software Engineering
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Inter-Class Mutation Operators for Java
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Mutation analysis of program test data
Mutation analysis of program test data
Test input generation with java PathFinder
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
MuJava: an automated class mutation system: Research Articles
Software Testing, Verification & Reliability
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Benchmarking Testing Strategies with Tools from Mutation Analysis
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Automating software tests with partial oracles in integrated environments
Proceedings of the 5th Workshop on Automation of Software Test
The JPEG2000 still image coding system: an overview
IEEE Transactions on Consumer Electronics
Hi-index | 0.00 |
The oracle problem is an essential part in current research on automating software tests. Partial oracles seem to be a viable solution, but their suitability for different testing steps and general applicability for various systems remains still to be shown. This paper presents a study in which partial oracles are applied in order to automatically test a jpeg2000 encoder as an example for a modular software system with several integrated units and components. The effectiveness of the partial oracles is measured by means of mutation analysis to determine their adequacy for both unit and integration testing. Additionally, the paper presents possibilities of improving the effectiveness as well as the efficiency of the employed partial oracles. It shows how the knowledge of certain characteristics of the system to be tested, such as linearity or time-invariance, may lead to a better choice of partial oracles and thus to an improved effectiveness and efficiency.