设计并实现基于TTCN的协议一致性测试工具是一项系统的工作.首先需要有理论的支持;其次要经过细致缜密的设计,保证正确高效;最后通过程序实现,达到实用的目的.我们的工作是在一定基础上开始继续的,即形式化方法、解释器、执行器已初步实现.其主要功能在于:形式化方法为测试工具设计的正确性提供了理论支持,解释器经过TTCN语义解析生成TTCN求植树,执行器负责求植树的执行并得到测试结果,该文前面章节对此进行了叙述.以此为起点,我们首先设计了驱动程序模块,并按功能进一步划分为三个子模块,分别对应:与执行器交互、数据处理、与网络环境交互.根据设计模型,我们在WINDOWS环境下进行了测试工具实现;并使用此系统进行了ospf、mpls协议一致性测试,效果良好.其次,根据实际测试的需要,我们设计了并发TTCN的实现方法,并发TTCN最大程序利用了已经投入使用的非并发测试系统平台,这样即实现了模块的重用,又实现了对非并发功能的兼容.可以认为非并发测试是并发测试的特例.而且,我们把测试系统分为一个本地和多个远地测试模块,以实现测试部件的并行,并把执行器置于各地的测试模块中,这样,即可保证测试功能,又最大程度的减小了网络延时对测试造成的影响.以这种并发系统为设计框架,该文又细致考虑了实现并发的辅助功能.