摘要
提出了一种用户自定义故障的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.
出处
《计算机应用研究》
CSCD
北大核心
2009年第9期3388-3391,共4页
Application Research of Computers