Institutional Repository
| quantitative effects of software testing on reliability improvement in the presence of imperfect debugging | |
| Cao Ping; Dong Zhao; Liu Ke; Cai Kai-Yuan | |
| 2013 | |
| Source | INFORMATION SCIENCES
 |
| ISSN | 0020-0255 |
| Volume | 218Pages:119-132 |
| English Abstract | Software testing is essential for software reliability improvement and assurance. However, software testing is subject to imperfect debugging in the sense that new defects may be introduced into the software under test while detected defects are removed. The quantitative effects of software testing on software reliability improvement are obscure. In this paper we propose a Markov usage model to explore the quantitative relationships between software testing and software reliability in the presence of imperfect debugging. Several interesting quantities for software reliability assessment are derived and the corresponding upper and lower bounds are obtained. (C) 2012 Elsevier Inc. All rights reserved.; Software testing is essential for software reliability improvement and assurance. However, software testing is subject to imperfect debugging in the sense that new defects may be introduced into the software under test while detected defects are removed. The quantitative effects of software testing on software reliability improvement are obscure. In this paper we propose a Markov usage model to explore the quantitative relationships between software testing and software reliability in the presence of imperfect debugging. Several interesting quantities for software reliability assessment are derived and the corresponding upper and lower bounds are obtained. (C) 2012 Elsevier Inc. All rights reserved. |
| Indexed Type | SCI |
| Keyword | Markov Usage Model Software Reliability Testing Imperfect Debugging |
| Department | Cao Ping; Dong Zhao; Liu Ke Chinese Acad Sci MADIS Acad Math & Syst Sci Beijing 100190 Peoples R China. Cao Ping; Dong Zhao; Liu Ke Chinese Acad Sci Natl Ctr Math & Interdisciplinary Sci Acad Math & Syst Sci Beijing 100190 Peoples R China. Cai Kai-Yuan Beijing Univ Aeronaut & Astronaut Dept Automat Control Beijing 100191 Peoples R China. Cai Kai-Yuan Chinese Acad Sci State Key Lab Comp Sci Inst Software Beijing 100190 Peoples R China. |
| Subject | Computer Science |
| Sponsorship | National Natural Science Foundation of China 70731003, 70971125, 10721101, 10928103, 11071008, 60973006; 973 Project 2010CB731400, 2011CB808000; Beijing Natural Science Foundation 4112033 |
| Language | 英语 |
| WOS ID | WOS:000311194900008 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15043 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Cao Ping,Dong Zhao,Liu Ke,et al. quantitative effects of software testing on reliability improvement in the presence of imperfect debugging[J]. INFORMATION SCIENCES,2013,218:119-132. |
| APA | Cao Ping,Dong Zhao,Liu Ke,&Cai Kai-Yuan.(2013).quantitative effects of software testing on reliability improvement in the presence of imperfect debugging.INFORMATION SCIENCES,218,119-132. |
| MLA | Cao Ping,et al."quantitative effects of software testing on reliability improvement in the presence of imperfect debugging".INFORMATION SCIENCES 218(2013):119-132. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment