柯尧

作品数:3被引量:15H指数:2
导出分析报告
供职机构:中国科学技术大学更多>>
发文主题:可靠性分析组件系统组件通信协议贪心算法更多>>
发文领域:自动化与计算机技术电子电信更多>>
发文期刊:《西安交通大学学报》《小型微型计算机系统》《北京邮电大学学报》更多>>
所获基金:国家重点基础研究发展计划国家自然科学基金国家重点实验室开放基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-3
视图:
排序:
协议一致性冒烟测试系统的设计被引量:2
《小型微型计算机系统》2006年第11期2146-2149,共4页赵保华 柯尧 
国家自然科学基金重大研究计划项目(90104010)资助;国家"九七三"项目(2003CB314801)资助;国家自然科学基金项目(60241004)资助.
协议一致性冒烟测试是在协议软件开发过程中进行的突显功能测试.冒烟测试系统需要解决测试功能选择、测试用例设计、测试系统实现以及二次开发接口等问题,本文在协议形式化描述模型上使用贪心算法进行测试功能选择,将测试需求转换成测...
关键词:冒烟测试 贪心算法 测试目的 
一致性测试中的时间约束及测试用例生成算法被引量:2
《西安交通大学学报》2006年第4期381-385,共5页赵保华 柯尧 
国家自然科学基金重大研究计划资助项目(90104010);国家自然科学基金资助项目(60241004);国家重点基础研究规划资助项目(2003CB314801);信息产业部资助项目(2005C56)
针对协议测试理论中的时间约束问题,从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束,同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法.在控制流测试中,先生成引导序列,然后按照测试拓扑环境设置...
关键词:一致性测试 时间约束 边界网关协议 
基于组件系统的可靠性分析被引量:11
《北京邮电大学学报》2005年第6期115-119,共5页柯尧 赵保华 屈玉贵 
自然科学基金重大研究计划项目(90104010);国家"973计划"项目(2003CB314801);自然科学基金项目(60241004);网络与交换技术国家重点实验室资助项目
在已有层次型组件系统可靠性模型的基础上,分析了层次内各组件之间的相关性,给出了适用性强且符合层次型软件的可靠性评估模型,并将其推广到评估组件系统可靠性的一般模型.使用该模型能够在开发过程中对软件可靠性进行预测,并给出了对I...
关键词:组件 软件可靠性 层次模型 
检索报告 对象比较 聚类工具 使用帮助 返回顶部