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

Time Constraint and Test Case Generation in Conformance Testing

作　　者：赵保华[1] 柯尧[1] 

机构地区：[1]中国科学技术大学计算机科学与技术系

出　　处：《西安交通大学学报》2006年第4期381-385,共5页Journal of Xi'an Jiaotong University

基　　金：国家自然科学基金重大研究计划资助项目(90104010);国家自然科学基金资助项目(60241004);国家重点基础研究规划资助项目(2003CB314801);信息产业部资助项目(2005C56)

摘　　要：针对协议测试理论中的时间约束问题,从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束,同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法.在控制流测试中,先生成引导序列,然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置.在数据流测试中,等待时间只需按照需求描述和约束来设定.对边界网关协议进行测试的结果表明,所提算法能适应不同的网络拓扑环境,其生成的测试用例在测试中能够有效降低测试代价.Focusing on the time constraint problem in protocol testing theories, a strict constraint over time parameters in protocol testing was presented from several conformance testing methods, and a test case generation algorithm was given under the strict time constraint based on waiting, coordination and synchronizing time. In control flow testing, homing sequence is created first, then the waiting time is set in homing and checking sequence according to the network topologies and events. In data flow testing, the waiting time is set only according to requirement description and constraint. Test result of BGP （border gateway protocol） indicates that this algorithm can adapt different network topologies,and the test cases created by the algorithm can effectively reduce test costs.

关 键 词：一致性测试 时间约束 边界网关协议 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]