CSpace  > 应用数学研究所
Software testing processes as a linear dynamic system
Cai, Kai-Yuan1,2; Dong, Zhao3; Liu, Ke3
2008-03-15
Source PublicationINFORMATION SCIENCES
ISSN0020-0255
Volume178Issue:6Pages:1558-1597
AbstractSoftware 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.
Keywordsoftware testing software reliability linear dynamic system
DOI10.1016/j.ins.2007.10.024
Language英语
WOS Research AreaComputer Science
WOS SubjectComputer Science, Information Systems
WOS IDWOS:000253660400009
PublisherELSEVIER SCIENCE INC
Citation statistics
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/6256
Collection应用数学研究所
Corresponding AuthorCai, Kai-Yuan
Affiliation1.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
Recommended Citation
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.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Cai, Kai-Yuan]'s Articles
[Dong, Zhao]'s Articles
[Liu, Ke]'s Articles
Baidu academic
Similar articles in Baidu academic
[Cai, Kai-Yuan]'s Articles
[Dong, Zhao]'s Articles
[Liu, Ke]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Cai, Kai-Yuan]'s Articles
[Dong, Zhao]'s Articles
[Liu, Ke]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.