路由协议的符号化测试生成

摘要：

协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把数据操作和控制都抽象为动作行为;以该语义模型为基础,扩展了行为之间的关系以及一致性测试关系;给出了基于on-the-fly策略符号测试生成与符号动态执行的算法,在符号动态执行中,使用了统计的聚类算法来进行符号的数据选择.论文最后用具体的测试例说明该算法在OSPFv3协议一致性测试上的应用.

关键词：协议一致性测试、统一语义模型、符号测试生成、符号执行、数据选择

所属期刊栏目：33

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金60403031,90604015,60903208;国家"九七三"重点基础研究发展规划项目基金2007CB310702;中国科学院重大科研装备研制项目YZ200824

在线出版日期：2010-05-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：589-595