Verifying the correctness of compiler transformations on basic blocks using abstract interpretation
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
SUIF: an infrastructure for research on parallelizing and optimizing compilers
ACM SIGPLAN Notices
Comparison checking: an approach to avoid debugging of optimized code
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Translation validation for an optimizing compiler
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Retargetable compiler technology for embedded systems: tools and applications
Retargetable compiler technology for embedded systems: tools and applications
Software Testing Techniques
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
What's Ahead for Embedded Software?
Computer
A Modest Proposal for Software Testing
IEEE Software
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
Test Generation for Compilers and Other Formal Text Processors
Programming and Computing Software
Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
IEEE Transactions on Software Engineering
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Survey of compiler testing methods
Programming and Computing Software
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Weak Mutation Testing and Completeness of Test Sets
IEEE Transactions on Software Engineering
Testing Programs with the Aid of a Compiler
IEEE Transactions on Software Engineering
A structured approach to proving compiler optimizations based on dataflow analysis
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Journal of Systems and Software
Reducing test effort: A systematic mapping study on existing approaches
Information and Software Technology
Hi-index | 0.00 |
Reducing test suites is crucial for reducing the test cost, for the test cost is directly proportional to the size of test suites. Reducing the test cost is particularly important when we need to urgently develop a stable compiler for a newly developed processor. In this paper, we propose a framework to reduce test suites for retargeted compilers using intermediate representations of test input programs. We describe that redundancy of test cases at the level of source codes exists from the viewpoint of intermediate representation and, thus, testing efficiency can be improved by excluding those redundant test cases. We also conduct a case study with RTL where we found that test suite can be considerably reduced. In addition, we show that the fault detection capability can be maintained with the reduced test suites by means of mutation testing.