姜振海
- 作品数：4 被引量：3H指数：1
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划华为科技基金项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 协议的动态测试
- 网络技术在近二三十年来飞速发展，随着Internet的迅速普及，网络规模不断扩大，不幸的是，随着网络规模的增加，出现问题的可能性也在增加，这就对通信协议测试技术提出了巨大的挑战。传统的通信协议测试方法是根据一定的测试序列...
- 姜振海
- 关键词：协议一致性测试有限状态机
- 文献传递
- 一种提高协议测试效率的新方法
- 2006年
- 针对使用传统的方法提高协议测试效率存在的问题,从测试序列测试顺序的角度,首次引入了测试序列动态重排序的方法,对不同的错误情况,提出三种动态排序算法.讨论了测试序列动态重排序对测试效率产生的影响.实验仿真验证了所提动态排序方法比传统的静态测试在测试效率上有较大改进.
- 赵保华姜振海
- ISIS协议一致性测试系统的设计被引量：1
- 2006年
- 论文针对ISIS协议的特点,介绍了一种协议一致性测试系统的设计方法。该方法的核心思想是基于虚拟测试体。运用该方法实现了基于多测试体、具有控制通道的测试系统,系统使用TCL作为测试例描述语言,具有很强的测试能力以及良好的灵活性和可扩展性。运用该系统成功对多个ISIS协议实现进行了测试,本文列举了测试实例和测试结果。
- 姜振海赵保华周颢
- 关键词：ISISTCL
- 一种基于测试序列失败树的动态测试方法被引量：2
- 2007年
- 针对传统的测试方法按照静态的顺序执行预先生成的固定测试集,而实际测试范围可能被缩小,同时测试结果受到测试序列间、测试序列内的影响等问题,提出了一种构造测试序列失败树(TSFT)并用其指导动态测试的方法.该方法考虑到了测试序列之间的相关性和已测结果对后续测试的影响,通过TSFT指导测试序列的动态执行,同时还考虑了引导序列和验证序列对测试结果的影响,在避开TSFT的前提下,可在引导序列和验证序列集合中进行搜索和替换,动态地生成新的有效测试序列.实验结果表明,所提方法避免了一些重复测试以及错误转换对正确转换的测试结果的影响,较明显地提高了实际的测试效率和测试覆盖率.
- 赵保华高存皓姜振海周颢潘全科
