3.软件易测性和软件可靠性关系的研究.pdfVIP

第 30 卷 　第 6 期 计 　　算 　　机 　　学 　　报 Vol . 30 No . 6 2007 年 6 月 C H IN ESE J OU RN AL O F COM PU T ER S J une 2007 　 软件易测性和软件可靠性关系研究 赵 　亮 　王建民　孙家广 (清华大学软件学院　北京 　100084) 摘 　要 　从测试有效性的角度对易测性进行了定义 ,给出了软件易测性的量化表示模型 ;建立了易测性和可靠性 之间的形式化关系 ;通过实验验证了易测性对实现可靠性 目标所需的测试数量的影响. 文中结论认为传统的基于黑 盒测试得到的可靠性估计结果是盲目的 ,而基于易测性的可靠性模型可以提供更准确和更具针对性的估计结果. β 关键词 　软件易测性 ;可靠性 ;测试 ;有效性 ; 分布 中图法分类号 TP3 11 Study on the Relationship bet ween Sof t ware Testabil ity and Rel iabil ity ZHA O Liang 　WAN G J ianMin 　SU N J iaGuang ( S chool of S of t w are , Ts i ng h ua Uni vers ity , B eij i ng 　100084) Abstract 　 Soft ware t e st abilit y and reliabilit y are t wo import ant qualit y f eat ure s. Till now , t he int uition about t he relation ship bet ween t e st abilit y an d reliabilit y still lack s support f ro m solid t heory p roof and adequat e empirical validation . Thi s p ap er give s a new t e st abilit y definition f ro m t he view of t e stin g effectivene ss , bring s forwar d a quantification t e st abilit y rep re sent ation mo del , buil ds a for mal relation ship bet ween t e st abilit y and reliabilit y , and empirically validat e s t he im p act of soft ware t e st abilit y on t e st effort for cert ain reliabilit y a ssurance t ar get . The conclu sio n sugge st s t hat cla ssical blackbo x ba sed reliabilit y e stimation mo del i s blind to cert ain degree an d t e st abilit yba sed mo del can give more accurat e and sp ec