From specification validation to hardware testing: a unified method
- 24 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 885-893
- https://doi.org/10.1109/test.1996.557150
Abstract
With the great advancement in the design automation field, actual tools allow to describe hardware systems as software programs using high-level hardware description languages such as VHDL or VERILOG. Consequently, a design fault which affects the system specification can be considered as a software fault. To test the system specification against (software) design faults, we propose in this paper an adaptation of the mutation analysis, originally proposed for software testing, to test VHDL functional descriptions. The resulted test set is applied on the gate-level structure of the system to measure its capacity to uncover hardware faults such as the stuck-at faults. Heuristics to enhance the test set in order to be sufficient for testing hardware faults are presented and results are compared to traditional ATPGs. Accordingly, this paper presents a unified method for testing both the system specification and the hardware implementation.Keywords
This publication has 11 references indexed in Scilit:
- High-level test generation using symbolic schedulingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Fault coupling in finite bijective functionsSoftware Testing, Verification and Reliability, 1995
- Investigations of the software testing coupling effectACM Transactions on Software Engineering and Methodology, 1992
- Constraint-based automatic test data generationIEEE Transactions on Software Engineering, 1991
- A fortran language system for mutation‐based software testingSoftware: Practice and Experience, 1991
- The coupling effect: fact or fictionPublished by Association for Computing Machinery (ACM) ,1989
- A Heuristic Chip-Level Test Generation AlgorithmPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- A Theory of Error-Based Testing.Published by Defense Technical Information Center (DTIC) ,1984
- Test Generation Algorithms for Computer Hardware Description LanguagesIEEE Transactions on Computers, 1982
- Hints on Test Data Selection: Help for the Practicing ProgrammerComputer, 1978