Domain Strategy and Coverage Metric for Validation
ISQED '05 Proceedings of the 6th International Symposium on Quality of Electronic Design
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
White and Cohen have proposed the domain testing method, which attempts to uncover errors in a path domain by selecting test data on and near the boundary of the path domain. The goal of domain testing is to demonstrate that the boundary is correct within an acceptable error bound. Domain testing is intuitively appealing in that it provides a method for satisfying the often suggested guideline that boundary conditions should be tested.