论文部分内容阅读
在协议测试中采用形式化技术将使协议测试更加精确和高效。文中讨论了一种基于形式化方法的协议一致性测试策略,并介绍了根据这种策略设计和实现的一个协议集成测试系统PITS。这种协议集成测试系统除了用于协议一致性测试外,还可以用于协议的互操作性测试和性能测试。文章给出了这个系统的总体结构、系统工作过程和各部分的功能描述,还讨论了它在实际协议测试中的应用。
Formal testing in protocol testing will make protocol testing more accurate and efficient. This paper discusses a protocol consistency test strategy based on formal methods and introduces a protocol integration test system PITS designed and implemented according to this strategy. In addition to protocol conformance testing, this protocol integration test system can also be used for protocol interoperability testing and performance testing. The article gives the overall structure of the system, the system work process and the functional description of each part, and also discusses its application in the actual protocol testing.