-
公开(公告)号：CN106649118B
公开(公告)日：2019-02-19
申请号：CN201611233521.7
申请日：2016-12-28
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于AST的Java代码SSA单路径的生成方法，其特征是包括如下步骤：步骤10：输入存放.java文件的src目录的路径；步骤11：使用ASTParser获得Java代码的AST；步骤12：使用ASTVisitor处理所有的MethodDeclaration，将每一个方法都拆分成若干条单路径代码；步骤13：使用JDT AST修改单路径代码的AST，将单路径转化为SSA的格式；步骤14：将SSA格式的单路径封装成符合Java语法规范的Java类，存放在path目录下，作为输出。本发明可以使研究者在该工具的基础上进行代码分析，降低了直接从代码文本进行分析的复杂性。
-
公开(公告)号：CN105718441B
公开(公告)日：2018-10-23
申请号：CN201610019895.2
申请日：2016-01-13
Applicant: 南京大学
IPC: G06F17/27
Abstract: 本发明公开了一种查找不同平台间功能相似UI组件的方法和装置。本发明通过对UI组件文档的文本分析，提取关键词，并记录各个关键词出现的词频数，然后对关键词进行词形还原后进行同义词和近义词合并，得到特征关键词和相应的词频数构建特征向量；然后根据各个UI所对应的特征向量计算两个不同平台UI组件间的相似度。本发明对文档中出现的词语采用词形还原，词干提取技术使得不同形式的词语归结一个关键词，不仅减少了关键词的维数而且能够产生更好的相似比较结果；本发明对文本中同义词的处理更能够增加相似文本的相似度大小。
-
-
公开(公告)号：CN107729011A
公开(公告)日：2018-02-23
申请号：CN201711015000.9
申请日：2017-10-25
Applicant: 南京大学
Abstract: 本发明公开了一种基于模型转换的从iOS到Android的跨平台页面转化方法，分为两个部分:①对应模型生成；②模型匹配转化。本发明使用了模型学习的方法,通过学习已有的具有Android和iOS两个版本的应用,构建了一个存放着模型对应关系的数据集合。对于一个需要转化的具有Storyboard的iOS工程，将其进行模型抽取并通过匹配算法转化所得模型。此外，本发明的思路会对其他的工程设计有着借鉴意义。
-
公开(公告)号：CN106873973A
公开(公告)日：2017-06-20
申请号：CN201611252798.4
申请日：2016-12-30
Applicant: 南京大学
IPC: G06F9/44
Abstract: 本发明公开了一种基于API文档的约束自动生成方法，包括如下步骤：首先输入一个URL；提取网页中类和函数的文字描述；对提取的句子进行一定的分析；然后使用NLP技术为每个句子生成一个树结构；识别树结构中的参数和结构生成树的中间表示形式；基于中间表示形式定义约束模板；最后遍历树结构自动生成相应的约束；本发明主要特点是通过API文档自动生成API函数的约束，方便程序员更好的理解API函数，并且能够弥补现有代码分析工具分析API函数的不足，使得代码分析工具能更好的分析源代码。
-
Patent Agency Ranking
公开(公告)号：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应用的整体运行流程中各种元素建立交互流模型，这个模型是粗粒度并且是高度抽象的，模型具有了移动平台的概念，体现出移动平台的特点。
-
公开(公告)号：CN104317572A
公开(公告)日：2015-01-28
申请号：CN201410520726.8
申请日：2014-09-30
Applicant: 南京大学
IPC: G06F9/44
Abstract: 本发明提出了一种针对实时系统的循环边界内向分析方法，该方法基于修改符号执行的路径搜索方式，使得执行引擎能够快速定位到系统中各循环的最大迭代路径，并以此为基础高效地获得系统中各循环边界的估计值。本方法所求得的循环边界估计值具有如下特征：系统能保证每一个循环边界估计值都具有可达性，即一定存在一个系统输入，使得该输入下的系统运行达到边界估计值所获得的循环迭代次数。作为传统循环边界分析方法的必要补充技术，本发明所提出的循环边界内向分析方法可用于估算系统至少能够达到的最大循环迭代次数，从而使得用户能够更为完整有效的分析实时系统的循环边界，提高系统质量。
-
-
-
-
-
-
-
-
-
Search Results
102
records
(took 0.028 seconds)
