| 一种综合数据流和控制流的协议测试集自动生成法 |
| |
| 引用本文： | 王建国,吴建平,陈修环.一种综合数据流和控制流的协议测试集自动生成法[J].清华大学学报(自然科学版),2000,40(3):117-120. |
| |
| 作者姓名： | 王建国 吴建平 陈修环 |
| |
| 作者单位： | 清华大学,计算机科学与技术系,北京,100084 |
| |
| 基金项目： | 国家自然科学基金!6972 5 0 0 3 ,69682 0 0 2 |
| |
| 摘 要： | 为了更高效地产生协议测试集 ,论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。该方法引入唯一输入 /输出序列算法和描述协议不确定性的适应性输入/输出树的概念 ,运用协议约束集控制协议空间搜索的复杂度。并采用测试集的验证技术分析测试集的覆盖能力。该方法已运用于 OSI协议和 TCP/ IP RFC协议的测试生成 ,大大提高了软件开发和协议实现的质量及进度。
|
| 关 键 词： | 协议一致性测试 测试集 外部行为描述(EBE) |
Automatic test suite generator based on data-flow and data-selection |
| |
| WANG Jianguo,WU Jianping,CHEN Xiuhuan.Automatic test suite generator based on data-flow and data-selection[J].Journal of Tsinghua University(Science and Technology),2000,40(3):117-120. |
| |
| Authors: | WANG Jianguo WU Jianping CHEN Xiuhuan |
| |
| Abstract: | This paper presents a new method for generating conformance test suites which integrate the data flow and control flow tests. The method is based on the formal EBE model that specifies only the external behavior of a protocol. The UIO sequence algorithm is introduced to determine the state and the concept of the AIO tree to solve the undetermined aspects of a protocol. The protocol constraint set is used to control the complexity of the explored space. The optimal test suite can be generated by simulation testing. The new method, TUGEN, has been applied for conformance test suite generation of TCP/IP protocols. |
| |
| Keywords: | protocol conformance testing test suite external behavior expression |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
