软件可测性评估

摘要：

介绍了现有的软件可测性评估方法,继而提出了基于程序结构的软件可测性评估方法,该方法充分考虑了软件的失效机理,针对测试对象的不同特点,给出了面向控制流的软件故障执行的概率、数据状态感染的概率及以变量的定值-引用为基础的被感染数据状态传播到输出的概率等估计方案,在此基础上,进行了软件可测性的评估.

关键词：软件可测性、故障执行概率、数据状态感染概率、故障传播概率

所属期刊栏目：18

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

资助基金：总装备部科研项目41315050102

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

页数：共7页

页码：68-74