%0 Journal Article
%T Equivalence Testing Based on EFSM<br>基于EFSM模型的等价类测试
%A YI Guo-Hong
%A LU Yan-Sheng
%A <br>易国洪
%A 卢炎生
%J 计算机科学
%D 2007
%I 
%X 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.
%K EFSM
%K Equivalence testing
%K Software testing
%K Data dependence analysis
%K Control dependence<br>EFSM
%K 等价类
%K 软件测试
%K 数据依赖分析
%K 控制依赖分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A14E46F5357D98AE927BF2BE04E522A1&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=CA4FD0336C81A37A&sid=C1B34927D429E92F&eid=03E56C113B4E5A88&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=5