一致性测试中的时间约束及测试用例生成算法
赵保华1,2,柯尧1
(1.中国科学技术大学计算机科学与技术系，230027,合肥；2.中国科学院软件研究所计算机科学重点实验室，100080,北京）
摘要:针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法.在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置.在数据流测试中，等待时间只需按照需求描述和约束来设定.对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价.
关键词:一致性测试；时间约束；边界网关协议
中图分类号:TP311文献标识码:A文章编号:0253-987X(2006)04-0381-05