|
|||||
|
|
| 路由协议的符号化测试生成 | |
| 引用本文： | 邢熠,叶新铭,谢高岗.路由协议的符号化测试生成[J].计算机学报,2010,33(3). |
| 作者姓名： | 邢熠 叶新铭 谢高岗 |
| 作者单位： | 1. 中国科学院计算技术研究所,北京,100190;内蒙古大学计算机学院,呼和浩特,010021;中国科学院研究生院,北京,100049 2. 内蒙古大学计算机学院,呼和浩特,010021 3. 中国科学院计算技术研究所,北京,100190 |
| 基金项目： | 国家自然科学基金(60403031,90604015,60903208);;国家“九七三”重点基础研究发展规划项目基金(2007CB310702);;中国科学院重大科研装备研制项目(YZ200824)资助 |
| 摘 要： | 协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把数据操作和控制都抽象为动作行为;以该语义模型为基础,扩展了行为之间的关系以及一致性测试关系;给出了基于on-the-fly策略符号测试生成与符号动态执行的算法,在符号动态执行中,使用了统计的聚类算法来进行符号的数据选择.论文最后用具体的测试例说明该算法在OSPFv3协议一致性测试上的应用. |
| 关 键 词： | 协议一致性测试 统一语义模型 符号测试生成 符号执行 数据选择 |
Symbolic Test Generation and Execution of Route Protocol |
|
| XING Yi,YE Xin-Ming,XIE Gao-Gang.Symbolic Test Generation and Execution of Route Protocol[J].Chinese Journal of Computers,2010,33(3). | |
| Authors: | XING Yi YE Xin-Ming XIE Gao-Gang |
| Affiliation: | Institute of Computing Technology/a>;Chinese Academy of Sciences/a>;Beijing 100190;School of Computer/a>;Inner Mongolia University/a>;Hohhot 010021;Graduate University of Chinese Academy of Sciences/a>;Beijing 100049 |
| Abstract: | Protocol conformance test can verify the correctness of implementation under test.Regarding the characteristic of IP network routing protocol,a symbolic test generation and execution algorithm is provided based on the on-the-fly strategy.A unified operation semantic model is constructed which can unify data operation and abstract behavior.Symbolic conformance test relationship is given from the above model.A test generation and execution algorithm based on on-the-fly strategy is proposed.The symbolic execut... |
| Keywords: | protocol conformance test unified operation semantic symbolic test generating symbolic execution data selection |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |