随着IPv4地址分配告罄,IPv6已经成为最佳的解决方案。OSPF协议作为最重要的路由协议之一,其相应的OSPFv3也在不断的更新。目前对路由协议的测试主要集中一致性测试方面,对于像OSPF这样一个复杂的协议,对其进行互操作测试是非常必要的。传统的协议互操作性测试采用的方式是基于被测系统的形式化模型,生成测试序列,对测试序列进行测试例抽象,最终得出测试判定。但是当形式化模型过于复杂时,整个测试过程会变得复杂。建模作为整个测试的源头,对其模型粒度研究就很有必要了。本文针对OSPFv3协议的互操作性测试模型粒度选择展开,主要研究工作包括以下几方面:　　 首先,研究了属性测试和互操作性测试的现状。并引入了基于模型的测试(MBT),为下一步提出以属性作为建模粒度做出了铺垫,并在此对基于属性的测试给出了自己的看法。　　 其次,对协议形式化建模方面,结合互操作性测试和属性的特性,给出了基于属性选择作为建模粒度方法,同时分析了这样建模的优点。同时,由于OSPFv3协议是一个交互、并发性较强的协议,所以采用CPN(Colored Petri Net)Tools建模并生成模型状态空间和SCC图(strongly connected component)。　　 最后,由SCC图生成测试序列,分别对传统方法生成的测试序列和基于属性选择作为建模粒度得出的测试序列进行比较。本文对互操作协议的交互属性作了深入的研究,提出了一次交互、二次交互、三次交互的概念,进一步细化了属性选择方法。本文采用TTCN-3语言作为测试用例实现语言,对基于属性和传统方法生成的测试序列分别进行测试用例的实现。结果说明采用基于属性作为模型选择的方法,以TTCN-3作为测试用例实现,这样的结合可以有效的提高测试效率。　　 下一步的研究重点是:对于模型的选择过程如何确定选择更精确的属性去建模,以及如何避免错误的抽象模型和错误的抽象测试用例。对于TTCN-3测试实现方面,进一步研究重点在于建立规范TTCN-3测试套,如何能够有效的提高测试行为函数的复用。