公开(公告)号：CN104579989A

公开(公告)日：2015-04-29

申请号：CN201510018873.X

申请日：2015-01-14

Applicant: 清华大学

Inventor： 徐恪 ,  陈善根 ,  沈蒙

IPC: H04L12/771

Abstract: 本发明公开了一种基于路由交换范式的构件功能一致性验证方法，包括：读取待验证构件源程序代码；对待验证构件源程序代码进行预处理，并根据预处理后的待验证构件源程序代码生成对应的分块流程图；将分块流程图按照待验证构件源程序代码中的控制流程及约束条件生成至少一个单支树；以及根据构件功能定义对至少一个单支树进行构件功能一致性验证。该方法通过根据构件功能定义对简单的单支树进行构件功能一致性验证，加快了验证过程，提高了验证效率，并且，通过对于路由构件源程序代码进行分块和流程图分解，能够较为方便地发现代码结构缺陷，为缺陷改进打下良好的基础。本发明还公开了一种基于路由交换范式的构件功能一致性验证装置。

公开(公告)号：CN104579989B

公开(公告)日：2017-11-21

申请号：CN201510018873.X

申请日：2015-01-14

Applicant: 清华大学

Inventor： 徐恪 ,  陈善根 ,  沈蒙

IPC: H04L12/771

Abstract: 本发明公开了一种基于路由交换范式的构件功能一致性验证方法，包括：读取待验证构件源程序代码；对待验证构件源程序代码进行预处理，并根据预处理后的待验证构件源程序代码生成对应的分块流程图；将分块流程图按照待验证构件源程序代码中的控制流程及约束条件生成至少一个单支树；以及根据构件功能定义对至少一个单支树进行构件功能一致性验证。该方法通过根据构件功能定义对简单的单支树进行构件功能一致性验证，加快了验证过程，提高了验证效率，并且，通过对于路由构件源程序代码进行分块和流程图分解，能够较为方便地发现代码结构缺陷，为缺陷改进打下良好的基础。本发明还公开了一种基于路由交换范式的构件功能一致性验证装置。