quantitative effects of software testing on reliability improvement in the presence of imperfect debugging

ISCAS OpenIR

	quantitative effects of software testing on reliability improvement in the presence of imperfect debugging
	Cao Ping; Dong Zhao; Liu Ke; Cai Kai-Yuan
	2013
发表期刊	INFORMATION SCIENCES
ISSN	0020-0255
卷号	218 页码:119-132
摘要	Software testing is essential for software reliability improvement and assurance. However, software testing is subject to imperfect debugging in the sense that new defects may be introduced into the software under test while detected defects are removed. The quantitative effects of software testing on software reliability improvement are obscure. In this paper we propose a Markov usage model to explore the quantitative relationships between software testing and software reliability in the presence of imperfect debugging. Several interesting quantities for software reliability assessment are derived and the corresponding upper and lower bounds are obtained. (C) 2012 Elsevier Inc. All rights reserved.; Software testing is essential for software reliability improvement and assurance. However, software testing is subject to imperfect debugging in the sense that new defects may be introduced into the software under test while detected defects are removed. The quantitative effects of software testing on software reliability improvement are obscure. In this paper we propose a Markov usage model to explore the quantitative relationships between software testing and software reliability in the presence of imperfect debugging. Several interesting quantities for software reliability assessment are derived and the corresponding upper and lower bounds are obtained. (C) 2012 Elsevier Inc. All rights reserved.
收录类别	SCI
关键词	Markov Usage Model Software Reliability Testing Imperfect Debugging
部门归属	Cao Ping; Dong Zhao; Liu Ke Chinese Acad Sci MADIS Acad Math & Syst Sci Beijing 100190 Peoples R China. Cao Ping; Dong Zhao; Liu Ke Chinese Acad Sci Natl Ctr Math & Interdisciplinary Sci Acad Math & Syst Sci Beijing 100190 Peoples R China. Cai Kai-Yuan Beijing Univ Aeronaut & Astronaut Dept Automat Control Beijing 100191 Peoples R China. Cai Kai-Yuan Chinese Acad Sci State Key Lab Comp Sci Inst Software Beijing 100190 Peoples R China.
学科领域	Computer Science
资助者	National Natural Science Foundation of China 70731003, 70971125, 10721101, 10928103, 11071008, 60973006; 973 Project 2010CB731400, 2011CB808000; Beijing Natural Science Foundation 4112033
语种	英语
WOS记录号	WOS:000311194900008
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/15043
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Cao Ping,Dong Zhao,Liu Ke,et al. quantitative effects of software testing on reliability improvement in the presence of imperfect debugging[J]. INFORMATION SCIENCES,2013,218:119-132.
APA	Cao Ping,Dong Zhao,Liu Ke,&Cai Kai-Yuan.(2013).quantitative effects of software testing on reliability improvement in the presence of imperfect debugging.INFORMATION SCIENCES,218,119-132.
MLA	Cao Ping,et al."quantitative effects of software testing on reliability improvement in the presence of imperfect debugging".INFORMATION SCIENCES 218(2013):119-132.