一致性测试中的时间约束及测试用例生成算法

• 作者: 柯尧 赵保华
• 来源期刊: 西安交通大学学报
• 关键词: 一致性测试 时间约束 边界网关协议
• 年，卷（期）: 2006,（4）
• 所属期刊栏目: 专题研究
• 页码范围: 381-385
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2006.04.003

摘要

针对协议测试理论中的时间约束问题,从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束,同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法.在控制流测试中,先生成引导序列,然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置.在数据流测试中,等待时间只需按照需求描述和约束来设定.对边界网关协议进行测试的结果表明,所提算法能适应不同的网络拓扑环境,其生成的测试用例在测试中能够有效降低测试代价.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵保华	中国科学技术大学计算机科学与技术系	152	1481	21.0	28.0
5	柯尧	中国科学技术大学计算机科学与技术系	2	26	2.0	2.0