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

说明书

技术领域

本发明涉及软件测试技术领域，具体地，涉及一种基于路径的软件实现与设计一致性验证方法及系统。

背景技术

在过去的几十年里,软件数量激增,同时软件的代码量和代码复杂度不断增加,软件测试工作的复杂程度也随之不断提高，大量的软件产品导致软件测试工作需要高效的完成,自动化的测试工具已经成为软件测试的迫切需求。软件实现与设计一致性验证是指对已完成软件系统,验证其功能实现是否按照软件设计说明书的要求完成,是一种非常重要的测试工作。黑盒测试只能保证软件完成了指定的功能,而不能验证其完成的方式；人工代码走查和代码审查的白盒测试需要测试人员有丰富开发经验,充分理解源代码、系统设计结构以及各个代码模块实现方法,这对测试人员有着十分高的要求并且测试效率低，易出错，对大型软件的分析工作是一个十分耗时且昂贵的工作。

现有技术中提出了一种基于Module Documentation-based Testing (MD-Test)的测试方法,该方法从形式化的设计文档中提取软件设计信息,指导测试工作,自动生成测试用例,执行测试用例,计算测试结果。但是该方法是基于严格格式化的软件设计文档的,并不考虑软件代码实际的实现过程,不能验证软件实现方法是否与设计说明书中的方法一致。另外还有一种基于场景的分析方法来发现执行路径中的错误,基于格式化的说明文档中自动生成测试用例检测执行路径的正确性，但是该方法需要分析每一个场景下的每一条执行路径，需要产生大量的测试用例。

针对上述问题，本发明提出了一种基于路径的软件实现与设计一致性验证方法及系统。

发明内容

本发明所要解决的技术问题是提供一种基于路径的软件实现与设计一致性验证方法及系统，用于解决软件实现与设计一致性验证的技术问题。

本发明解决上述技术问题的技术方案如下：一种基于路径的软件实现与设计一致性验证方法，包括：

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

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

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

本发明的技术方案还包括一种基于路径的软件实现与设计一致性验证系统，包括：

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

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

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

本发明的有益效果是：本发明设计了一种基于函数特征的函数功能提取方法，能准确地获得被测软件系统的功能结构，并进一步实现基于函数调用路径的软件实现与设计方法，丰富了软件测试方法，为设计文档的自动化测试提供了新的思路，能够帮助测试人员完成对源代码的分析，自动提取实现系统的功能与实现方法，提高了软件实现与设计的一致性验证效率。

附图说明

图1为本发明所述的基于路径的软件实现与设计一致性验证方法的流程示意图；

图2为本发明实施例中的函数功能提取过程示意图；

图3为本发明实施例中的函数特征相似度计算过程示意图；

图4为本发明所述的基于路径的软件实现与设计一致性验证系统的结构示意图。

具体实施方式

以下结合附图对本发明的原理和特征进行描述，所举实例只用于解释本发明，并非用于限定本发明的范围。

本发明以函数调用路径为基础建立模型,认为软件实现中的一条函数调用路径实现了软件系统的一个功能。基于这样的思路，首先对带有功能描述的函数调用关系图和带有功能描述的函数调用路径进行重新定义，即是定义了系统功能关系图和系统功能路径。