基于可靠性增长模型的软件可靠性增长测试充分性准则  

Adequacy Criteria of Software Reliability Testing Based on SRGMs

作　　者：吴彩华[1] 朱小冬[1] 刘俊涛[2] 王毅刚[1] 

机构地区：[1]军械工程学院维修工程实验中心 [2]军械工程学院计算机工程系,石家庄050003

出　　处：《计算机科学》2008年第11期281-283,292,共4页Computer Science

基　　金：十一五国防预先研究项目(软件密集型装备保障技术;513270104)资助

摘　　要：结合软件可靠性增长模型,扩充了基于可信度度量的软件可靠性增长测试充分性问题度量准则,提出了关于可靠性增长测试充分性问题新的度量准则:可靠性测试只有同时满足可靠性增量指标要求、可信度要求和每单位测试资源发现的故障数要求方可终止。然后,以一个真实数据集为例,应用所提出度量准则求出了测试应该停止的时间。实验证明,这样的度量准则,使得终止条件更加严格,可靠性测试更加充分,为可靠性测试充分性问题的解决提供了新的思路。Combining the software reliability growth model, extended the adequacy criteria of software reliability growth testing based on reliability measurement, presented a new adequacy criteria： reliability testing can＇t be ended until it satisfies the requirement of reliability increment index, confidence and fault number per testing cost. And then it took a true data set for an example,got the ending time by using the new adequacy criteria. It was proved by the experiment that the new criteria makes the ending condition more rigorous and reliability testing more adequate, and it provides a new thinking for solving the reliability testing adequacy problem.

关 键 词：可靠性测试 可靠性增长模型 可信度 测试资源 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] U418.66[自动化与计算机技术—计算机科学与技术]