Automatic test-generation for predicates

Summary & Conclusions -We propose a new technique for automatic generation of test cases for predicates. Earlier we proposed an efficient effective test generation strategy for Boolean expressions. We now extend this strategy to predicates. Our new strategy addresses several issues, including: • analysis of dependencies between relational expressions in a predicate <?, • generation of test constraints for (P based on the detection of Boolean and relational operator faults in (P, • generation of actual tests according to the generated test constraints for (P. We propose: • the use of constraint logic programming (CLP) to automate testdata generation for a predicate, • an incremental approach to apply CLP techniques to solve a constraint system. Since our technique is specification-based, it can facilitate generation of anticipated outputs for actual tests. ©1996 IEEE.