Optimal and adaptive testing for software reliability assessment

doi:10.1016/j.infsof.2004.07.006

CORC > 数学与系统科学研究院 > 中国科学院数学与系统科学研究院 > 应用数学研究所

	Optimal and adaptive testing for software reliability assessment
	Cai, KY ; Li, YC ; Liu, K
刊名	INFORMATION AND SOFTWARE TECHNOLOGY
	2004-12-01
卷号	46 期号:15 页码:989-1000
关键词	software reliability assessment optimal testing adaptive testing controlled Markov chain adaptive control software cybernetics
ISSN号	0950-5849
DOI	10.1016/j.infsof.2004.07.006
英文摘要	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.
WOS研究方向	Computer Science
语种	英语
出版者	ELSEVIER SCIENCE BV
WOS记录号	WOS:000225484000002
内容类型	期刊论文
源URL	[http://ir.amss.ac.cn/handle/2S8OKBNM/617]
专题	应用数学研究所
通讯作者	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.