Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Predicate-based test generation for computer programs
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Art of Software Testing
On the experience of using cause-effect graphs for software specification and test generation
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Hi-index | 0.00 |
The notion of cause-effect graphs (CEGs) has been used for the specification and test generation of a software system. In this paper, we present a fault-based approach to test generation for CEGs, called BOR (boolean operator) testing, which is based on the detection of boolean operator faults. We show how to generate a minimum BOR test set for a CEG and how to evaluate an existing test set for a CEG in order to determine whether additional tests are necessary for BOR testing. We have applied BOR testing to a CEG that specifies a real-time boiler control and monitoring system. The results of our empirical studies indicate that CEG-based BOR testing is very practical and effective.