姜振海

作品数：3被引量：2H指数：1
导出分析报告
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文主题：ISISTCL协议一致性测试有限状态机更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机工程与应用》《西安交通大学学报》《中国科学技术大学学报》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划华为科技基金项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于测试序列失败树的动态测试方法被引量：1
《西安交通大学学报》2007年第2期149-152,249,共5页赵保华 高存皓 姜振海 周颢 潘全科 
国家自然科学基金重大研究计划资助项目(90104010);国家自然科学基金资助项目(60602016;60241004);国家重点基础研究发展规划资助项目(2003CB314801);华为基金资助项目(YJCB2006044TS)
针对传统的测试方法按照静态的顺序执行预先生成的固定测试集,而实际测试范围可能被缩小,同时测试结果受到测试序列间、测试序列内的影响等问题,提出了一种构造测试序列失败树(TSFT)并用其指导动态测试的方法.该方法考虑到了测试序列之...
关键词：动态测试 测试效率 测试覆盖率 测试序列失败树 
ISIS协议一致性测试系统的设计被引量：1
《计算机工程与应用》2006年第18期120-122,129,共4页姜振海 赵保华 周颢 
国家自然科学基金资助项目(编号:90104010;60241004);国家973基础研究发展规划资助项目(编号:2003CB314801)
论文针对ISIS协议的特点,介绍了一种协议一致性测试系统的设计方法。该方法的核心思想是基于虚拟测试体。运用该方法实现了基于多测试体、具有控制通道的测试系统,系统使用TCL作为测试例描述语言,具有很强的测试能力以及良好的灵活性和...
关键词：协议测试 一致性测试 ISIS TCL 
一种提高协议测试效率的新方法
《中国科学技术大学学报》2006年第8期882-886,共5页赵保华 姜振海 
国家自然科学基金重大项目(90104010);国家自然科学基金(60241004);国家"973"计划(2003CB314801)资助
针对使用传统的方法提高协议测试效率存在的问题,从测试序列测试顺序的角度,首次引入了测试序列动态重排序的方法,对不同的错误情况,提出三种动态排序算法.讨论了测试序列动态重排序对测试效率产生的影响.实验仿真验证了所提动态排序方...
关键词：一致性测试 动态重排序 测试效率 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部