SEEDED FAULTS AND THEIR LOCATIONS DESIGN USING BAYES FORMULA AND PROGRAM LOGIC IN SOFTWARE TESTING
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 Howdens 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.
Software testing Fault seeding Procedural language Fault classification
Wang Lina Tian Jie Li Bo
Beijing Key Laboratory of Digital Media, School of Computer Science and Engineering Beihang Universi Beijing Command College of CPAPF, Beijing, China Beijing Key Laboratory of Digital Media, School of Computer Science and Engineering
国际会议
13th International Conference on Enterprise Information System(第13届企业信息系统国际会议 ICEIS 2011)
北京
英文
1840-1847
2011-06-08（万方平台首次上网日期，不代表论文的发表时间）