《计算机学报》文章摘要   全文下载
文章题目	路由协议的符号化测试生成
作者	邢熠1)，2)，3) 叶新铭2) 谢高岗1)
作者单位	1)(中国科学院计算技术研究所 北京 100190) 2)(内蒙古大学计算机学院 呼和浩特 010021) 3)(中国科学院研究生院 北京 100049)
发表年份	2010
发表月份	3期(589—595)
文章摘要	摘要 协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点，提出基于on-the-fly策略符号测试生成与动态执行的算法：建立了一种新的统一符号语义模型，该模型把数据操作和控制都抽象为动作行为；以该语义模型为基础，扩展了行为之间的关系以及一致性测试关系；给出了基于on-the-fly策略符号测试生成与符号动态执行的算法，在符号动态执行中，使用了统计的聚类算法来进行符号的数据选择.论文最后用具体的测试例说明该算法在OSPFv3协议一致性测试上的应用. 关键词 协议一致性测试；统一语义模型；符号测试生成；符号执行；数据选择 中图法分类号 TP393 DOI号: 10.3724/SP.J.1016.2010.00589