摘要
协议测试对于保证协议实现的正确性起着至关重要的作用 .现在研究较多的测试方法是主动测试 ,被动测试则是一种新兴的测试方法 .对两种测试思想进行比较 ,提出了将两者结合以获得更好测试质量和测试效率的算法 ,即先对 IUT进行被动测试 ,通过测试收集一些有用的启发式信息 ,然后再将这些信息用于指导后续的主动测试 .此算法已被用于 BGP协议的测试 。
Protocol testing plays an important role in guarantying the correctness of protocol implementations. Active testing has been fully studied in the past. Passive testing, a new approach for testing, arises these years. This paper compares the two approaches and then proposes an algorithm to combine them in order to get better quality and efficiency in protocol testing. The main idea of the algorithm is to perform passive testing on IUT first, through which we can collect some helpful information that can be used to guide the following active testing. The algorithm has been used for the protocol testing for BGP, and the experimental results show that our algorithm is helpful in improving the efficiency of protocol testing.
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第12期2084-2087,共4页
Journal of Chinese Computer Systems
基金
国家自然科学基金重大研究计划 ( 90 10 40 10 )资助
国家自然科学基金 ( 60 2 410 0 4)资助
国家 863项目( 2 0 0 1AA12 10 16)资助
国家"九七三"项目 ( 2 0 0 3 CB3 14 80 1)资助
关键词
协议测试
主动测试
被动测试
算法
protocol testing
active testing
passive testing
algorithm