-
公开(公告)号：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对应有着借鉴意义。
-
公开(公告)号：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：采用自动机验证工具进行验证。
-
Patent Agency Ranking
公开(公告)号：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目录下，作为输出。本发明可以使研究者在该工具的基础上进行代码分析，降低了直接从代码文本进行分析的复杂性。
-
公开(公告)号：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工程，将其进行模型抽取并通过匹配算法转化所得模型。此外，本发明的思路会对其他的工程设计有着借鉴意义。
-
-
-
-
-
-
-
-
-
Search Results
122
records
(took 0.025 seconds)
