公开(公告)号：CN111193640B

公开(公告)日：2021-07-13

申请号：CN201911368837.0

申请日：2019-12-26

申请人： 西安交通大学

发明人： 张鹏 ,  胡刘郏 ,  刘雨潇 ,  吴慧 ,  王换招

IPC分类号： H04L12/26 ,  H04L12/24

摘要： 本发明公开了采用策略分解和符号执行的有状态数据平面故障检测方法，通过构建网络功能模型和分解上下文相关策略，使用符号执行引擎进行符号执行，生成原始测试用例；然后将原始测试用例翻译为符合数据流量规范的合法测试数据流；将测试数据流注入数据平面；比较实际测试数据流处理结果和测试数据流理论处理结果，从而实现有状态数据平面故障检测，对网络功能内部逻辑进行建模，能够对中间网络设备的内部逻辑进行验证，可以处理数据平面由于软件错误、硬件故障等产生的运行时故障；使用测试数据流进行检测，可以直接检测数据平面的状态，具有良好的可扩展性。利用策略分解和符号执行降低需要探索的状态空间大小，提高故障检测的可扩展性。

公开(公告)号：CN111193640A

公开(公告)日：2020-05-22

申请号：CN201911368837.0

申请日：2019-12-26

申请人： 西安交通大学

发明人： 张鹏 ,  胡刘郏 ,  刘雨潇 ,  吴慧 ,  王换招

IPC分类号： H04L12/26 ,  H04L12/24

摘要： 本发明公开了采用策略分解和符号执行的有状态数据平面故障检测方法，通过构建网络功能模型和分解上下文相关策略，使用符号执行引擎进行符号执行，生成原始测试用例；然后将原始测试用例翻译为符合数据流量规范的合法测试数据流；将测试数据流注入数据平面；比较实际测试数据流处理结果和测试数据流理论处理结果，从而实现有状态数据平面故障检测，对网络功能内部逻辑进行建模，能够对中间网络设备的内部逻辑进行验证，可以处理数据平面由于软件错误、硬件故障等产生的运行时故障；使用测试数据流进行检测，可以直接检测数据平面的状态，具有良好的可扩展性。利用策略分解和符号执行降低需要探索的状态空间大小，提高故障检测的可扩展性。