论文部分内容阅读
OSPF协议是内部网关协议,为了更好的支持基于IPv6下一代互联网的发展,OSPFv3协议在不断的更新。为了保证OSPFv3协议实现按照协议描述稳定可靠的运行,需要对OSPFv3协议进行协议测试。考虑到OSPFv3协议的复杂性和特点,仅仅依靠协议一致性测试是不够的,需要对其进行协议互操作性测试的研究。协议互操作性测试是检验同一种或同一类协议的不同实现之间互连互通的能力。本文针对OSPFv3协议的互操作性测试工作展开,主要研究工作包括以下几个方面:首先,研究了协议一致性测试与协议互操作性测试的差异,并进一步研究了目前协议互操作性测试方法的发展状况。在此基础上针对OSPFv3协议不确定性的互操作性测试提出了自己的见解。其次,在OSPFv3协议互操作性测试的形式化建模方面,考虑到OSPFv3协议测试的复杂性和并发性,本文采用扩展后的Petri网,对其进行了建模。针对模型,结合OSPFv3协议RFC标准文档,分析了OSPFv3协议互操作性测试中存在的不确定性。为了进一步分析OSPFv3协议的互操作Petri网模型,采用Petri网可达图对其分析研究,并给出测试生成方法。最后,根据测试需要,将生成的测试例与国家通信行业标准路由协议互操作性测试方法及美国新罕布什尔大学互操作实验室关于OSPFv3互操作性测试中的测试例进行分析比较,确定对于OSPFv3协议进行互操作性测试的测试例。对于确定的测试例,根据测试目的以及提出的测试架构,开发测试工具,搭建测试环境,进行OSPFv3协议互操作性测试的实践工作,并对测试结果进了分析,给出测试报告。下一步的研究重点是:对OSPFv3协议建模数据粒度的选择做进一步的考虑;为了简化建模复杂度,考虑能否采用高级Petri网建模,同时对所建模型的分析和测试套的生成也需要考虑;研究测试生成的覆盖度和测试生成的优化;建立OSPFv3协议互操作错误模型;开发一个具有控制性和交互性的互操作测试工具。