通用网络协议一致性测试平台的设计与研究

协议一致性测试的内容包括三个方面：一是协议格式、完整性的一致性测试，能够正确识别收到的协议，并且按照协议做出正确的响应，响应的格式要与协议一致。二是测试协议中包含的算法的正确性。要能够正确地加密和解密相应的信息。三是要对协议的实现过程包括握手、协商等进行一致性测试。

4 测试套集的生成方法
测试套集的生成方法理论上有可达性分析与测试序列两种。可达性分析是从一个初始状态出发，生成并检查系统能够到达的所有状态。测试序列方法是针对FSM中的单个转移生成的测试子序列，再将这些测试子序列连接起来作为完整的测试序列。
通用平台对测试套集的生成方法不作限定。因为网络协议千差万别，套用某一个方法是不现实的。因此不论什么方法，即使是手工方法，只要能够正确地诠释协议，生成的测试套集符合套集接口要求都可以直接输入到平台上实施测试。套集可以是完整的协议测试，也可以是某个协议测试套集的一部分。这样大大方便了协议测试套集的调试与测试。
通用平台也提供了一种测试套集的生成方法。就是将协议的分析过程体现在控制机的界面上，在界面上对协议进行分割，确定转移点和子序列，并给出子序列的数据范围。然后CPU的套集生成软件将这些转移点和子序列通过组合连接起来，形成测试套集。

5 结束语
在协议一致性测试的需求越来越迫切的同时，协议的功能越来越强，复杂性也越来越高，使得测试难度越来越大。通用平台的硬件设计为以后协议的发展做好了可持续发展的基础，而软件设计也将提供开源和稳定的接口以供协议的发展，增加对协议的支持。