Abstract: This paper presents a method of equivalence testing based on EFSM, and offers an algorithmic way of partition of Equivalence. The paper describes and defines the data dependence and control dependence based on EFSM. Different types of dependencies are ide

Key words: EFSM, Equivalence testing, Software testing,Data dependence analysis,Control dependence