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

Symbolic Test Generation and Execution of Route Protocol

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

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 execution data selection can be undertaken with the clustering algorithms.The method is illuminated with the example of the generating of OSPFv3 protocol conformance test cases.