| 一种动态协议一致性测试方法 |
| |
| 引用本文： | 吕欣岩,赵保华,周颢. 一种动态协议一致性测试方法[J]. 中国科学技术大学学报, 2005, 35(3): 398-404 |
| |
| 作者姓名： | 吕欣岩 赵保华 周颢 |
| |
| 作者单位： | 1. 中国科学技术大学计算机系,安徽,合肥,230027
2. 中国科学技术大学计算机系,安徽,合肥,230027;中国科学院计算机科学实验室 |
| |
| 基金项目： | 国家自然科学基金(90104010和60241004)，国家973计划项目(2003CB314801). |
| |
| 摘 要： | 利用约束满足技术实现了一种新的动态协议一致性测试方法，解决了由于固定测试集的错误覆盖度、测试用例的相关性，以及实测结果的影响，导致实际测试中存在执行效率不高和实际测试范围可能被缩小的问题．
|
| 关 键 词： | 一致性测试 动态测试 错误定位 |
| 文章编号： | 0253-2778(2005)03-0798-07 |
| 修稿时间： | 2004-03-01 |
A Dynamic Protocol Conformance Testing Method |
| |
| LV Xin-yan,ZHAO Bao-hua,ZHOU Hao. A Dynamic Protocol Conformance Testing Method[J]. Journal of University of Science and Technology of China, 2005, 35(3): 398-404 |
| |
| Authors: | LV Xin-yan ZHAO Bao-hua ZHOU Hao |
| |
| Abstract: | A new dynamic protocol conformance testing method is introduced, which makes use of constraint and satisfaction technology. The method can solve problems of low efficiency and reduction of actual testing range, which result from the correlativity of test cases, the fault coverage in fixed test suites and the actual test result. |
| |
| Keywords: | the conformance testing dynamic testing fault location |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
