王建国
- 作品数：7 被引量：69H指数：4
- 供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 基于协议集成测试系统的IPv4协议一致性测试被引量：14
- 2000年
- TCP/IP协议实现的一致性测试是保证 Internet网络设备之间互连与互操作的基础 .该文基于协议集成测试环境进行了 IP(Internet protocol)协议一致性测试研究和实际测试 ,并针对 IP端系统和中继系统分别采用了分布式和远程横断式测试法 ,设计生成了 IP一致性测试集 .并且已将 IP协议的一致性测试应用到路由器的开发和研制过程中 .
- 王建国吴建平陈修环冯晓东
- 关键词：TCP/IP协议INTERNET网IPV4协议
- 集成数据流和控制流的协议测试集自动生成方法研究
- 1998年
- 测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。提出了一种基于EBE模型，集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。EBE模型只对协议的外部行为进行描述，强调变迁之间的数据依赖性。在TUGEN中，我们引入控制流测试中的UIO序列算法和描述协议不确定性的AIO树的概念，运用协议约束集来灵活地控制自动生成过程中的协议空间搜索的复杂性。并采用测试集的验证技术分析测试集的覆盖能力。TUGEN工具已运用于OSI协议和TCP／IPRFC等协议的测试生成。
- 王建国潘启澍
- 关键词：测试集计算机网络数据流控制流
- 分布式通用测试结构的形式化研究被引量：3
- 2000年
- 随着分布式系统的不断发展更新 ,CTMF(ISO/IEC 96 46 )所给出的测试方法已经不能满足实际的需要 .提出了用于分布式系统的一致性测试、互操作测试和性能测试的通用测试结构 (generic test architecture) ,并建立了通用测试结构的形式化模型 ,给出了各部件的操作语义 ,为设计开发具有灵活动态的通信结构的分布式测试系统提供了理论基础和依据 .分布式系统通用测试结构扩展了当前基于被测系统类型的测试方法 ,它可以对实际的分布式系统进行整体测试 .
- 王建国吴建平
- 关键词：分布式系统形式化通信协议
- 一种综合数据流和控制流的协议测试集自动生成法被引量：6
- 2000年
- 为了更高效地产生协议测试集 ,论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。该方法引入唯一输入 /输出序列算法和描述协议不确定性的适应性输入/输出树的概念 ,运用协议约束集控制协议空间搜索的复杂度。并采用测试集的验证技术分析测试集的覆盖能力。该方法已运用于 OSI协议和 TCP/ IP RFC协议的测试生成 ,大大提高了软件开发和协议实现的质量及进度。
- 王建国吴建平陈修环
- 关键词：计算机网络测试集控制流
- 基于扩展有限状态机的协议测试集生成研究被引量：36
- 2001年
- 与其他测试方法相比 ,主要解决了自动生成可执行测试序列的问题 .首先介绍现有的基于扩展有限状态机的测试生成算法 ,这些算法虽然结合了控制流和数据流的测试 ,但是并没有解决测试序列的可执行问题 .重点解决了包含有影响循环测试序列的可执行性问题 ,并通过预先发现循环的中断条件而减少不可用的测试路径的产生 .另外 。
- 王建国吴建平
- 关键词：有限状态机测试集生成通信协议
- 国际协议测试的发展方向被引量：1
- 2000年
- 国际通信会议是由美国电气电子工程师协会IEEE主办的系列性国际会议。1999年国际通信会议由IEEE通信协会主办,GLOBECOM协办,BC TEL负责组织,会议的程序委员会由来自加拿大、美国,法国、日本等十几个国家和地区的专家学者组成,近60多国家和地区的1 000多位有关专家、学者参加了会议。
- 吴建平王建国
- 关键词：互操作性测试
- 测试集自动生成方法中的可执行化研究被引量：10
- 2001年
- 自动生成的测试集是可执行的才具有实用意义 .讨论了在测试集自动生成系统 TU GEN中实现的参数化可执行化算法 ,分析了该算法的效果、不足及其原因 ;讨论了可执行化处理中所涉及谓词可满足性问题的复杂度和测试路径可执行性问题 ,并在此基础上进一步提出并实现了“可执行参数化”的算法 ,克服了前一算法的不足 ,提高了 TU -GEN的实用性和执行效率 ;在进行了讨论分析后 ,以实例进行了对比和说明 。
- 赵邑新王建国吴建平
- 关键词：参数化
