软件可测试性检测技术研究

摘要：

软件的可测试性表示软件中故障检测的难易程度,是重要的软件质量特性之一.文章介绍相关的故障/失效模型和RELAY错误检测模型.提出了一个完整的软件故障检测过程:执行过程、传染过程、传播过程.对程序结构,最小表达式错误产生、计算转移、信息流转移等进行分析.提出了一种通过概率进行度量的可测试性静态检测方法,即整个程序可测试性由其包含的所有语句可测试性均值得到.

关键词：可测试性、故障检测、故障、失效、传染、传播

所属期刊栏目：24

分类号：TP311(计算技术、计算机技术)

在线出版日期：2004-05-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：16-19