Software testing processes as a linear dynamic system

doi:10.1016/j.ins.2007.10.024

CSpace > 应用数学研究所

	Software testing processes as a linear dynamic system
	Cai, Kai-Yuan 1,2; Dong, Zhao3 ; Liu, Ke3
	2008-03-15
发表期刊	INFORMATION SCIENCES
ISSN	0020-0255
卷号	178 期号:6 页码:1558-1597
摘要	Software testing is essential for software reliability improvement and assurance, and the processes of software testing are intrinsically dynamic. However they are seldom investigated in a mathematically rigorous manner. In this paper a theoretical study is presented to examine the dynamic behavior of software testing. More specifically, a set of simplifying assumptions is adopted to formulate and quantify the software testing processes. The mathematical formulae for the expected number of observed software failures are rigorously derived, the bounds and trends of the expected number of observed software failures are analyzed, and the variance of the number of observed software failures is examined. On the other hand, it is demonstrated that under the simplifying assumptions, the software testing processes can be treated as a linear dynamic system. This suggests that the software testing processes could be classified as linear or non-linear, and there be intrinsic link between software testing and system dynamics. (c) 2007 Elsevier Inc. All rights reserved.
关键词	software testing software reliability linear dynamic system
DOI	10.1016/j.ins.2007.10.024
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Information Systems
WOS记录号	WOS:000253660400009
出版者	ELSEVIER SCIENCE INC
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/6256
专题	应用数学研究所
通讯作者	Cai, Kai-Yuan
作者单位	1.Beijing Univ Aeronaut & Astronaut, Dept Automat Control, Beijing 100083, Peoples R China 2.State Key Lab Virtual Real Technol & Syst, Beijing, Peoples R China 3.Chinese Acad Sci, Inst Appl Math, Acad Math & Syst Sci, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Cai, Kai-Yuan,Dong, Zhao,Liu, Ke. Software testing processes as a linear dynamic system[J]. INFORMATION SCIENCES,2008,178(6):1558-1597.
APA	Cai, Kai-Yuan,Dong, Zhao,&Liu, Ke.(2008).Software testing processes as a linear dynamic system.INFORMATION SCIENCES,178(6),1558-1597.
MLA	Cai, Kai-Yuan,et al."Software testing processes as a linear dynamic system".INFORMATION SCIENCES 178.6(2008):1558-1597.