Study of a fault pattern state machine based testing method
Yang Zhao · Journal of Beijing University of Chemical Technology · 2007
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.