| 集成数据流和控制流的协议测试集自动生成方法研究 |
| |
| 引用本文： | 王建国 潘启澍. 集成数据流和控制流的协议测试集自动生成方法研究[J]. 哈尔滨工业大学学报, 1998, 30(4): 15-20 |
| |
| 作者姓名： | 王建国 潘启澍 |
| |
| 作者单位： | 清华大学(王建国)，哈尔滨工业大学(潘启澍) |
| |
| 基金项目： | 国家自然科学基金!69473011 |
| |
| 摘 要： | 测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支，提出了一种基于ＥＢＥ模型，集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现ＴＵＧＥＮ。ＥＢＥ模型中对协议的外部行为进行描述，强调变迁之间的数据依赖性。在ＴＵＧＥＮ中，我们引入控制流测试中的ＵＩＯ序列算法和描述协议不确定性的ＡＩＯ树的概念，运用协议约束集来灵活地控制自动生成过程中的协议空间搜索的复杂性，并采用测试集的验证
|
| 关 键 词： | 测试集 计算机网络 数据流 控制流 协议测试 |
An Automatic Test Suite Generator Based on Data-Flow and Data-selection |
| |
| Wang Jianguo, Pan Qishu. An Automatic Test Suite Generator Based on Data-Flow and Data-selection[J]. Journal of Harbin Institute of Technology, 1998, 30(4): 15-20 |
| |
| Authors: | Wang Jianguo Pan Qishu |
| |
| Affiliation: | Wang Jianguo; Pan Qishu (Tsinghua University) (Harbin Institute of Technology) |
| |
| Abstract: | TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol. UIO sequence algorithm is introduced to determine the state and the concept of AIO tree to solve the nondeteminism of a protocol and the prolocol constraint set is used to control the complexity of exploring space. Furthermore, a test suite is optimally generated by simulate testing. |
| |
| Keywords: | Protocol conformance testing test suite external behavior expression |
| 本文献已被 CNKI 维普 等数据库收录！ |
