-
公开(公告)号：CN106873973A
公开(公告)日：2017-06-20
申请号：CN201611252798.4
申请日：2016-12-30
Applicant: 南京大学
IPC: G06F9/44
Abstract: 本发明公开了一种基于API文档的约束自动生成方法，包括如下步骤：首先输入一个URL；提取网页中类和函数的文字描述；对提取的句子进行一定的分析；然后使用NLP技术为每个句子生成一个树结构；识别树结构中的参数和结构生成树的中间表示形式；基于中间表示形式定义约束模板；最后遍历树结构自动生成相应的约束；本发明主要特点是通过API文档自动生成API函数的约束，方便程序员更好的理解API函数，并且能够弥补现有代码分析工具分析API函数的不足，使得代码分析工具能更好的分析源代码。
-
公开(公告)号：CN106649118A
公开(公告)日：2017-05-10
申请号：CN201611233521.7
申请日：2016-12-28
Applicant: 南京大学
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明公开了一种基于AST的Java代码SSA单路径的生成方法，其特征是包括如下步骤：步骤10：输入存放.java文件的src目录的路径；步骤11：使用ASTParser获得Java代码的AST；步骤12：使用ASTVisitor处理所有的MethodDeclaration，将每一个方法都拆分成若干条单路径代码；步骤13：使用JDT AST修改单路径代码的AST，将单路径转化为SSA的格式；步骤14：将SSA格式的单路径封装成符合Java语法规范的Java类，存放在path目录下，作为输出。本发明可以使研究者在该工具的基础上进行代码分析，降低了直接从代码文本进行分析的复杂性。
-
公开(公告)号：CN106610898A
公开(公告)日：2017-05-03
申请号：CN201611233490.5
申请日：2016-12-28
Applicant: 南京大学
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明公开了一种基于JPF的Java代码SSA单路径的生成方法，其特征是包括如下步骤：步骤10：输入.java文件和.jpf文件，存放在src目录下；步骤11：对.java文件进行代码插桩，以便获得path condition；步骤12：编译得到.class文件，存放在bin目录下；步骤13：从.jpf文件获得JPF执行的相关参数；步骤14：使用JPF的jpf‑symbc模块对.class文件进行符号执行，获取指定方法中的可达的单路径，根据插桩信息提取出path condition；步骤15：使用JDT AST修改单路径代码的AST，将单路径转化为SSA的格式；步骤16：将SSA格式的单路径以及path condition封装成符合Java语法规范的Java类，存放在path目录下，作为输出。
-
公开(公告)号：CN106227667A
公开(公告)日：2016-12-14
申请号：CN201610607871.9
申请日：2016-07-28
Applicant: 南京大学
IPC: G06F11/36
CPC classification number: G06F11/3676 , G06F11/3684
Abstract: 本发明涉及基于扩展的IFML模型的移动应用的测试用例生成方法，先建立模型，即针对待测试的移动应用绘制出其对应的IFML模型；建立模型所使用到的IFML，是在原IFML标准基础上，加入了针对移动应用建模的扩展内容，包括针对视图容器增添了扩展子类型工具栏ToolBar和屏幕容器，针对视图组件增添了扩展子类型移动控件，针对事件Event增添了扩展子类型移动端系统事件，移动端事件和移动端行为活动事件，针对行为活动增添了扩展子类型移动端行为活动。按照选定的测试覆盖准则生成符合要求的测试用例。
-
公开(公告)号：CN106126213A
公开(公告)日：2016-11-16
申请号：CN201610432224.9
申请日：2016-06-16
Applicant: 南京大学
IPC: G06F9/44
CPC classification number: G06F8/35
Abstract: 本发明公开了一种基于IFML的Android开发建模方法，1)IFML针对移动平台进行扩展，基于移动平台的扩展进一步针对Android平台进行扩展，确定并抽象出Android平台应用的整体运行流程；2)使用交互流建模语言IFML针对移动平台的扩展，对步骤1)中Android应用整体运行流程进行初步交互流建模；3)IFML针对移动平台扩展，对Android应用平台进行进一步扩展，使用针对Android应用平台扩展的IFML，进行面向实现的交互流建模；4)对步骤3)中的Android应用平台的交互流模型，结合项目需求和Android版本信息，完成应用开发；使用标准IFML对Android应用的整体运行流程中各种元素建立交互流模型，这个模型是粗粒度并且是高度抽象的，模型具有了移动平台的概念，体现出移动平台的特点。
-
Patent Agency Ranking
公开(公告)号：CN104794244A
公开(公告)日：2015-07-22
申请号：CN201510241080.4
申请日：2015-05-13
Applicant: 南京大学
IPC: G06F17/30
Abstract: 本发明公开了一种基于MongoDB实现图转换的方法和装置。本发明输入元模型、模型实例和转换规则。通过在MongoDB中构建元模型存储的数据结构，然后将模型实例存入MongoDB中，再通过MongoDB查询、更新、插入等数据库操作将模型实例中符合转换规则前置条件的模型实例片段转换成转换规则后置条件形式下的模型实例片段。本发明模型转换以MongoDB为中介，可以实现大规模的模型转换，并且可以支持分布式的模型转换，转换后的模型也存储在MongoDB中，便于对输出模型的查询以及修改。
-
公开(公告)号：CN103294520A
公开(公告)日：2013-09-11
申请号：CN201210531501.3
申请日：2012-12-11
Applicant: 南京大学
IPC: G06F9/455
Abstract: 一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法，步骤10：根据嵌入式系统的需求说明书分析实体和采用的Theme；步骤11：确定最终的类和实体；步骤12：确定最终的Theme；步骤13：确定时间相关行为，使用MARTE建模语言对需要的时钟进行建模；步骤14：对基础的面向方面的Base Theme进行建模；步骤15：使用设计好的时钟，将时间相关行为作为Aspect Theme进行建模；步骤16：根据合并、覆盖等Theme整个规则，分析Theme之间关系，对Theme进行整合编织，形成完整的嵌入式系统模型。
-
公开(公告)号：CN102298552A
公开(公告)日：2011-12-28
申请号：CN201110275897.5
申请日：2011-09-19
Applicant: 南京大学
IPC: G06F11/36
Abstract: 一种使用基于代码查询进行源代码插桩的方法，包括步骤：步骤10：打开一个工程；步骤11：通过在JSearch编辑器里输入相应的插桩命令；步骤12：工具运行JSearch命令，得到所有的插桩点定义步骤13：审查所有插桩点的定义：若发现带有错误的插桩点，则进入步骤14对其进行修改；没有发现带有错误的插桩点，则直接进入步骤15；步骤14：修改插桩的定义至正确；步骤15：将插桩点与原源文件合并生成新源文件；本发明为明确定义的代码查询和插桩命令，参数化的插桩语句模板，插桩代码可视化，自动插桩高效性等。
-
公开(公告)号：CN102231109A
公开(公告)日：2011-11-02
申请号：CN201110198582.5
申请日：2011-07-15
Applicant: 南京大学
IPC: G06F9/44
Abstract: 一种无痕可管理的源代码自动插桩方法，步骤包括：40：开始，打开一个工程；41：定义一个文件过滤器，对所需插桩的工程进行匹配，保留匹配的工程；42：接着使用所述文件过滤器对被插桩的源文件进行过滤；43：选择自动插桩的具体应用类型，定义相应类型所需插桩的代码；44：用语法树结构匹配，根据自动插桩的具体应用类型进行相应插桩点的位置定位，并在相应位置插入代码，生成一个新源文件；45：所述新源文件进行编译产生新的可执行字节码文件，并保存；46：生成可执行文件，结束。本方法主要特点为插桩代码可视化、集中管理插入代码、插桩过程无痕化、插桩点自动化定位、自动插桩可扩展、自动插桩高效性。
-
公开(公告)号：CN119806603A
公开(公告)日：2025-04-11
申请号：CN202510303519.5
申请日：2025-03-14
Applicant: 国网江苏省电力有限公司信息通信分公司 , 南京大学
Abstract: 本公开实施例公开了一种物联操作系统适配程序的更新方法、装置、设备及产品，包括：基于第一操作系统的第一接口信息和第二操作系统的第二接口信息确定目标关系文件；基于目标关系文件确定目标接口，目标接口包括函数名产生变化的接口、返回值增加的接口、删除返回值的接口、返回值的类型被修改的接口、删除参数的接口、删除原始参数并增加第一目标参数的接口和/或增加第二目标参数的接口；基于目标接口对第二操作系统的原始适配程序进行更新，得到适用于第一操作系统的目标适配程序，并输出更新报告和修改方案推荐报告。本技术方案实现适配程序的自动化更新，减少开发人员的工作量和投入成本，为开发人员提供有效的更新方案推荐。
-
-
-
-
-
-
-
-
-
Search Results
122
records
(took 0.023 seconds)
