柯尧
- 作品数:6 被引量:22H指数:3
- 供职机构:中国科学技术大学更多>>
- 发文基金:国家重点基础研究发展计划国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 一致性测试中的时间约束及测试用例生成算法被引量:3
- 2006年
- 针对协议测试理论中的时间约束问题,从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束,同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法.在控制流测试中,先生成引导序列,然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置.在数据流测试中,等待时间只需按照需求描述和约束来设定.对边界网关协议进行测试的结果表明,所提算法能适应不同的网络拓扑环境,其生成的测试用例在测试中能够有效降低测试代价.
- 赵保华柯尧
- 关键词:边界网关协议
- 基于组件系统的可靠性分析
- 软件可靠性是评估软件一个重要指标.现有的软件可靠评估方法一般都是在软件开发完成之后使用测试数据进行分析.本文从对组件层次型系统的可靠性出发,考虑了层次内部组件的相关性,给出了一个和实际软件相符合的可靠性评估模型,根据这个...
- 柯尧赵保华
- 关键词:组件IPV6
- 文献传递
- 基于构造类别代数的协议描述及其测试序列生成方法
- 基于构造类别代数的协议描述及其测试序列生成方法是一种用于通信协议一致性测试的方法,通信协议描述方法为:确定协议文本中的数据部分和控制部分,将其作为待描述的实体对象;对某个实体对象,根据协议文本的描述,对某个实体对象,协议...
- 赵宝华屈玉贵周颢孙宇霖周晓煜柯尧
- 文献传递
- 协议一致性冒烟测试系统的设计被引量:4
- 2006年
- 协议一致性冒烟测试是在协议软件开发过程中进行的突显功能测试.冒烟测试系统需要解决测试功能选择、测试用例设计、测试系统实现以及二次开发接口等问题,本文在协议形式化描述模型上使用贪心算法进行测试功能选择,将测试需求转换成测试目的后自动生成测试用例,设计并实现了一个测试系统和一套完整的二次开发接口,并使用该系统对IP协议栈的一些协议进行了测试.
- 赵保华柯尧
- 关键词:贪心算法
- 协议分布式测试理论及系统可靠性研究
- 本文在协议分布式测试体系结构的基础上,讨论了分布式测试中的控制问题和观察问题。分布式测试中的控制问题指的是在多端口状态下,由于没有全局时钟,测试体无法确定向IUT发送输入的时刻;观察问题指的是测试体无法确定开始等待接收输...
- 柯尧
- 关键词:通信协议软件测试分布式系统
- 基于组件系统的可靠性分析被引量:12
- 2005年
- 在已有层次型组件系统可靠性模型的基础上,分析了层次内各组件之间的相关性,给出了适用性强且符合层次型软件的可靠性评估模型,并将其推广到评估组件系统可靠性的一般模型.使用该模型能够在开发过程中对软件可靠性进行预测,并给出了对IPv6协议软件子集可靠性预测.
- 柯尧赵保华屈玉贵
- 关键词:组件