Main People Publications Research Tools

Selected publications by date

Selected publications by category

 

Fault Modeling using the Program Dependence Graph

International Symposium on Software Reliability Engineering
November 1994, pp. 126-135

Kanupriya Tewary and Mary Jean Harrold

Abstract

We present a fault classification scheme and a fault seeding method that is based on the manifestation of faults in the program dependence graph (PDG). We enhance the domain/computation fault classification scheme to further characterize faults as structural and statement-level, depending on the differences between the PDG for the original program and the PDG for the faulty program. Structural faults correspond to differences in the control dependence or data dependence information in the PDGs, whereas statement-level faults correspond to differences in the information within PDG nodes. We perform transformations on the PDG to produce the different types of faults described in our PDG-based fault classification scheme. To demonstrate the usefulness of our technique, we implemented a fault seeder to embed faults into C programs. We are using our fault seeder to experiment with the effectiveness of unit testing techniques, and are investigating the application of our fault seeder for formulating a fault-based testing method.


Georgia Tech | College of Computing | Software Engineering | Aristotle Home
Updated November 14, 2005 by Jim Jones