基于形式化方法的协议测试理论

利用形式化方法构建了协议测试理论。定义了被测试方 UNDER TESTER、协议说明 SPECs、测试需求 REQs以及协议测试所关注的 U NDER TESTER和测试需求之间的完成关系 imp。作为一个实验活动 ,测试的依据被定义为测试集 TESTs,测试的执行原则被定义为 3个操作 passes,fails,incons,并利用判决函数 Verdict得到测试结果。在上述基础上得到“协议测试”的概念。为了更好地将协议测试的形式化理论应用到实践中 ,通过一种可被编程的形式化语言——输入 /输出变迁系统 (IOTS)将上述理论进行了更具体的形式化描述。