Approaches to test set generation using binary decision diagrams /
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis eBook |
| Language: | English |
| Published: |
[College Station, Tex.] :
[Texas A & M University],
[2004]
|
| Subjects: | |
| Online Access: | Link to OAK Trust copy |
| Abstract: | This research pursues the use of powerful BDD-based functional circuit analysis to evaluate some approaches to test set generation. Functional representations of the circuit allow the measurement of information about faults that is not directly available through circuit simulation methods, such as probability of random detection and test-space overlap between faults. I have created a software tool that performs experiments to make such measurements and augments existing test generation strategies with this new information. Using this tool, I explored the relationship of fault model difficulty to test set length through fortuitous detection, and I experimented with the application of function-based methods to help reconcile the traditionally opposed goals of making test sets that are both smaller and more effective. |
|---|---|
| Item Description: | "Major Subject: Computer Engineering." Title from author supplied metadata (automated record created on Apr. 30, 2004.). Vita. Abstract. Electronic resource. |
| Physical Description: | 1 online resource. |
| Format: | System requirements: Adobe Acrobat Reader. |
| Bibliography: | Includes bibliographical references. |