Optimal and adaptive testing for software reliability assessment

doi:10.1016/j.infsof.2004.07.006

CSpace > 应用数学研究所

	Optimal and adaptive testing for software reliability assessment
	Cai, KY ; Li, YC ; Liu, K
	2004-12-01
发表期刊	INFORMATION AND SOFTWARE TECHNOLOGY
ISSN	0950-5849
卷号	46 期号:15 页码:989-1000
摘要	Optimal software testing is concerned with how to test software such that the underlying testing goal is achieved in an optimal manner. Our previous work shows that the optimal testing problem for software reliability growth can be treated as closed-loop or feedback control problem, where the software under test serves as a controlled object and the software testing strategy serves as the corresponding controller. More specifically, the software under test is modeled as controlled Markov chains (CMCs) and the control theory of Markov chains is used to synthesize the required optimal testing strategy. In this paper, we show that software reliability assessment can be treated as a feedback control problem and the CMC approach is also applicable to dealing with the optimal testing problem for software reliability assessment. In this problem, the code of the software under test is frozen and the software testing process is optimized in the sense that the variance of the software reliability estimator is minimized. An adaptive software testing strategy is proposed that uses the testing data collected on-line to estimate the required parameters and selects next test cases. Simulation results show that the proposed adaptive software testing strategy can really work in the sense that the resulting variance of the software reliability estimate is much smaller than that resulting from the random testing strategies. The work presented in this paper is a contribution to the new area of software cybernetics that explores the interplay between software and control. (C) 2004 Elsevier B.V. All rights reserved.
关键词	software reliability assessment optimal testing adaptive testing controlled Markov chain adaptive control software cybernetics
DOI	10.1016/j.infsof.2004.07.006
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Information Systems ; Computer Science, Software Engineering
WOS记录号	WOS:000225484000002
出版者	ELSEVIER SCIENCE BV
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/618
专题	应用数学研究所
通讯作者	Cai, KY
作者单位	1.Beijing Univ Aeronaut & Astronaut, Baihang Univ, Dept Automat Control, Beijing 100083, Peoples R China 2.Chinese Acad Sci, Acad Math & Syst Sci, Inst Appl Math, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Cai, KY,Li, YC,Liu, K. Optimal and adaptive testing for software reliability assessment[J]. INFORMATION AND SOFTWARE TECHNOLOGY,2004,46(15):989-1000.
APA	Cai, KY,Li, YC,&Liu, K.(2004).Optimal and adaptive testing for software reliability assessment.INFORMATION AND SOFTWARE TECHNOLOGY,46(15),989-1000.
MLA	Cai, KY,et al."Optimal and adaptive testing for software reliability assessment".INFORMATION AND SOFTWARE TECHNOLOGY 46.15(2004):989-1000.