Equivalence Testing Based on EFSM
基于EFSM模型的等价类测试

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 identified between elements of EFSM system model. Equivalence testing sequence identifies by dependencies analysis. The paper proves redundancy and Completeness about partition of Equivalence.