中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 数学与系统科学研究院
  3. 中国科学院数学与系统科学研究院
  4. 应用数学研究所
Software testing processes as a linear dynamic system

文献类型：期刊论文

作者Cai, Kai-Yuan1,2; Dong, Zhao3; Liu, Ke3
刊名INFORMATION SCIENCES
出版日期2008-03-15
卷号178期号:6页码:1558-1597
关键词software testing software reliability linear dynamic system
ISSN号0020-0255
DOI10.1016/j.ins.2007.10.024
英文摘要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.
WOS研究方向Computer Science
语种英语
WOS记录号WOS:000253660400009
出版者ELSEVIER SCIENCE INC
源URL[http://ir.amss.ac.cn/handle/2S8OKBNM/6255]  
专题应用数学研究所
通讯作者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.

入库方式： OAI收割

来源：数学与系统科学研究院

浏览0
下载0
收藏0
其他版本

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。