公开(公告)号：CN113282495B

公开(公告)日：2024-03-22

申请号：CN202110587631.8

申请日：2021-05-27

Applicant: 东南大学

Inventor： 李必信 ,  李渊 ,  王璐璐 ,  孔祥龙 ,  廖力 ,  周颖

IPC: G06F11/36

Abstract: 本发明公开了一种基于轨迹监控的Java软件故障定位方法，针对Java应用程序构建了二次故障定位算法，首先通过动态插桩技术获取程序的执行轨迹信息，对获取的执行轨迹信息进行预处理，构造出对应的函数调用树，在函数级别对故障进行定位。然后对于可疑度高的函数，进行语句块级别的执行轨迹获取，构建出语句块的控制依赖图，在语句块级别进行故障定位，输出故障定位报告。与现有的故障定位方法相比，本发明方法操作简单，故障定位效果好。

公开(公告)号：CN110851175B

公开(公告)日：2023-10-31

申请号：CN201910828487.5

申请日：2019-09-03

Applicant: 东南大学

Inventor： 李必信 ,  宋启威 ,  孔祥龙 ,  王璐璐 ,  廖力 ,  周颖

IPC: G06F8/73 ,  G06F18/2431 ,  G06N5/01

Abstract: 本发明公开了一种基于决策树的注释分类方法。本发明中，第一步从软件中提取代码注释，第二步从注释中提取注释特征，第三步根据注释特征构建决策树，第四步将注释作为决策树的输入，最终将代码注释划分为四类注释，分别为功能注释、结构注释、使用注释、开发注释，并将分类后的注释输出。本发明提出的注释分类技术，使用决策树方法将注释分类成软件开发过程中常用的四类内容，利用本方法的注释分类输出结果来缓解目前软件开发过程中注释内容混杂、格式不统一等问题，便于实现注释的标准化管理，有助于开发人员理解代码和重用代码。

公开(公告)号：CN110297657B

公开(公告)日：2023-07-21

申请号：CN201910503332.4

申请日：2019-06-11

Applicant: 东南大学

Inventor： 李必信 ,  谢仁松 ,  王璐璐 ,  孔祥龙 ,  廖力 ,  周颖

IPC: G06F8/70

Abstract: 本发明公开了一种基于层次上下文的API(Application Programming Interface，应用程序接口)推荐方法，通过静态分析方法中的API调用关系自动生成API序列库，然后利用基于层次上下文推断模型的方法推荐合适的API。本发明充分挖掘了程序上下文中不同调用层次的API关联关系，提升了API序列库的有效性，提高了推荐结果的准确率。

公开(公告)号：CN115237469A

公开(公告)日：2022-10-25

申请号：CN202210868373.5

申请日：2022-07-22

Applicant: 东南大学

Inventor： 李必信 ,  曹志成 ,  王璐璐 ,  廖力 ,  孔祥龙 ,  周颖

IPC: G06F8/74 ,  G06F8/20

Abstract: 本发明涉及一种基于云服务源码的多模式架构逆向解析方法，通过工具获取云服务器上仓库上的程序源代码，然后通过解析源代码来完成逆向解析出用整个程序的架构。该方法可以调用解析工具，获取所有源代码文件的抽象语法树，根据抽象语法树信息构造源代码工程的程序分析树，并分析程序分析树的元素(文件、类、函数、变量)耦合信息，构造树节点间的依赖关系，整合程序分析树的元素耦合信息，构造所有源代码文件的依赖关系图；可对生成的源代码文件依赖图针对经典模式、Maven项目单模块模式、Maven项目多模块模式聚合出源代码模块的依赖关系图和组件的关系依赖图。

公开(公告)号：CN113391996A

公开(公告)日：2021-09-14

申请号：CN202110587624.8

申请日：2021-05-27

Applicant: 东南大学

Inventor： 廖力 ,  钱超琦 ,  李必信 ,  王璐璐 ,  孔祥龙 ,  周颖

IPC: G06F11/36

Abstract: 本发明公开了一种基于工作流程的软件接口组合执行测试方法，利用程序内部接口之间的通信与协作关系，将以顺序、分支、选择和循环等流程组合，并完成一个完整业务逻辑的一组接口作为一个测试单位，通过对一组接口进行调用访问测试，来完成对整个程序系统的接口测试。该方法可以实现按工作流程进行业务流程建模，对多个接口进行组合编排和流程配置，并对流程执行进行管理；可对被验证接口组合进行直接交互访问，获取被测试对象在运行过程中的真实参数，模拟真实运行环境下完成一个工作流程的多个接口的运行情况，以验证程序功能完备性、容错性、稳定性等指标。

