网络移动IPv6协议测试生成研究与实现.pdfVIP

网络移动IPv6协议测试生成的研究与实现 第六图书馆 协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试 生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现 下的测试结果及分析,验证了研究结果的正确性。协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动 IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络 移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。NEMO MIPv6 协议一致 性测试 测试例描述语言科学技术与工程杜宁 杨柳 郑红霞 谢高岗 [1]湖南大学软件学院,长沙410082 [2]中国科学院计算技术研究所,北京1000802007第六图书馆 第六图书馆 第7卷 第14期 2007年7月 科 学 技 术 与 工 程 Vo1．7 No．14 July2007 1671．1819(2007)14-3555-06 ScienceTechnologyandEngineering 2007 Sci．Tech．Engng． 网络移动 IPv6协议测试生成的研究与实现 杜 宁 ， 杨 柳 ， 郑红霞 谢高岗 (湖南大学软件学院 ，长沙410082；中国科学院计算技术研究所 ，北京 1~ 80) 摘 要 协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点，提 出了针对该协议 的层次化测试生成方法，得到 了针对各个状态机的测试序列集，这些测试序列集是设计网络移动 IPv6测试集的基础。最后给 出了在Linux实现下的测试结果及分析 ，验证 了研究结果的正确性。 关键词 NEMO MIPv6 协议一致性测试 测试例描述语言 中图法分类号 TN929．5； 文献标识码 B 可验证测试生成理论基础是形式化技术 ¨J。基 致几个不同的实现，这就需要测试每个协议实现是 于形式化模型。可以实现测试序列的自动生成。有限 否与协议标准相一致。因此，协议一致性测试 已经成 状态机模型(FiniteStateMachine，FSM)是最普遍 为通信系统设计中不可缺少的部分 。由于协议的复 地用于描述协议的形式化模型，包括以下几个部分： 杂性，有必要使用 自动测试工具来对协议实现和测 一 个有限状态集 、一个输人事件集 、一个输 出事件 试提供有效的帮助。 集、一个状态转移规则集、一个输 出规则集、一个行 由于协议实现的可控制性和可观察性的限制 ， 为函数 。 使得协议测试行为更加复杂 ’。在大多数情况下， 第六图书馆 中国科学院计算技术研究所在 Agilent公司提 由于可控制性的限制，协议实现不能直接转移到期 供的N2X测试平台上开发了通用的IPv6 协议一 望的状态，通常需要一些额外的转换状态。若不使用 致性测试系统 CTS(conformancetestsystem)L3]；根 有效的方法，这种限制将可能导致协议状态转换 中 据我们提出的针对网络移动 IPv6协议 ．5层次化 需要很多的状态；可观察性的限制将会阻止外部测 状态机的协议描述和测试生成方法 ，得到了针对各 试器直接观察协议实现的状态，对发现错误将造成 个状态机的测试序列集，并最终得到了抽象测试集 ； 一 定的影响。 在一种 Linux实现上，完成了该协议的一致性测试 。 在通信协议 中，协议测试生成技术在过去的几 本文重点讨论网络移动 IPv6协议的层次化测试生