基于扩展有限状态机的测试集生成技术地研究.pdfVIP

V01．45 第45卷增刊 中山大学学报(自然科学版) Sup． ACTASCIENTIARUMNATURALIUMUNlVERSITATISSUNYATSENI 2006 2006年5月 May 基于扩展有限状态机的测试集生成技术的研究+ 梁晓娅，肖德宝 (华中师范大学计算机网络与通信技术研究所，湖北武汉430079) 摘 要：文章介绍了扩展有限状态机的测试模型和PSL语言，探讨了一种基于EFSM模型的综合控制流和数据 流的测试集生成技术，并重点介绍了相应的测试系统结构图。通过这种技术可以更高效的生成协议测试集。 关键词：一致性测试；测试例生成；扩展有限状态机；PSL 中图分类号：TN91文献标识码：A 文章编号：0529-6579(2006)S1-0240-03 在通信协议的一致性测试中，测试集的生成 语，输入的参数和某些约束类Pascal的谓词表达 是个很重要的研究领域，如何产生出具有较高检错 能力和覆盖范围又不是很大的测试集，这是很多学 语句和输出语句的计算模块¨】。 Protocol Lall- 者都致力研究的方向。之前提出的测试生成方法很 1．2协议规范语言(The Specification 多是基于有限状态机(FSM)模型，这些方法只进 guage) 行被测协议实体(IUT)的控制流测试，很少涉及 PSL提供了一个简单的、形式化的符号来描述 到协议的数据流部分。另外一些方法虽然基于数据 模型中的控制部分和数据部分‘61。用PSL描述的 流测试，但由于缺乏控制流变化的测试，不可能得 防议包括5个部分：变量声明，状态声明，输入和 到高的测试覆盖，而且在生成过程中使用与协议的 输出交互声明，数据定义，转换定义。在这里限于 内部结构和变量有关的信息，使得生成过程变得复 篇幅，只对它们作简单的介绍。 杂，缺乏实用性¨以J。 1．2．1变量声明 因此，有的学者提出了基于扩展有限状态机的 这个部分用来声明协议中变量的名称和类型。 综合控制流和数据流的测试集生成方法，并通过使 用约束来降低测试序列的长度和控制不确定性。本 enumerated。例如： 文对这种方法进行了研究和探讨。 VARIABLES： number； Integer 1基本模型和概念 Boolean expiretimer； 1．1扩展有限状态机(EFSM) 1．2．2状态声明 纯粹的FSM只反映了协议事件和协议状态之 这个部分用来声明状态的名称。初始状态前加 问关系，它们不能表述最重要的协议元素：协议变 符号“撑”。例如： STATES： 量，协议行动，谓词。扩展有限状态机EFSM力图 、 弥补这个不足。扩展有限状态机EFSM形式化的表 #idle；