Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
A practical algorithm for exact array dependence analysis
Communications of the ACM
STATEMATE applied to statistical software testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
A study of the effectiveness of control and data flow testing strategies
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
Naive solving of non-linear constraints
Constraint logic programming
Evaluation of a predicate-based software testing strategy
IBM Systems Journal
Test data generation and feasible path analysis
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chantillon-Sur-Seine, France, May 16-20, 1994: Selected Papers
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Linear Constraint Solving in CLP-Languages
Selected Papers from Constraint Programming: Basics and Trends
Specification-based testing using cause-effect graphs
Specification-based testing using cause-effect graphs
A System to Generate Test Data and Symbolically Execute Programs
IEEE Transactions on Software Engineering
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Iterative design and testing within the software development life cycle
Software Quality Control
Detecting associative shift faults in predicate testing
Journal of Systems and Software
| Hi-index | 0.00 |
We propose a new technique for automatic generation of test cases for predicates. Earlier we proposed an efficient and effective test generation strategy for Boolean expressions. We now extend this strategy to predicates. Our new strategy addresses a number of issues, including: analysis of dependencies between relational expressions in a predicate P; generation of test constraints for P based on the detection of Boolean and relational operator faults in P; and generation of actual tests according to the generated test constraints for P. We propose the use of constraint logic programming (CLP) to automate test data generation for a predicate. Furthermore, we propose an incremental approach to apply CLP techniques to solve a constraint system. Since our technique is specification-based, it can facilitate generation of expected outputs for actual tests.