loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

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

ISBN: 978-989-8425-57-7

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.231.226.211

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.