论文部分内容阅读
利用形式化方法构建了协议测试理论。定义了被测试方 UNDER TESTER、协议说明 SPECs、测试需求 REQs以及协议测试所关注的 U NDER TESTER和测试需求之间的完成关系 imp。作为一个实验活动 ,测试的依据被定义为测试集 TESTs,测试的执行原则被定义为 3个操作 passes,fails,incons,并利用判决函数 Verdict得到测试结果。在上述基础上得到“协议测试”的概念。为了更好地将协议测试的形式化理论应用到实践中 ,通过一种可被编程的形式化语言——输入 /输出变迁系统 (IOTS)将上述理论进行了更具体的形式化描述。
The formal method is used to construct the protocol testing theory. Defines the relationship between the tested party UNDER TESTER, the protocol specification SPECs, the test requirements REQs, and the relationship between U NDER TESTER and the testing requirements implied by the protocol test imp. As an experimental activity, the basis of the test is defined as the test set TESTs. The test execution principle is defined as three operations passes, fails, incons, and the test result is obtained using the verdict verdict function. On the basis of the above, the concept of “protocol testing” is obtained. In order to better apply the formalized theory of protocol testing to practice, the above theory is more formally described through a programmable formal language - Input / Output Transition System (IOTS).