[发明专利]一种基于路径的软件实现与设计一致性验证方法及系统

权利要求书

1.一种基于路径的软件实现与设计一致性验证方法，其特征在于，包括：

基于软件设计说明书生成设计函数调用关系图，根据设计函数调用关系图生成设计函数调用路径，再根据设计函数调用路径建立被测软件系统的设计功能簇模型；

基于源代码生成实际函数调用关系图，根据实际函数调用关系图生成实际函数调用路径，并基于函数特征从源代码中提取出函数功能回填到实际函数调用路径中，再根据实际函数调用路径建立被测软件系统的实际功能簇模型；

比较设计功能簇模型与实际功能簇模型，验证被测软件系统的功能实现是否达到软件设计说明书的要求。

2.根据权利要求1所述的一种基于路径的软件实现与设计一致性验证方法，其特征在于，所述基于函数特征从源代码中提取出函数功能具体包括：

预处理源代码；

从源代码中提取函数特征；

将提取的函数特征与已知函数功能的函数模板集中的函数特征进行相似度计算，若相似度达到设定的阈值，则认定被测函数的函数功能与函数模板集中对应的函数功能一致；

将获得的函数功能及功能实现方式标记至函数的功能描述中，完成函数功能的提取。

3.根据权利要求2所述的一种基于路径的软件实现与设计一致性验证方法，其特征在于，所述函数特征包括统计特征和结构特征，且所述将提取的函数特征与已知函数功能的函数模板集中的函数特征进行相似度计算具体包括：

基于向量相似度计算提取出的统计特征与函数模板集中的统计特征的相似度，再从中选择相似度最高的模板作为结构特征对比的模板集；

基于图编辑距离计算提取出的结构特征与选择出的模板集中的结构特征的相似度，将相似度最高的模板作为计算结果。

4.根据权利要求3所述的一种基于路径的软件实现与设计一致性验证方法，其特征在于，采用flex生成词法分析器提取函数的统计特征和结构特征，并以JSON格式存储提取出的函数的统计特征和结构特征。

5.根据权利要求1所述的一种基于路径的软件实现与设计一致性验证方法，其特征在于，所述比较设计功能簇模型与实际功能簇模型具体包括：

按自顶向下的对比顺序，从根结点开始，以深度搜索的方式对比两个功能簇模型中每一对具有相同函数名称的函数，对比的内容为两个函数的功能描述。

6.根据权利要求5所述的一种基于路径的软件实现与设计一致性验证方法，其特征在于，所述验证被测软件系统的功能实现是否达到软件设计说明书的要求具体包括：

若进行对比的两个函数的功能描述一致，则将两个函数标记为真，表示该函数对应的功能点的功能实现与软件设计说明书一致。

7.一种基于路径的软件实现与一致性验证系统，其特征在于，包括：

设计功能簇模型构建模块，其用于根据软件设计说明书生成设计函数调用关系图，根据设计函数调用关系图生成设计函数调用路径，再根据设计函数调用路径建立被测软件系统的设计功能簇模型；

实际功能簇模型构建模块，其用于根据源代码生成实际函数调用关系图，根据实际函数调用关系图生成实际函数调用路径，并基于函数特征从源代码中提取出函数功能回填到实际函数调用路径中，再根据实际函数调用路径建立被测软件系统的实际功能簇模型；

功能簇比对模块，其用于比较设计功能簇模型与实际功能簇模型，验证被测软件系统的功能实现是否达到软件设计说明书的要求。

8.根据权利要求7所述的一种基于路径的软件实现与一致性验证系统，其特征在于，所述实际功能簇模型构建模块包括有函数功能提取模块，其用于根据函数特征从源代码中提取出函数功能，且所述函数功能提取模块又包括：

源代码预处理模块，用于预处理源代码；

函数特征提取模块，用于从源代码中提取函数特征；

函数功能获取模块，用于将提取的函数特征与已知函数功能的函数模板集中的函数特征进行相似度计算，若相似度达到设定的阈值，则认定被测函数的函数功能与函数模板集中对应的函数功能一致；

函数功能标记模块，用于将获得的函数功能及功能实现方式标记至函数的功能描述中，完成函数功能的提取。