摘要
基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性。为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算法进行故障检测,可以使算法的计算复杂性由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.
出处
《北京化工大学学报（自然科学版）》
CAS
CSCD
北大核心
2007年第A01期73-76,共4页
Journal of Beijing University of Chemical Technology(Natural Science Edition)
基金
国家"863"计划(2006AA01Z184)
关键词
软件测试
静态分析
数据流分析
故障查找
software test
static analysis
dataflow analysis
error detection
