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

Wang Lina, Tian Jie, Li Bo

2011

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.

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