论文部分内容阅读
本文在比较研究了两种测试集的描述语言(TTCN和TCL)在协议测试中的不同应用特点后，根据在ISO9646中定义的协议测试框架和方法论，开发了具有创新性的系统的协议测试方法，提出了一个基于TCL的分布式协议测试系统DPTS。这个系统具有通用性、易操作性、平台无关性和可扩展性等优点，使广泛地开展完整的协议测试更为便利。对于控制流的测试，我们研究运用基于FSM的UIO序列生成技术来生成测试用例，对于数据流的测试则采用了基于测试目的描述的测试生成技术。文中通过DPTS上的测试实例分别具体详述了这两类测试的完整过程。目前已利用DPTS对IPv6协议族各主要协议的实现进行了广泛的一致性测试。