本发明涉及函数式编程和程序分析领域，尤其涉及一种基于高阶函数的代码依恋检测方法。
背景技术：
：：1、代码依恋就是一种代码异味，是指相比于自身所处的类，某个方法更依赖于其它类，一般情况下主要发生在调取数据时，某个方法为了计算某值，从另一个类中调用诸多的取值方法。但是，代码依恋在一定程度上增加了软件模块的耦合度，从而使系统中一个小的改变可能会致使一系列不可预知的风险。作为程序的开发者应该始终追求低耦合和高内聚。许多实证研究调查了耦合和内聚指标与外部质量指标之间的关系。一方面，已经表明耦合度可以作为易错类的预测因子。另一方面，引起的变化(涟漪效应，可变性)和耦合度之间高度正相关。binkley等学者表明，低耦合模块(通过耦合依赖度量来衡量)需要的维护工作相对较少，并且维护故障和运行时故障也会相对减少。2、当前，已经提出了诸多方法检测代码依恋。然而，现有的代码依恋检测方法存在一些不足之处。首先，大部分项目代码量大，结构复杂，不同的开发者有不同的编码样式。并且，目前为止学术界还没有对每种代码依恋有统一的定义。其次，上下文信息在代码异味识别过程中有着至关重要的作用，这导致现有检测方法以及静态代码分析工具在识别代码异味上存在一定误差，因为这些工具通常使用阈值方法来检测代码异味并且很少考虑代码所在上下文信息。最后，不同检测工具之间的一致性很低，不太可能产生同样的检测结果，而且很难找到比较这些检测结果的标准，即正确标注好的数据集。同时数据集的选取也十分有难度，若开发人员自己标注的代码异味，难免具有主观性，而目前官方标注的数据集主要是代码异味领域较知名的学者在发表论文中提到的开源数据集，但这些数据集数量较少，选取的软件系统源码也比较局限。技术实现思路1、本部分的目的在于概述本发明的实施例的一些方面以及简要介绍一些较佳实施例。在本部分以及本技术的说明书摘要和发明名称中可能会做些简化或省略以避免使本部分、说明书摘要和发明名称的目的模糊，而这种简化或省略不能用于限制本发明的范围。2、鉴于上述现有存在的问题，提出了本发明。3、因此，本发明提供一种基于高阶函数的代码依恋方法，利用函数式编程中的高阶函数特性来精确地检测给定程序中是否存在代码依恋。4、为解决上述技术问题，本发明提供如下技术方案，一种基于高阶函数的代码依恋检测方法，包括：5、程序预处理，生成识别多态调用方法名的虚函数表，构造函数调用图，构建每个过程高阶函数形式的函数摘要，通过生成的高阶函数形式的函数摘要，调用点处对函数摘要的函数参数进行相应代入，获取过程间由于过程调用和参数传递产生的代码依恋值信息，将计算得到的依恋值信息进行汇总，获取每个类中的每个方法的依恋度量值，检测程序中是否存在代码依恋。6、作为本发明所述的一种基于高阶函数的代码依恋检测方法的一种优选方案，其中：所述程序预处理包括生成待检测程序识别多态调用方法的虚函数表，对程序进行类层次分析，获取类之间继承关系，生成程序的中间表示，根据虚函数在中间表示中的特征，识别虚函数调用，构建完整的函数调用图。7、作为本发明所述的一种基于高阶函数的代码依恋检测方法的一种优选方案，其中：所述虚函数表包括：8、bitcast，表示将类实例指针this类型转换为虚函数的指针的指针的指针类型；9、load，解引用this得到vtable指针，解引用得到虚函数的指针；10、getelementptr，计算vtable[index]得到要调用的虚函数指向指针的指针；11、call，调用虚函数；12、根据getelementptr语句，获取虚函数的基类类型btype和表内偏移量offset,通过查询原虚函数表，获取调用的虚函数名称。13、作为本发明所述的一种基于高阶函数的代码依恋检测方法的一种优选方案，其中：所述构建每个过程高阶函数形式的函数摘要包括根据构建的简化的函数调用图的逆向拓扑排序序列，确定子过程的分析顺序，定义一个参数集合f，包含每个形参对应的对象类型，用高阶函数的参数初始化过程p的对象类型表k，依恋值信息集c为空，遍历过程p中每条指令，根据指令类型，获取p中实例化的对象可能的类型信息和方法自依恋值，和依恋值信息集c，重复步骤，直至过程结束，定义一个lambda表达式，参数为定义的变量f，返回值为依恋值信息集c，将该lambda表达式作为过程p的高阶函数形式函数摘要tp。14、作为本发明所述的一种基于高阶函数的代码依恋检测方法的一种优选方案，其中：所述获取过程间由于过程调用和参数传递产生的代码依恋值信息包括在函数调用点处，将生成的高阶函数式函数摘要中当前对象类型表k进行相应代入，获取被调用函数q的过程内依恋值信息结果，根据获取的代入后函数q的过程内依恋值信息结果cq，与当前过程p依恋值信息集cp进行合并，更新过程p的方法异类依恋值，重复上述步骤直至每个函数调用点遍历完成后，退出所述过程。15、作为本发明所述的一种基于高阶函数的代码依恋检测方法的一种优选方案，其中：所述获取每个类中的每个方法的依恋度量值包括获取过程间分析结束后最终的依恋值信息集c，按照依恋值信息集c，计算每个类m中的每个方法x对另一个类e的依恋度量值：16、g(m(x),e)＝cx(e)/cx(m)17、其中，e表示依恋值信息集中的异类。18、作为本发明所述的一种基于高阶函数的代码依恋检测方法的一种优选方案，其中：所述检测程序中是否存在代码依恋包括根据代码依恋阈值和计算得到的g(m(x),r)，判断类的方法是否存在代码依恋，并提取目标候选类的包含类e1，e2，...，en的列表，其中方法x与异类ei的依恋度比定义x方法的源类m依恋度更大；19、g(m(x),e)的阈值为1，依恋度检测结束后，当g(m(x),e)>1，说明方法x与异类e的依恋度比定义x方法的源类m依恋度更大，则x存在代码依恋味道，当g(m(x),e)<1，说明x不存在代码依恋味道。20、本发明的另一个目的是提供一种基于高阶函数的代码依恋检测方法，其能够考虑类是否在程序运行中被具体实例化以及上下文函数调用关系，提高了代码依恋检测精度。21、一种基于高阶函数的代码依恋检测方法的系统，其特征在于，包括代码解析器、依恋信息搜集器、依恋度计算机器、依恋度可视化器；22、所述代码解析器，用于将待检测的源代码解析为中间表示形式，继续进行处理和分析；23、所述依恋信息搜集器，函数式编程中高阶函数的特性即为可以接受其他函数作为参数以及返回函数作为结果，我们利用高阶函数的特性分析源代码中的依恋信息，并为后续的依恋度计算器提供参数；24、所述依恋度计算机器，用于计算每个源代码中的目标函数与其所依赖的其他函数之间的依恋度，通过分析依恋信息搜集器获得的函数参数和返回值信息，计算函数；25、所述依恋度可视化器，用于将计算得到的依恋度结果可视化展示，使开发人员更加直观地理解和分析。26、一种计算机设备，包括存储器和处理器，所述存储器存储有计算机程序，其特征在于，所述处理器执行所述计算机程序时实现一种基于高阶函数的代码依恋检测方法的步骤。27、一种计算机可读存储介质，其上存储有计算机程序，其特征在于，所述计算机程序被处理器执行时实现一种基于高阶函数的代码依恋检测方法的步骤。28、本发明的有益效果：本发明给出了一种基于高阶函数的代码依恋检测方法,利用函数式编程中的高阶函数特性，用高阶函数的形式保存函数摘要，将形参的对象类型作为摘要参数，能够根据参数变量的对象类型信息计算过程间代码依恋度，解决了当前检测方法很少考虑上下文函数调用关系，以及类是否被具体实例化的不足，从而提高代码依恋检测的精度及其在生产生活中的应用价值。当前第1页12当前第1页12