The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)
Center for Education and Research in Information Assurance and Security

Rethinking the Taxonomy of Fault Detection Techniques

Author

M. Young,R.N. Taylor

Entry type

inproceedings

Abstract

The convetional classification of software fault detection techniques as staticor dynamic analysis is inadequate as a basis for identifying useful relationships between techniques. A more useful distinction is between techniques that sample the space of possible new execuations, and techniques that fold the space. The new distinction provides better insight into the ways different techniques can interact. and is a basis for considering hybrid fault detection techniques including combinations of testing and formal verification.

Date

1989 – May

URL

http://delivery.acm.org/10.114 ... 8288&CFTOKEN=14546122

Address

West Lafyette, IN 47907

Institution

Proceeding of the 11th Annual International Conference on Software Engineering

Journal

Proceeding of the 11th Annual Internation Conference on Software Engineering

Key alpha

young

Publication Date

2001-01-01

Keywords

fault detection,hybrid analysis techniques,static analysis,dynamic analysis

Location

A hard-copy of this is in the CERIAS Library

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.