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

Study of a fault pattern state machine based testing method

作　　者：肖庆[1] 杨朝红[1] 毕学军[1] 

机构地区：[1]装甲兵工程学院信息工程系,北京100072

出　　处：《北京化工大学学报（自然科学版）》2007年第A01期73-76,共4页Journal of Beijing University of Chemical Technology(Natural Science Edition)

基　　金：国家"863"计划(2006AA01Z184)

摘　　要：基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性。为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算法进行故障检测,可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数,E是控制流图边数)。由于状态机的独立性,对控制流图进行一遍迭代可以同时计算多个故障模式,大大提高测试效率。同时,该方法还采用了带条件的状态计算可以较好地减少误报的情况。This paper uses state machines to give a formal and unified description of fault patterns. Then, a unified testing method based on iteration of state set is proposed to avoid the path-explosion problem. The algorithm＇s computing complexity is O（ （ N ＋ E ） N ） （ N is the number of nodes in control flow graph, E is number of edges in control flow graph）. Because of the independency of the state machine, one traversal of control flow can test many fault patterns, therefore, testing efficiency can be can improved. Moreover, the paper uses conditional state computing to reduce the problem of false positives.

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

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