%0 Journal Article %T 一种可变测试集的协议一致性测试方法 %A 吕欣岩 %A 赵保华 %A 屈玉贵 %J 电子学报 %P 2179-2182 %D 2003 %X 目前常用的协议一致性测试的测试方法是首先对协议规范建模,然后通过模型生成测试集,最后执行测试集.这种方法存在执行效率不高和实际测试范围可能被缩小的问题,为此本文提出一种可变测试集的方法,通过动态执行测试集提高其执行效率,同时从与协议实现无关的角度扩大协议的实际测试范围. %K 一致性测试 %K 固定测试集 %K 可变测试集 %K 测试树 %U http://www.ejournal.org.cn/CN/abstract/abstract7425.shtml