协议测试中用户信息的形式化描述技术  

Formal Description Techniques for User Information in Protocol Testing

作　　者：尹霞[1] 吴建平[1] 

机构地区：[1]清华大学计算机科学与技术系

出　　处：《计算机工程与科学》2000年第1期43-47,共5页Computer Engineering & Science

基　　金：国家自然科学基金

摘　　要：无论是协议的一致性测试、互操作测试还是协议性能的测试 ,都只有在接收了用户信息后才开始实际的测试工作。自定义的用户信息缺乏形式化的定义 ,使测试系统很难具有良好的通用性。本文对协议测试中测试系统与测试用户之间的交互信息在内容上进行了合理的划分 ,并对其进行了形式化定义 。Not only in protocol conformance testing and interoperability testing,but also in protocol performance testing,the testing activity starts only after getting enough information from the user. The user information defined by the tester itself is lack of formal specification.Thus the test system is made to be difficult to feature good universality.In this paper,we divide the context of user information reasonably,and formalize the user information.Finally,we provide an example. [WT5HZ]

关 键 词：协议测试 计算机网络 用户信息 PITS 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]