-
公开(公告)号：CN108304317B
公开(公告)日：2021-01-05
申请号：CN201711453574.4
申请日：2017-12-28
Applicant: 东南大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于路径执行频率的单过程程序静态切片方法，通过对单过程程序进行结构解析构建其程序依赖图，并利用程序执行的路径频率对依赖关系的强弱进行精确评估，最后按照给定的切片准则，利用精确的依赖关系迭代计算静态切片，切片中包含所有与切片准则相关的代码，及其相关程度。本发明方法利用程序路径的执行频率信息获得加权静态切片，以提供更准确的切片结果，降低基于静态切片的程序分析和测试技术的应用成本。本发明还公开了一种基于路径执行频率的单过程程序静态切片系统。
-
公开(公告)号：CN107368302B
公开(公告)日：2020-04-24
申请号：CN201710507261.6
申请日：2017-06-28
Applicant: 东南大学
IPC: G06F8/74
Abstract: 本发明公开了一种基于本体的设计模式识别方法，主要用于软件的逆向工程领域中设计模式的识别。设计模式提供了对软件系统的子系统、组件或它们之间的关系进行改进的纲要，描绘了对彼此通信的组件进行组织的常见结构，可解决特定背景下的一般性设计问题。本发明使用描述逻辑进行设计模式的概念建模，并以此为依据，构造本体类和本体属性。从源码中自动化抽取本体实例之后，将目标系统抽象与设计模式抽象进行比对的过程，转换为使用本体查询语言进行本体推理的过程。依据描述逻辑构造本体查询语句，并使用推理机进行推理。基于本体的设计模式识别，既有较强的表达能力，也能兼顾推理性能，提高了识别的准确度，使模式库易于扩展和使用。
-
公开(公告)号：CN110851175A
公开(公告)日：2020-02-28
申请号：CN201910828487.5
申请日：2019-09-03
Applicant: 东南大学
Abstract: 本发明公开了一种基于决策树的注释分类方法。本发明中，第一步从软件中提取代码注释，第二步从注释中提取注释特征，第三步根据注释特征构建决策树，第四步将注释作为决策树的输入，最终将代码注释划分为四类注释，分别为功能注释、结构注释、使用注释、开发注释，并将分类后的注释输出。本发明提出的注释分类技术，使用决策树方法将注释分类成软件开发过程中常用的四类内容，利用本方法的注释分类输出结果来缓解目前软件开发过程中注释内容混杂、格式不统一等问题，便于实现注释的标准化管理，有助于开发人员理解代码和重用代码。
-
公开(公告)号：CN109976727A
公开(公告)日：2019-07-05
申请号：CN201910254646.5
申请日：2019-03-31
Applicant: 东南大学
Abstract: 本发明公开了一种基于设计模式的MVC架构模式识别方法,该方法包括：本体构建、本体推理和扩充、以及查询扩充后的本体等四个步骤。构建概念层本体是将Observer模式、Strategy模式以及MVC架构模式组成原理结合起来，构建MVC架构模式本体；构建特定目标系统的MVC架构模式本体是通过信息提取将目标系统源代码中实体之间的关系表示成RDF三元组，再结合MVC架构模式概念层本体构成特定目标系统的MVC架构模式本体；推理是推理机结合推理规则自动化的推理目标系统的架构模式本体，得到扩充后的本体；查询是对推理后扩充的本体采用本体查询语言查询MVC架构模式实例。本方法能够自动化的识别MVC架构模式，并且可实施性高，操作便利。
-
公开(公告)号：CN106257425A
公开(公告)日：2016-12-28
申请号：CN201610577045.4
申请日：2016-07-20
Applicant: 东南大学
IPC: G06F9/52
CPC classification number: G06F9/52
Abstract: 本发明公布了一种基于并发控制流图的Java并发程序路径剖析方法，通过分析Java源码中的线程内控制流关系和线程间的联系(包括线程的创建和各类同步关系)，构建Java并发控制流图；在Java并发控制流图上实施并发路径剖析算法，并按照算法结果对Java源码进行插桩，使得插桩后的源码在执行过程中能够生成并发程序的路径剖析结果。
-
Patent Agency Ranking
公开(公告)号：CN105893257A
公开(公告)日：2016-08-24
申请号：CN201610192606.9
申请日：2016-03-30
Applicant: 东南大学
IPC: G06F11/36
CPC classification number: G06F11/3604
Abstract: 本发明提出了一种基于演化的软件架构评估方法，将传统的面向对象的软件度量方法应用于架构级别，度量架构层次的圈复杂度、扇入扇出、模块间耦合度、模块的响应、内聚度等信息。以演化过程中相邻版本架构度量结果为基础，计算架构距离，从架构距离形成的曲线可以观察到架构质量发生剧烈变化的时刻，这种时刻架构的逻辑依赖或交互过程可能发生重大改变，在开发和维护过程中应该予以重视，有利于架构维护及故障定位等。
-
公开(公告)号：CN105739993A
公开(公告)日：2016-07-06
申请号：CN201610112423.1
申请日：2016-02-29
Applicant: 东南大学
IPC: G06F9/44
CPC classification number: G06F8/77
Abstract: 本发明提出了一种架构静态成熟度度量方法，将传统的面向对象的软件评估方法应用于架构级别，以架构的构件图为度量对象，得到高层次设计上的圈复杂度、扇入扇出、模块间耦合度、模块的响应、内聚度，将上述信息进一步加工得到架构的静态成熟度，它可以帮助用户发现架构静态组织结构和逻辑依赖关系上存在的问题，改进架构质量。
-
公开(公告)号：CN104050084A
公开(公告)日：2014-09-17
申请号：CN201410281529.5
申请日：2014-06-20
Applicant: 东南大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于软件路径剖析结果的修改影响分析方法，利用程序在运行时的动态控制流信息，对程序静态视图中各个模块的耦合度进行较为准确的推测，以此为依据进行修改影响分析，提升分析结果的准确性，并改进效率。Profile中提供了程序运行信息，从中可以分析得出程序中各个模块的执行先后次序，以及这些次序出现的频率；从这些执行次序信息出发，参考各个模块本身的执行频率，可以定量计算模块之间的耦合程度，进而在软件某部分模块被修改时，按照耦合度分析软件其他部分所受到的影响。
-
公开(公告)号：CN119829101A
公开(公告)日：2025-04-15
申请号：CN202510022008.6
申请日：2025-01-07
Applicant: 东南大学
IPC: G06F8/65 , G06F21/57 , G06N3/0455
Abstract: 本发明公开了一种基于AST‑T5预训练模型的智能合约自动修复方法，针对Solidity漏洞智能合约，首先利用多个智能合约漏洞检测工具进行漏洞函数的定位，然后将漏洞函数作为输入传给经微调AST‑T5预训练模型得到的漏洞修复模型，模型输出n个候选修复函数结果，最后通过验证模块确定正确的修复结果并替换掉初始合约中的漏洞函数从而完成漏洞智能合约的修复。与现有的智能合约漏洞修复方法相比，本方法的自动化程度高，漏洞修复率高且生成的修复补丁的gas消耗更低。
-
公开(公告)号：CN110879704B
公开(公告)日：2024-01-12
申请号：CN201910829311.1
申请日：2019-09-03
Applicant: 东南大学
Abstract: 本发明公开了一种基于类继承关系分析的API(Application Programming Interface，应用程序编程接口)推荐方法，通过对方法按其所属类之间的层次结构关系进行分类，并对方法间的依赖信息进行关联关系分析，以确定属于不同层次类的方法间的联系。通过平衡方法间类的层次结构关系，方法间的依赖关系以及层次结构间方法的使用频率，对于方法间存在较强逻辑关系的项目可以有效提高API方法推荐结果的准确率。
-
-
-
-
-
-
-
-
-
Search Results
68
records
(took 0.019 seconds)
