符号测试生成相关硕士博士期刊学术论文 - 信丰网

符号测试生成相关论文

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

协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法......

期刊

协议一致性测试统一语义模型符号测试生成符号执行数据选择 protocol conformance test unified operation sema

看过本文同时还关注