Constructing Dependence Graph for EFSM
Chen Shi-hong · Journal of Chinese Computer Systems · 2011
The slicing technology of Extended Finite State Machine model can reduce the number of states and transition.It is very important for analysis and test on EFSM model.The existent algorithm for constructing dependence graph or slicing can not be used in constructing dependence graph for EFSM model because of its special dependence relationship.In this paper,we do the research on the transmissibility of the special dependence relationship of the EFSM.Base on the research we propose the two-tier structure dependence graph called EPDG(EFSM Program Dependence Graph).We use the child nodes of the transition to represent data dependence relationship and the transition nodes to represent control dependence relationship.Through it we turn the slicing on EFSM up to a graphic accessibility issues and we give the construction algorithm for EPDG,also the slicing algorithm.At last we use a example to do the compare experiment.