基于状态机对故障模式进行了统一的描述，使得故障描述更准确、无二义性。为了避免路径组合爆炸，提出基于控制流的状态集迭代分析算法进行故障检测，可以使算法的计算复杂性由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 pro posed 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 nu mber 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 sta te computing to reduce the problem of false positives. 