KMS Of Academy of mathematics and systems sciences, CAS
A mathematical modeling framework for software reliability testing | |
Cai, Kai-Yuan; Dong, Zhao; Liu, Ke; Bai, Cheng-Gang | |
2007 | |
发表期刊 | INTERNATIONAL JOURNAL OF GENERAL SYSTEMS |
ISSN | 0308-1079 |
卷号 | 36期号:4页码:399-463 |
摘要 | Software reliability testing refers to various software testing activities that are driven to achieve a quantitative reliability goal given a priori or lead to a quantitative reliability assessment for the software under test. In this paper we develop a modeling framework for the software reliability testing process, comprising a simplifying model and a generalized model. In both models the software testing action selection process and the defect removal mechanism are explicitly described. Both the discrete-time domain and the continuous-time domain are involved. The generalized model is more accurate or realistic than the simplifying model since the former avoids the assumption that defects are equally detectable and the assumption that defects are removed upon being detected. However simulation examples show that the simplifying model really captures some of essential features of the software testing process after a short initial testing stage. The modeling framework is practically realistic, mathematically rigorous, and quantitatively precise. It demonstrates that the relationship between software testing and delivered software reliability, which was poor understood, can well be formulated and quantified. Rigorous examinations show that several common assumptions adopted in software reliability modeling, including the independence assumption, the exponentiality assumption, and the NHPP assumption, are theoretically false in general. This paper sets a good starting point to further formalize and quantify the software testing process and its relation to delivered software reliability. |
关键词 | software testing software reliability Markov usage model based testing software testing stability |
DOI | 10.1080/03081070600957939 |
语种 | 英语 |
WOS研究方向 | Computer Science ; Engineering |
WOS类目 | Computer Science, Theory & Methods ; Ergonomics |
WOS记录号 | WOS:000246267500002 |
出版者 | TAYLOR & FRANCIS LTD |
引用统计 | |
文献类型 | 期刊论文 |
条目标识符 | http://ir.amss.ac.cn/handle/2S8OKBNM/4593 |
专题 | 应用数学研究所 |
通讯作者 | Cai, Kai-Yuan |
作者单位 | 1.Beijing Univ Aeronaut & Astronaut, 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, Kai-Yuan,Dong, Zhao,Liu, Ke,et al. A mathematical modeling framework for software reliability testing[J]. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS,2007,36(4):399-463. |
APA | Cai, Kai-Yuan,Dong, Zhao,Liu, Ke,&Bai, Cheng-Gang.(2007).A mathematical modeling framework for software reliability testing.INTERNATIONAL JOURNAL OF GENERAL SYSTEMS,36(4),399-463. |
MLA | Cai, Kai-Yuan,et al."A mathematical modeling framework for software reliability testing".INTERNATIONAL JOURNAL OF GENERAL SYSTEMS 36.4(2007):399-463. |
条目包含的文件 | 条目无相关文件。 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论