Authors:
Wang Lina
1
;
Tian Jie
2
and
Li Bo
3
Affiliations:
1
Beihang University and Beijing Aerospace Automatic Control Institute, China
;
2
CPAPF, China
;
3
Beihang University, China
Keyword(s):
Software testing, Fault seeding, Procedural language, Fault classification.
Related
Ontology
Subjects/Areas/Topics:
Service-Oriented Software Engineering and Management
;
Software Engineering
;
Software Process Improvement
;
Software Quality Management
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.