公开(公告)号：CN110297657A

公开(公告)日：2019-10-01

申请号：CN201910503332.4

申请日：2019-06-11

Applicant: 东南大学

Inventor： 李必信 ,  谢仁松 ,  王璐璐 ,  孔祥龙 ,  廖力 ,  周颖

IPC: G06F8/70

Abstract: 本发明公开了一种基于层次上下文的API(Application Programming Interface，应用程序接口)推荐方法，通过静态分析方法中的API调用关系自动生成API序列库，然后利用基于层次上下文推断模型的方法推荐合适的API。本发明充分挖掘了程序上下文中不同调用层次的API关联关系，提升了API序列库的有效性，提高了推荐结果的准确率。

公开(公告)号：CN105739993B

公开(公告)日：2018-12-28

申请号：CN201610112423.1

申请日：2016-02-29

Applicant: 东南大学 ,  华为技术有限公司

Inventor： 李必信 ,  姜雨晴 ,  廖力

IPC: G06F8/77

Abstract: 本发明提出了一种架构静态成熟度度量方法，将传统的面向对象的软件评估方法应用于架构级别，以架构的构件图为度量对象，得到高层次设计上的圈复杂度、扇入扇出、模块间耦合度、模块的响应、内聚度，将上述信息进一步加工得到架构的静态成熟度，它可以帮助用户发现架构静态组织结构和逻辑依赖关系上存在的问题，改进架构质量。

公开(公告)号：CN108509217A

公开(公告)日：2018-09-07

申请号：CN201810221523.7

申请日：2018-03-17

Applicant: 东南大学

Inventor： 李必信 ,  张心悦 ,  王桐 ,  孔祥龙 ,  廖力

IPC: G06F8/70 ,  G06F8/74

Abstract: 本发明公布了一种软件架构可持续演进原则达成性度量方法，该方法将可持续演进原则划分为主体维持原则、平滑演进原则、模块独立演进原则、组件规模最小化原则、外部接口稳定性原则、复杂性可控原则等6个子原则，通过度量6个子原则实现度量软件架构是否达成可持续演进原则。该方法选取度量版本及其演进起始版本，演进起始版本经过一个演进过程，演进为度量版本。分析这两个软件架构版本的源代码，提取软件源代码基本信息，然后结合从架构组件图中提取出的架构基本信息，计算可持续演进原则的6个子原则度量值。最后对各子原则合理分配权重，计算各子原则的加权平均值，即为可持续演进原则的度量结果，从而实现软件架构可持续演进原则的度量。

公开(公告)号：CN108304317A

公开(公告)日：2018-07-20

申请号：CN201711453574.4

申请日：2017-12-28

Applicant: 东南大学

Inventor： 王璐璐 ,  李必信 ,  廖力 ,  周颖 ,  孔祥龙

IPC: G06F11/36

CPC classification number: G06F11/3608 ,  G06F11/3644

Abstract: 本发明公开了一种基于路径执行频率的单过程程序静态切片方法，通过对单过程程序进行结构解析构建其程序依赖图，并利用程序执行的路径频率对依赖关系的强弱进行精确评估，最后按照给定的切片准则，利用精确的依赖关系迭代计算静态切片，切片中包含所有与切片准则相关的代码，及其相关程度。本发明方法利用程序路径的执行频率信息获得加权静态切片，以提供更准确的切片结果，降低基于静态切片的程序分析和测试技术的应用成本。本发明还公开了一种基于路径执行频率的单过程程序静态切片系统。

公开(公告)号：CN105843614A

公开(公告)日：2016-08-10

申请号：CN201610165972.5

申请日：2016-03-22

Applicant: 东南大学

Inventor： 李必信 ,  苗意盎 ,  廖力

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F8/71 ,  G06F11/3604

Abstract: 本发明公开了一种面向软件演化的代码可兼容性评估方法，对演化原因进行分析与定位，包括以下步骤：根据源代码构造相应的抽象语法树；在抽象语法树上提取类和接口的属性信息，构造出代码的类模型；基于二进制兼容的规则对代码进行演化类型的区分，对代码的可兼容性进行计算，并将评估结果表示出来；该技术可以根据不兼容性演化发生的位置，报告出导致代码可兼容性变化的原因。该发明的评估方法不但可以自动分析源代码，指出程序中发生不兼容性演化的位置，改变了以往代码分发时发生不兼容性问题而需手动查找带来的主观性和效率问题，为自动化评估代码可兼容性打下良好的基础。