一种基于故障模式状态机的测试方法

摘要：

基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性.为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算法进行故障检测,可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数,E是控制流图边数).由于状态机的独立性,对控制流图进行一遍迭代可以同时计算多个故障模式,大大提高测试效率.同时,该方法还采用了带条件的状态计算可以较好地减少误报的情况.

关键词：软件测试、静态分析、数据流分析、故障查找

所属期刊栏目：34

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

资助基金：国家高技术研究发展计划863计划2006AA01Z184

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

页数：共4页

页码：73-76