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

• 作者: 叶新铭 谢高岗 邢熠
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 协议一致性测试 统一语义模型 符号测试生成 符号执行 数据选择
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 589-595
• 页数: 7页
• 分类号: TP393
• 字数: 6045字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2010.00589

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶新铭	内蒙古大学计算机学院	100	798	11.0	25.0
2	谢高岗	中国科学院计算技术研究所	89	1199	19.0	31.0
3	邢熠	中国科学院计算技术研究所	3	3	1.0	1.0