基于EFSM用户自定义故障模型的测试集生成  

Method for generating test suite based on user-defined faults in EFSM model

作　　者：李永亮[1] 李蕊[1] 李仁发[1] 张焱[1] 

机构地区：[1]湖南大学计算机与通信学院,长沙410082

出　　处：《计算机应用研究》2009年第9期3388-3391,共4页Application Research of Computers

摘　　要：提出了一种用户自定义故障的EFSM测试集生成方法。该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题,也得到最短的测试用例集合。实验结果表明了新算法对生成最短EFSM测试集是有效的。This paper presented a method for test generation based on user-defined faults for EFSM specifications. The algo- rithm 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 ar- ticle gave a simple protocol to he verified. The experiment proves that the algorithm is effective to generate shortest EFSM test suite.

关 键 词：扩展有限状态机(EFSM) 用户自定义故障 一致性测试 测试生成 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]