节点文献
一种可变测试集的协议一致性测试方法
A Protocol Conformance Testing Method about the Alterable Test Suite
【摘要】 目前常用的协议一致性测试的测试方法是首先对协议规范建模 ,然后通过模型生成测试集 ,最后执行测试集 .这种方法存在执行效率不高和实际测试范围可能被缩小的问题 ,为此本文提出一种可变测试集的方法 ,通过动态执行测试集提高其执行效率 ,同时从与协议实现无关的角度扩大协议的实际测试范围
【Abstract】 The common methods of the protocol conformance testing include three steps:create model by the protocol specification;generate test suite from the model;execute this test suite.There are two problems in these methods:the first is low efficiency;the second is the actual range of testing being reduced.In this paper,a method about alterable test suite will be introduced to improve the efficiency by dynamically executing the test suite,and expand the actual range of the protocol conformance testing without depending on the protocol implementation.
【关键词】 一致性测试;
固定测试集;
可变测试集;
测试树;
【Key words】 the conformance testing; fixed test suite; alterable test suite; testing tree;
【Key words】 the conformance testing; fixed test suite; alterable test suite; testing tree;
【基金】 国家自然科学基金 (No .90 1 0 4 0 1 0 ,No.60 2 4 1 0 0 4 );国家 863项目 (No .2 0 0 1AA1 2 1 0 1 6);国家 973计划项目 (No .2 0 0 3CB31 4 80 0 ) ;中国科学院计算机科学重点实验室基础研究课题基金
- 【文献出处】 电子学报 ,Acta Electronica Sinica , 编辑部邮箱 ,2003年S1期
- 【分类号】TP311
- 【被引频次】11
- 【下载频次】93