基于形式化技术的协议集成测试系统——PITS

被引：33

作者：

吴建平 ^{[1
]}

陈修环 ^{[1
]}

郝瑞兵 ^{[1
]}

徐明伟 ^{[1
]}

杨家海 ^{[1
]}

毕军 ^{[1
]}

尹霞 ^{[1
]}

机构：

[1] 清华大学计算机科学与技术系

来源：

清华大学学报(自然科学版) | 1998年 / S1期

关键词：

协议测试; 一致性测试; 互操作性测试; 性能测试; 形式技术; 协议集成测试系统;

D O I：

10.16511/j.cnki.qhdxxb.1998.s1.006

中图分类号：

TP393, [];

学科分类号：

081201 ; 1201 ;

摘要：

在协议测试中采用形式化技术将使协议测试更加精确和高效。文中讨论了一种基于形式化方法的协议一致性测试策略，并介绍了根据这种策略设计和实现的一个协议集成测试系统ＰＩＴＳ。这种协议集成测试系统除了用于协议一致性测试外，还可以用于协议的互操作性测试和性能测试。文章给出了这个系统的总体结构、系统工作过程和各部分的功能描述，还讨论了它在实际协议测试中的应用。

引用

页码：29 / 32

页数：4