70 search results - page 5 / 14 » Coverage metrics for requirements-based testing |
ICCAD
1996
IEEE
13 years 11 months ago
1996
IEEE
The functional validation of a state-of-the-art digital design is usually performed by simulation of a register-transfer-level model. The degree to which the testvector suite cove...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
—Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input prog...
AAAI
1997
13 years 8 months ago
1997
Often a rule-based system is tested by checking its performance on a number of test cases with known solutions, modifying the system until it gives the correct results for all or ...