%0 Journal Article
%T Method for generating test suite based on user-defined faults in EFSM model<br>基于EFSM用户自定义故障模型的测试集生成
%A LI Yong-liang
%A LI Rui
%A LI Ren-fa
%A ZHANG Yan
%A <br>李永亮
%A 李蕊
%A 李仁发
%A 张焱
%J 计算机应用研究
%D 2009
%I 
%X This paper presented a method for test generation based on user-defined faults for EFSM specifications. The algorithm used appropriate slices of the specification EFSM in order to avoid state space explosion when converting EFSM model to FSM model, these slices were much smaller than the given specification, meanwhile got the shortest test suite. Finally, the article gave a simple protocol to be verified. The experiment proves that the algorithm is effective to generate shortest EFSM test suite.
%K extended finite state machine
%K user-defined faults
%K conformance testing
%K test generation<br>扩展有限状态机(EFSM)
%K 用户自定义故障
%K 一致性测试
%K 测试生成
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=93082930BB727D717D09A2077C19C9C5&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=9CF7A0430CBB2DFD&sid=B06FFE4B28EE58D6&eid=3AABBEE06AC4032F&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=10