基于模型转换由midcore生成Spark和Hadoop程序代码的方法

    公开(公告)号:CN108153522A

    公开(公告)日:2018-06-12

    申请号: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程序开发的复杂性。

    一种基于MongoDB实现图转换的方法和装置

    公开(公告)号:CN104794244B

    公开(公告)日:2018-02-16

    申请号:CN201510241080.4

    申请日:2015-05-13

    Applicant: 南京大学

    Abstract: 本发明公开了一种基于MongoDB实现图转换的方法和装置。本发明输入元模型、模型实例和转换规则。通过在MongoDB中构建元模型存储的数据结构,然后将模型实例存入MongoDB中,再通过MongoDB查询、更新、插入等数据库操作将模型实例中符合转换规则前置条件的模型实例片段转换成转换规则后置条件形式下的模型实例片段。本发明模型转换以MongoDB为中介,可以实现大规模的模型转换,并且可以支持分布式的模型转换,转换后的模型也存储在MongoDB中,便于对输出模型的查询以及修改。

    一种基于IFML的iOS开发建模方法

    公开(公告)号:CN107133042A

    公开(公告)日:2017-09-05

    申请号:CN201710307279.1

    申请日:2017-05-04

    Applicant: 南京大学

    CPC classification number: G06F8/35

    Abstract: 本发明基于IFML的iOS开发建模方法,步骤一、IFML基于移动平台的拓展进一步针对iOS平台进行拓展,确定并抽象出iOS平台应用的整体运行流程;步骤二、使用交互流建模语言IFML针对移动平台的扩展,对步骤一中iOS应用整体运行流程进行初步交互流建模;步骤三、在IFML针对移动平台拓展的基础上,针对iOS应用平台进行进一步拓展,使用针对iOS应用平台拓展的IFML,进行面向实现的交互流建模;步骤四、对步骤三中的iOS应用平台的交互流模型,结合项目需求和iOS版本信息,完成应用开发。本发明基于模型驱动方式,对iOS移动应用进行抽象提取交互流模型,并使用针对iOS平台扩展的IFML对其进行建模。

    一种由转换原语生成Spark代码的方法

    公开(公告)号:CN106843858A

    公开(公告)日:2017-06-13

    申请号:CN201611252903.4

    申请日:2016-12-30

    Applicant: 南京大学

    Abstract: 本发明公开了一种由转换原语生成Spark代码的方法,包括步骤:步骤10:设计表示数据模型变换的转换原语语法;步骤11:输入一个数据模型变换的原语文件,作为代码转换器的输入文件;步骤12:利用Xtext实现代码生成器的文法构造,完成转换原语的语法解析;步骤13:利用Xtend实现代码生成器的转换规则,建立转换原语与Spark代码之间的映射;步骤14:将模型变换的原语文件输入代码生成器;步骤15:得到输入、输出数据类和转换规则的Spark代码;本发明将一组描述数据转换的转换原语生成具有相同转换操作的Spark代码,降低数据平台开发人员使用Spark平台的复杂性,简化数据转换过程,降低基于Spark平台的大数据转换实现成本。

    一种带并发的状态机图转换到自动机的方法

    公开(公告)号:CN103049603B

    公开(公告)日:2015-06-03

    申请号:CN201210539044.2

    申请日:2012-12-13

    Applicant: 南京大学

    Abstract: 一种带并发的状态机图转换到自动机的方法,包括步骤如下:步骤10:输入一个UML状态机图;步骤11:生成一个名字为go的自动机(自动机的名字可根据自己习惯定义),该自动机可以产生一个go信号量;步骤12:对状态机图的每个状态声明一个整型全局变量;步骤13:对状态机图的每个迁移声明一个自动机;步骤14:每个自动机添加两个location(自动机中的节点)和三个transition(自动机中的迁移);步骤15:根据UML状态图的迁移,完善所添加的location和transition;步骤16:所有产生的自动机,构成转换结果。该方法主要特点为可以将带并发的UML状态机图转化为自动机,方便各个领域应用。

    基于源代码查询的半自动插桩方法

    公开(公告)号:CN103049504A

    公开(公告)日:2013-04-17

    申请号:CN201210532019.1

    申请日:2012-12-11

    Applicant: 南京大学

    Inventor: 张天 何英 李宣东

    Abstract: 一种基于源代码查询的代码插桩方法,包括步骤:10:打开一个工程;11:通过在CppIns编辑器中输入相应的插桩命令;12:工具解析并执行插桩命令,得到所有符合条件的插桩点;13:审查所有插桩点的定义:若发现带有错误的插桩点,则进入步骤14对其进行修改;没有发现带有错误的插桩点,则直接进入步骤15;14:修改插桩的定义至正确;15:将插桩代码与原源文件合并生成新源文件。该方法主要特点为明确定义的代码查询和插桩命令、参数化的插桩语句模板、插桩代码可视化、插桩过程无痕化、插桩点自动化定位、自动插桩高效性等。

    一种界面跳转路径图的合并方法和装置

    公开(公告)号:CN113946334B

    公开(公告)日:2025-03-11

    申请号:CN202111231486.6

    申请日:2021-10-22

    Applicant: 南京大学

    Abstract: 本发明公开了一种界面跳转路径图的合并方法和装置。该方法将自动化测试工具对UI应用界面测试所产生的各界面跳转路径通过对界面场景的相似度分析,将相似的界面场景节点合并,从而将各界面跳转路径合并,生成合并后的界面跳转路径图,从而减少了后续分析的复杂性。本发明中,界面场景相似度分析时,采用界面截图和控件布局相似度比较相结合的方法。其中,界面截图相似度计算时,通过卷积神经网络提取特征向量,然后通过特征向量之间的距离作为界面截图相似度;控件布局相似度计算时,将控件布局转换成简化的布局文本,然后计算布局文本之间的文本相似度。

    一种基于结构和组件的APP界面相似度计算方法

    公开(公告)号:CN118779847A

    公开(公告)日:2024-10-15

    申请号:CN202410800534.6

    申请日:2024-06-20

    Applicant: 南京大学

    Abstract: 本发明公开了一种基于结构和组件的APP界面相似度计算方法,该方法针对两个App界面,进行界面结构相似度计算和组件匹配相似度计算得到界面之间的结构相似度和组件匹配度,通过加权平均结构相似度和组件匹配度,得到界面相似度;本发明从结构相似度和组件匹配度两个方面,实现了精确计算不同应用界面之间相似度的技术,该技术能够帮助检测人员更好找出恶意抄袭软件,避免用户出现个人信息泄漏或财产损失的情况。

    脚本修复过程中的UI断言处理及生成方法

    公开(公告)号:CN118312432A

    公开(公告)日:2024-07-09

    申请号:CN202410524639.3

    申请日:2024-04-29

    Applicant: 南京大学

    Abstract: 本发明公开一种脚本修复过程中的UI断言处理及生成方法,包括UI断言范围约束、使用断言指导测试脚本修复、大模型制导的UI断言生成三部分;具体步骤包括:首先对UI断言涵盖的范围约束为组件是否存在于/不存在于当前界面以及组件的某一属性是否等于/不等于预期值两种情况;在修复过程中,若旧版本测试脚本含有断言,则使用断言指导测试脚本修复;若旧版本测试脚本不含有断言,则使用大模型为旧版本测试脚本生成断言,并依据生成的断言指导脚本修复。本发明采用基于断言指导的测试脚本修复技术和基于大模型生成测试脚本断言的技术,实现了断言在测试脚本修复过程中的应用。

    一种基于DSL和UI资产库的异常UI数据集生成方法

    公开(公告)号:CN116756035A

    公开(公告)日:2023-09-15

    申请号:CN202310803301.7

    申请日:2023-07-03

    Applicant: 南京大学

    Inventor: 张天 潘敏学 张昊

    Abstract: 本发明公开了一种基于DSL和UI资产库的异常UI数据集生成方法,该方法包括:步骤1)设计一种DSL语言用来描述不同类型的UI Bug;步骤2)编写一个DSL文件用来定义想要生成的UI Bug类型;步骤3)编写一个DSL解析器,用于读取DSL文件中的Bug规则并创建规则对象;步骤4)编写一个UI资产库构建器,用于构建一个UI资产库;使用Rico数据集作为UI资产库的来源,从所述Rico数据集中提取出每个界面截图中包含的不同类型的控件,并且记录下每个控件的信息;步骤5)根据DSL定义的规则,在UI资产库上自动地生成不同类型和数量的异常UI数据集,并且保存为COCO数据集的格式。本发明可以为UI bug检测和图像理解等领域提供有价值的数据资源,促进相关技术的发展和创新。

Patent Agency Ranking