Peng, R., Li, Y. F., Zhang, Wenjuan and Hu, Q. P. (2014) Testing effort dependent software reliability model for imperfect debugging process considering both detection and correction. Reliability Engineering & System Safety, Volume 126 . pp. 37-43. doi:10.1016/j.ress.2014.01.004

	Text WRAP_Zhang_1-s2.0-S0951832014000052-main.pdf - Accepted Version Embargoed item. Restricted access to Repository staff only Available under License Creative Commons Attribution Non-commercial No Derivatives. Download (612Kb)
Preview	Text WRAP_Zhang_1-s2.0-S0951832014000052-main.pdf - Published Version Available under License Creative Commons Attribution. Download (515Kb) | Preview

Request Changes to record.

Abstract

This paper studies the fault detection process (FDP) and fault correction process (FCP) with the incorporation of testing effort function and imperfect debugging. In order to ensure high reliability, it is essential for software to undergo a testing phase, during which faults can be detected and corrected by debuggers. The testing resource allocation during this phase, which is usually depicted by the testing effort function, considerably influences not only the fault detection rate but also the time to correct a detected fault. In addition, testing is usually far from perfect such that new faults may be introduced. In this paper, we first show how to incorporate testing effort function and fault introduction into FDP and then develop FCP as delayed FDP with a correction effort. Various specific paired FDP and FCP models are obtained based on different assumptions of fault introduction and correction effort. An illustrative example is presented. The optimal release policy under different criteria is also discussed.

Item Type:	Journal Article
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions:	Faculty of Social Sciences > Warwick Business School > Operational Research & Management Sciences Faculty of Social Sciences > Warwick Business School
Library of Congress Subject Headings (LCSH):	Software protection, Software maintenance , Computer viruses, Testing -- Data processing
Journal or Publication Title:	Reliability Engineering & System Safety
Publisher:	Elsevier Ltd
ISSN:	0951-8320
Official Date:	11 June 2014
Dates:	Date Event 11 June 2014 ["eprint_fieldopt_dates_date_type_available" not defined]
Date of first compliant deposit:	26 December 2015
Volume:	Volume 126
Page Range:	pp. 37-43
DOI:	10.1016/j.ress.2014.01.004
Status:	Peer Reviewed
Publication Status:	Published
Access rights to Published version:	Open Access
Funder:	Guo jia zi ran ke xue ji jin wei yuan hui (China) [National Natural Science Foundation of China] (NSFC), Zhongguo ke xue yuan [Chinese Academy of Sciences] (CAS), Singapore. Ministry of Education
Grant number:	71231001, 71301009 (NSFC) ; 2013M530531 (CAS) ; 20120006110025 (MOE)

Request changes or add full text files to a record

Repository staff actions (login required)

View Item