Fault modeling using the program dependence graph. Tewary, K. & Harrold, M. In , 5th International Symposium on Software Reliability Engineering, 1994. Proceedings, pages 126--135, November, 1994.
doi  abstract   bibtex   
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
@inproceedings{ tewary_fault_1994,
  title = {Fault modeling using the program dependence graph},
  doi = {10.1109/ISSRE.1994.341362},
  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},
  booktitle = {, 5th {International} {Symposium} on {Software} {Reliability} {Engineering}, 1994. {Proceedings}},
  author = {Tewary, K. and Harrold, M.J.},
  month = {November},
  year = {1994},
  keywords = {Application software, C programs, Computer science, Error correction, Fault detection, Genetic mutations, PDG nodes, PDG-based fault classification scheme, Programming, System testing, Testing, _done, _model_of_faults, _target_is_code, domain/computation fault classification scheme, fault based testing method, fault classification scheme, fault modeling, fault seeder, fault seeding method, graph theory, program dependence graph, program testing, software fault tolerance, software testing, statement level, statement level faults, structural faults, unit testing techniques},
  pages = {126--135}
}

Downloads: 0