-
公开(公告)号：CN111090462B
公开(公告)日：2021-04-30
申请号：CN201911239725.5
申请日：2019-12-06
Applicant: 南京大学
Abstract: 本发明公开了一种基于API文档的API匹配方法和装置。该方法通过对API的描述文档分析，提取出API信息。API信息包括：输入信息、输出信息、行为信息。然后通过对两个API信息的输入信息、输出信息、行为信息分别进行相似度计算，综合后再判断两个API是否匹配。本发明综合了输入、输出以及行为等方面的信息，提高了API匹配的准确性。
-
公开(公告)号：CN111061644B
公开(公告)日：2021-04-30
申请号：CN201911352967.5
申请日：2019-12-25
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种检测并定位异常抛出处理缺陷的方法和装置。该方法首先对待测程序插装，对可能抛出异常的方法前插入控制代码，使得待测程序被执行后，通过控制代码输出被插装方法信息和调用信息并通过异常触发配置信息的匹配确定是否抛出异常和抛出何种异常。然后根据被插装方法列表，得到可能触发的异常类型集合。再根据该异常类型集合对每个异常类型进行可疑异常触发测试，得到可疑方法异常信息集合。最后通过对可疑方法异常信息集合中的每个可疑方法异常信息进行上下文组合异常触发测试得到异常抛出缺陷定位信息。本发明通过可疑异常触发测试的过滤，大大缩减了异常抛出处理缺陷定位范围，从而大大提高定位效率。
-
公开(公告)号：CN111273905A
公开(公告)日：2020-06-12
申请号：CN202010050903.6
申请日：2020-01-17
Applicant: 南京大学
IPC: G06F8/38 , G06F9/445 , G06F16/901 , G06K9/62
Abstract: 本发明公开了基于界面草图的应用检索方法和装置。该方法对输入的图像进行预处理后，通过对预处理后的图像进行递归分割，对各分割后的图像识别边缘矩形框，然后识别边缘矩形框内的图元标识，根据图元标识对应的控件种类识别出各种类型的控件，并根据边缘矩形框的位置确定该控件在界面上的位置，结合递归的层次关系组成用以表示控件间的层次布局的控件布局树，然后将该生产的控件布局树与应用库中各应用对应的控件布局树进行布局树相似度值计算，根据布局树相似度值是否大于阈值得到匹配的应用。软件研发人员可以依据本发明的方法和装置检索相似的界面的应用，为设计软件图形应用界面提供便利。
-
公开(公告)号：CN108153522B
公开(公告)日：2020-05-05
申请号：CN201711418644.2
申请日：2017-12-25
Applicant: 南京大学
Abstract: 本发明公开了一种由模型转换中间语言midcore生成Spark和Hadoop程序代码的方法。包括步骤1：建立两个xtext项目，分别对midcore语言进行抽象，抽出其中的语法树，进行建模，书写xtext的语法计解析器代码，步骤2：用xtend在其中一个项目中书写从midcore映射至Spark代码的转换规则，步骤3：用xtend在另一个项目中书写midcore映射生成Hadoop代码的转换规则。本发明将可以由现有的模型转换语言转换而成的中间语言对Spark和Hadoop两个平台的代码做了映射，为模型转换语言和Mapreduce程序实现了桥接，同时支持由midcore直接描述模型转换，生成Mapreduce程序代码，降低了Mapreduce程序开发的复杂性。
-
公开(公告)号：CN106844339B
公开(公告)日：2020-04-28
申请号：CN201710012347.1
申请日：2017-01-09
Applicant: 南京大学
IPC: G06F40/284 , G06F40/211 , G06F40/205 , G06K9/62
Abstract: 本发明公开了一种基于词向量的多平台控件对应方法，包括如下步骤：寻找与控件、UI设计、页面布局文件相关的英文文档组成词向量的训练集；使用stanford工具对英文文档进行分词得到单词序列；对得到的单词序列使用word2vec进行词向量训练，得到每个单词的向量表示；找到平台网站上的控件描述文本；将这些描述文本分词之后训练得到词向量，进而转化为句向量；计算每两个向量之间的距离，选出相似控件。本发明根据官方的空间描述找到的多平台控件对应关系可以减少同一平台上版本更替所需要修改的代码，并且会在跨平台代码转化中的UI部分起到相当大的推荐作用。还有，本发明的思路会对其他的工程设计尤其是API对应有着借鉴意义。
-
Patent Agency Ranking
公开(公告)号：CN106648617B
公开(公告)日：2019-10-15
申请号：CN201611023955.4
申请日：2016-11-14
Applicant: 南京大学
IPC: G06F8/20
Abstract: 一种基于扩展的UML2序列图的中断驱动系统建模方法，步骤如下：步骤1：扩展UML2序列图，新增中断交互操作类型用于描述中断的发生和响应处理；步骤2：将中断驱动系统的执行流程划分为一个中断外交互和若干个中断内交互；步骤3：根据UML2序列图规范对中断外的流程进行建模；步骤4：根据步骤1中定义的中断组合片段对中断的发生和响应处理进行建模；步骤5：对中断驱动系统的时间约束进行建模；本发明扩展了UML2序列图，使之能够描述中断驱动系统，为中断驱动系统设计人员提供了直观形象、易于理解的建模方法；有利于中断驱动系统的建模设计、以及相关的模型验证、模型转换以及模型到代码的生成。
-
公开(公告)号：CN110175019A
公开(公告)日：2019-08-27
申请号：CN201910480184.9
申请日：2019-06-04
Applicant: 南京大学
IPC: G06F8/10
Abstract: 本发明公开了一种基于中断序列图的中断驱动系统验证方法，包括如下步骤，步骤1：基于中断序列图来建立中断驱动系统模型；步骤2：根据步骤1得到的中断序列图，将其中的交互片段划分为基本交互和复合交互片段；步骤3：将基本交互片段和复合交互片段依次转换成自动机；步骤4：将步骤3中得到的多个自动机组合成一个混成自动机；步骤5：提取中断序列图的约束，将约束添加到转换得到的自动机模型上；步骤6：提取中断序列图中的验证属性信息，将验证属性作为约束添加到转换得到的自动机模型上；步骤7：将自动机描述成自动机验证工具可接受的输入格式；步骤8：采用自动机验证工具进行验证。
-
公开(公告)号：CN109710539A
公开(公告)日：2019-05-03
申请号：CN201910044054.0
申请日：2019-01-17
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明基于字节码操作的安卓软件增强测试方法，步骤一、基于安卓开发框架，确定一个安卓开发版本以及一个安卓软件包，扫描并确定其中存在的资源相关的可能抛出异常的方法；步骤二、通过字节码操作技术，将方法与异常的分析和触发代码植入步骤一中的安卓软件包，并生成修改过的软件包以及植入位置的报告；步骤三、针对步骤二中产生的软件包和报告，编写被植入代码控制策略的配置文件；步骤四、确定安卓软件测试框架和测试用例，执行测试，收集测试用例报告以及执行过程中产生的日志，用于下一次测试。本方法基于字节码操作技术，对安卓软件代码中的资源相关方法的异常进行分析和控制，从而对原有测试进行增强。
-
公开(公告)号：CN109558725A
公开(公告)日：2019-04-02
申请号：CN201811478895.4
申请日：2018-12-05
Applicant: 南京大学
Abstract: 本发明公开了一种基于插桩的针对Android系统动态加载情况的隐私保护方法。本发明适用于解决对所有Android系统动态加载情况下的隐私泄露问题，其通过插桩检测Android系统中的隐私相关API在动态加载时的行为，如果这些API的行为满足一定的模式则可以判断其为恶意行为。当一个Android应用在系统上运行时，如果出发了系统对隐私行为的保护就阻止这样的行为。
-
公开(公告)号：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目录下，作为输出。本发明可以使研究者在该工具的基础上进行代码分析，降低了直接从代码文本进行分析的复杂性。
-
-
-
-
-
-
-
-
-
Search Results
121
records
(took 0.108 seconds)
