-
公开(公告)号：CN110766697A
公开(公告)日：2020-02-07
申请号：CN201910981782.4
申请日：2019-10-16
Applicant: 南京大学
Abstract: 本发明公开了一种界面草图的图形界面控件图像识别的方法和装置。该方法对输入的图像进行预处理后，通过对预处理后的图像进行递归分割，对各分割后的图像识别边缘矩形框，然后识别边缘矩形框内的图元标识，根据图元标识对应的控件种类识别出各种类型的控件，并根据边缘矩形框的位置确定该控件在界面上的位置，结合递归的层次关系组成用以表示控件间的层次布局的控件布局树，从而便于设计人员进行界面布局设计。
-
公开(公告)号：CN107729011B
公开(公告)日：2019-09-20
申请号：CN201711015000.9
申请日：2017-10-25
Applicant: 南京大学
Abstract: 本发明公开了一种基于模型转换的从iOS到Android的跨平台页面转化方法，分为两个部分:①对应模型生成；②模型匹配转化。本发明使用了模型学习的方法,通过学习已有的具有Android和iOS两个版本的应用,构建了一个存放着模型对应关系的数据集合。对于一个需要转化的具有Storyboard的iOS工程，将其进行模型抽取并通过匹配算法转化所得模型。此外，本发明的思路会对其他的工程设计有着借鉴意义。
-
公开(公告)号：CN106126213B
公开(公告)日：2019-06-04
申请号：CN201610432224.9
申请日：2016-06-16
Applicant: 南京大学
IPC: G06F8/38
Abstract: 本发明公开了一种基于IFML的Android开发建模方法，1)IFML针对移动平台进行扩展，基于移动平台的扩展进一步针对Android平台进行扩展，确定并抽象出Android平台应用的整体运行流程；2)使用交互流建模语言IFML针对移动平台的扩展，对步骤1)中Android应用整体运行流程进行初步交互流建模；3)IFML针对移动平台扩展，对Android应用平台进行进一步扩展，使用针对Android应用平台扩展的IFML，进行面向实现的交互流建模；4)对步骤3)中的Android应用平台的交互流模型，结合项目需求和Android版本信息，完成应用开发；使用标准IFML对Android应用的整体运行流程中各种元素建立交互流模型，这个模型是粗粒度并且是高度抽象的，模型具有了移动平台的概念，体现出移动平台的特点。
-
公开(公告)号：CN106227667B
公开(公告)日：2019-03-19
申请号：CN201610607871.9
申请日：2016-07-28
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明涉及基于扩展的IFML模型的移动应用的测试用例生成方法，先建立模型，即针对待测试的移动应用绘制出其对应的IFML模型；建立模型所使用到的IFML，是在原IFML标准基础上，加入了针对移动应用建模的扩展内容，包括针对视图容器增添了扩展子类型工具栏ToolBar和屏幕容器，针对视图组件增添了扩展子类型移动控件，针对事件Event增添了扩展子类型移动端系统事件，移动端事件和移动端行为活动事件，针对行为活动增添了扩展子类型移动端行为活动。按照选定的测试覆盖准则生成符合要求的测试用例。
-
公开(公告)号：CN106610898B
公开(公告)日：2019-01-04
申请号：CN201611233490.5
申请日：2016-12-28
Applicant: 南京大学
IPC: G06F11/36
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目录下，作为输出。
-
Patent Agency Ranking
公开(公告)号：CN107992324A
公开(公告)日：2018-05-04
申请号：CN201711405834.0
申请日：2017-12-22
Applicant: 南京大学
Abstract: 本发明公开了一种基于约束求解的代码搜索方法，其具体步骤为：步骤一、从开源社区中获取开源项目；步骤二、使用JPF和JDT分析源代码，将其转化为SSA格式；步骤三、使用JDT分析SSA格式的代码，将其转化为约束；步骤四、将源代码与生成的约束一一对应，构建代码-约束库；步骤五、构建代码搜索系统，帮助用户搜索代码。该方法的主要特点是基于约束求解的方法解决代码搜索问题，并对循环语句和类成员变量进行了处理，弥补了以往工作的不足，并且大大提高了代码搜索的准确率，使得程序员在软件开发过程中可以搜索需要的代码，加以借鉴或复用，提高软件开发效率和质量。
-
公开(公告)号：CN106445539A
公开(公告)日：2017-02-22
申请号：CN201610874410.8
申请日：2016-09-30
Applicant: 南京大学
IPC: G06F9/44
Abstract: 一种基于IFML的Android开发建模方法，包括如下步骤：1)当IFML针对移动平台进行扩展，基于移动平台的扩展需要首先针对Android平台进行扩展，确定并抽象出Android平台应用的整体运行流程；2)使用交互流建模语言IFML针对移动平台的扩展，对步骤1)中Android平台应用中整体运行流程进行初步交互流建模；3)IFML针对移动平台扩展，对Android平台应用进行进一步扩展，使用针对Android平台应用扩展的IFML，进行面向实现的交互流建模；针对Android平台进行IFML的扩展，扩展后对Android应用运行流程进行描述刻画，得到的模型信息能够帮助Android开发人员进行应用的开发。
-
-
公开(公告)号：CN104679511A
公开(公告)日：2015-06-03
申请号：CN201510069703.4
申请日：2015-02-10
IPC: G06F9/44
Abstract: 本发明公开了基于MDE模型转换的MapReduce代码生成方法。该方法的输入是QVT描述的模型转换程序。该方法将输入的QVT模型转换程序逐个提取其定义的转换规则，生成转换原语描述的操作流程，然后将转换原语描述的操作流程抽取为逻辑模型实例，再根据原语算子对应表，把逻辑模型实例转换成物理模型实例，最后根据物理模型实例生成MapReduce代码。最终输出的MapReduce代码能够直接部署在Hadoop平台上执行处理海量数据。本发明高度自动化，能够节约程序员编码时间，且生成的MapReduce代码具有相当的稳定性和可靠性。
-
公开(公告)号：CN103049603A
公开(公告)日：2013-04-17
申请号：CN201210539044.2
申请日：2012-12-13
Applicant: 南京大学
IPC: G06F17/50
Abstract: 一种带并发的状态机图转换到自动机的方法，包括步骤如下：步骤10：输入一个UML状态机图；步骤11：生成一个名字为go的自动机（自动机的名字可根据自己习惯定义），该自动机可以产生一个go信号量；步骤12：对状态机图的每个状态声明一个整型全局变量；步骤13：对状态机图的每个迁移声明一个自动机；步骤14：每个自动机添加两个location（自动机中的节点）和三个transition（自动机中的迁移）；步骤15：根据UML状态图的迁移，完善所添加的location和transition；步骤16：所有产生的自动机，构成转换结果。该方法主要特点为可以将带并发的UML状态机图转化为自动机，方便各个领域应用。
-
-
-
-
-
-
-
-
-
Search Results
122
records
(took 0.028 seconds)
