SEEDED FAULTS AND THEIR LOCATIONS DESIGN USING BAYES FORMULA AND PROGRAM LOGIC IN SOFTWARE TESTING

Wang Lina, Tian Jie, Li Bo

Abstract

Focusing on three questions “what faults to seed”, “how to seed faults more effectively” and “how to select the seeded fault locations”, the methods of fault seeding are studied. Aiming at procedural language source code, a fault classification scheme is presented. Referring to Howden’s fault classification scheme, and based on the occurrence causes and manifestations of software faults, a hierarchy of fault classes is designed. The faults are categorized as assignment faults, control flow faults or runtime environment faults. Then they are further classified by degrees, respectively. 96 categories are included in all. According to this classification, a statistical method based on Bayes formula is designed to determine the manifestations of seeded faults. A logical method based on the logical relation between control flow and data flow of program is presented to set seeded locations. And the concrete seeding process is introduced. Finally, the methods are verified by a case.

References

  1. Basili, V. R., Selby, R. W., 1987. Comparing the Effectiveness of Software Testing Strategies. IEEE Transactions on Software Engineering, vol. 13, no. 12, December.
  2. Boehm, B., Port, D., 2002. Defect and Fault Seeding In Dependability Benchmarking. DSN Workshop on Dependability Benchmarking.
  3. Clark, R. L., 1984. A Linguistic Contribution to Goto-Less Programming. Communications of the ACM, vol. 27, no. 4, April.
  4. Copeland, J., Haemer, J. S., 2000. The Art of Software Testing. SW Expert.
  5. Girgis, M. R., Woodward M. R., 1986. An Experimental Comparison of the Error Exposing Ability of Program Testing Criteria. In Proc. Workshop on Software Testing. IEEE Computer Society Press.
  6. Harrold, M. J., Offutt, A. J., Tewary, K., 1994. An Approach to Fault Modeling and Fault Seeding Using the Program Dependence Graph. In Proceedings of International Symposium on Software Reliability
  7. Howden, W. E., 1976. Reliability of the Path Analysis Testing Strategy. IEEE Transactions on Software Engineering, vol. 2, no. 3, September.
  8. Kuhn, D. R., 1999. Fault Classes and Error Detection Capability of Specification-Based Testing. ACM Transactions on Software Engineering and Methodology, vol. 8, no. 4, October.
  9. Meek, B., Siu K., 1989. The effectiveness of error seeding. ACM Sigplan Notices, vol. 24, no. 6, June.
  10. Offutt, J., Hayes, J. H., 1995. A Semantic Model of Program Faults. ISSE-TR-95-110.
  11. Pocatilu, P., 2010. Quality Related Costs of e-Business Systems. Journal of Applied Collaborative Systems, vol. 2, no. 2.
  12. Scott, H., Wohlin, C., 2008. Capture-recapture in Software Unit Testing: A Case Study. Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement.
  13. Selby, R. W., 1986. Combining Software Testing strategies: An Empirical Evaluation. In Proc. Workshop on Software Testing. IEEE Computer Society Press.
  14. Shen, V. Y., Yu, T. J., Thebaut, S. M., Paulsen, L. R., 1985. Identifying Error-prone Software--An Empirical Study. IEEE Transactions on Software Engineering, vol. 11, no. 4, April.
  15. Stephens, R. T., 2001. Dynamic Duo: Code Coverage and Fault Seeding. System Development Process.
  16. Telles, M., Yuan, H., 2001. The Science of Debugging. The Coriolis Group LLC, 14455N.
  17. Zeil, S. J., 1989. Perturbation Techniques for Detecting Domain Errors. IEEE Transactions on Software Engineering, vol. 15, no. 6, June.
Download


Paper Citation


in Harvard Style

Lina W., Jie T. and Bo L. (2011). SEEDED FAULTS AND THEIR LOCATIONS DESIGN USING BAYES FORMULA AND PROGRAM LOGIC IN SOFTWARE TESTING . In Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8425-57-7, pages 203-210. DOI: 10.5220/0003413002030210


in Bibtex Style

@conference{enase11,
author={Wang Lina and Tian Jie and Li Bo},
title={SEEDED FAULTS AND THEIR LOCATIONS DESIGN USING BAYES FORMULA AND PROGRAM LOGIC IN SOFTWARE TESTING},
booktitle={Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2011},
pages={203-210},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003413002030210},
isbn={978-989-8425-57-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - SEEDED FAULTS AND THEIR LOCATIONS DESIGN USING BAYES FORMULA AND PROGRAM LOGIC IN SOFTWARE TESTING
SN - 978-989-8425-57-7
AU - Lina W.
AU - Jie T.
AU - Bo L.
PY - 2011
SP - 203
EP - 210
DO - 10.5220/0003413002030210