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

基于EFSM用户自定义故障模型测试集生成 　　摘 要:提出了一种用户自定义故障的EFSM测试集生成方法。该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题,也得到最短的测试用例集合。实验结果表明了新算法对生成最短EFSM测试集是有效的。 　　关键词:扩展有限状态机(EFSM); 用户自定义故障; 一致性测试; 测试生成 　　中图分类号:TP311文献标志码:A 　　文章编号:1001-3695(2009)09-3388-04 　　doi:10.3969/j.issn.1001-3695.2009.09.053 　　 　　Method for generating test suite based on user-defined faults in EFSM model 　　LI Yong-liang, LI Rui, LI Ren-fa, ZHANG Yan 　　(School of Computer Communication, Hunan University, Changsha 410082, China) 　　Abstract: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. 　　Key words:extended finite state machine; user-defined faults; conformance testing; test generation 　　 　　0 引言 　　 　　在基于FSM[1,2]的测试生成中,提出了用户定义故障和给定故障类型的测试生成方法,主要是为了减少一致性测试开销(测试套的长度),这种方法仅适用于给定FSM故障类型的情形。以上方法在基于FSM的增量测试模型[3]中得到扩展,根据修改后的规约模型生成被修改规约的部分测试用例。以上方法[1~3]都产生大量不必要的测试用例,效率比较低。EFSM模型是在FSM中引入了输入和输出参数、前置条件、上下文变量,定义在上下文变量和输入参数上的操作。EFSM规约模型一致性测试的问题主要包括消除EFSM规约模型的不可执行路径和测试集生成[4~6]等问题。在基于EFSM模型的故障诊断[7]中,通过将给定EFSM故障模型展开成与之等价的FSM模型生成故障诊断用例,很明显展开的系统状态数量急剧扩大,容易产生状态空间爆炸的问题。因此,FSM一致性测试生成方法就不能简单地应用到EFSM模型中。 　　本文扩展了关于系统规约和被测系统都是采用EFSM规约来表示、用户定义故障[8]的测试集生成的研究。从给定EFSM规约中选择可疑变迁集合,为了减少测试生成的开销,没有直接地把EFSM故障模型展开成相应的FSM故障模型,而是对EFSM 模型规约切片(缩减),生成用户自定义故障的完备测试套。该方法通过切片EFSM规约模型后,得到保持完备测试推导特性的更小的状态机。一方面,提出的切片算法保持着遍历可疑变迁和区分变迁终止状态的原有特性;另一方面,切片后的模型远远小于给定的EFSM规约模型,以此来提高测试开销。 　　 　　1 EFSM模型规约及定义 　　 　　1.1 EFSM规约模型 　　一个扩展有限状态机(EFSM)[5]是一个(??S, T)状态变迁对,其中S是状态的集合,T是状态间变迁的集合。每个变迁t∈T??是七元组(s,i,P,op,o,up,s′),其中: 　　s,s′∈S是初始状态和终结状态; 　　i∈I是输入,I是输入的集合,D??i??是输入向量的集合,一个输入向量的每个元素对应于与i相关的一个输