Infeasible Path Detection for EFSM Models
Ruilian Zhao · Journal of Inner Mongolia University · 2011
Extended Finite State Machine(EFSM)is widely used as fundamental model in various software systems.However infeasible transition paths in EFSM,which is hard to detect,are quite common in real world.An infeasible path detection method is proposed by analyzing the dependence of three types of variables(counter variable,selector variable and paradoxical variable)on transitions.The experimental results based on four EFSM models show that the proposed approach can detect infeasible paths efficiently.