Symbolic evaluation -- an aid to testing and verification
Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Perturbation Techniques for Detecting Domain Errors
IEEE Transactions on Software Engineering
Perturbation testing for computation errors
ICSE '84 Proceedings of the 7th international conference on Software engineering
Domain Testing & Linear Fault Detection
Domain Testing & Linear Fault Detection
A finite domain-testing strategy for computer program testing.
A finite domain-testing strategy for computer program testing.
A new approach to domain testing
A new approach to domain testing
A simplified domain-testing strategy
ACM Transactions on Software Engineering and Methodology (TOSEM)
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Domain testing attempts to find errors in the numeric expressions affecting the flow of control through a program. Intuitively, domain testing provides a systematic form of boundary value testing for the conditional statements within a program. Several forms of domain testing have been proposed, all dealing with the detection of linear errors in linear functions.Perturbation analysis has been previously developed as a measure of the volume of faults, from within a selected space of possible faults, left undetected by a test set. It is adapted here to errors and error spaces. The adapted form is used to show that the different forms of domain testing are closer in error detection ability than had been supposed. They may all be considered effective for finding linear errors in linear predicate functions. A simple extension is proposed, which allows them to detect linear errors in nonlinear predicate functions using only a single additional test point.