软件易测性和软件可靠性关系研究  

Study on the Relationship between Software Testability and Reliability

作　　者：赵亮[1] 王建民[1] 孙家广[1] 

机构地区：[1]清华大学软件学院,北京100084

出　　处：《计算机学报》2007年第6期986-992,共7页Chinese Journal of Computers

基　　金：国家"八六三"高技术研究发展计划项目基金(2003AA4Z3040);国家"九七三"重点基础研究发展规划项目基金(2002CB312000)资助.

摘　　要：从测试有效性的角度对易测性进行了定义,给出了软件易测性的量化表示模型;建立了易测性和可靠性之间的形式化关系;通过实验验证了易测性对实现可靠性目标所需的测试数量的影响.文中结论认为传统的基于黑盒测试得到的可靠性估计结果是盲目的,而基于易测性的可靠性模型可以提供更准确和更具针对性的估计结果.Software testability and reliability are two important quality features. Till now, the intuition about the relationship between testability and reliability still lacks support from solid theory proof and adequate empi.rical validation. This paper gives a new testability definition from the view of testing effectiveness, brings forward a quantification testability representation model, builds a formal relationship between testability and reliability, and empirically validates the impact of software testability on test effort for certain reliability assurance target. The conclusion suggests that classical black-box based reliability estimation model is blind to certain degree and testability-based model can give more accurate and specific result.

关 键 词：软件易测性 可靠性 测试 有效性 β分布 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]