张天
- 作品数:119 被引量:142H指数:6
- 供职机构:南京大学更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术语言文字文化科学更多>>
- 一种基于图神经网络的界面功能场景划分方法和装置
- 本发明公开了一种基于图神经网络的界面功能场景划分方法和装置。该方法中,首先对界面截图按控件进行着色,然后将着色后的界面截图输入至卷积神经网络中,得到界面特征信息,然后将场景特征和场景跳转关系输入至门控图神经网络中,进行分...
- 潘敏学张天李贵银
- 一种基于IFML的iOS开发建模方法
- 本发明基于IFML的iOS开发建模方法,步骤一、IFML基于移动平台的拓展进一步针对iOS平台进行拓展,确定并抽象出iOS平台应用的整体运行流程;步骤二、使用交互流建模语言IFML针对移动平台的扩展,对步骤一中iOS应用...
- 张天潘敏学黄安宋建李宣东
- 文献传递
- 一种由转换原语生成Spark代码的方法
- 本发明公开了一种由转换原语生成Spark代码的方法,包括步骤:步骤10:设计表示数据模型变换的转换原语语法;步骤11:输入一个数据模型变换的原语文件,作为代码转换器的输入文件;步骤12:利用Xtext实现代码生成器的文法...
- 张天潘敏学杨宇飞刘拨杰车开达李宣东
- 文献传递
- 一种基于程序依赖增强缺陷定位的方法和装置
- 本发明公开了一种基于程序依赖增强缺陷定位的方法和装置。该方法通过对源代码的语句数据依赖关系分析,将由现有软件工具分析源代码得到的语句缺陷可疑度表结合语句数据依赖关系组成一个由N+1个可疑度值组成的特征值向量作为源代码各个...
- 张天潘敏学罗雯波
- 一种带并发的状态机图转换到自动机的方法
- 一种带并发的状态机图转换到自动机的方法,包括步骤如下:步骤10:输入一个UML状态机图;步骤11:生成一个名字为go的自动机(自动机的名字可根据自己习惯定义),该自动机可以产生一个go信号量;步骤12:对状态机图的每个状...
- 张天黄小浦李宣东
- 文献传递
- 场景驱动的构件行为抽取被引量:24
- 2007年
- 如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境,使得场景规约中所描述的所有行为可以从构件中抽取出来,并保留到该构件与其极大包含环境的组合中.同时,构件中的其他行为,即不在场景规约中的行为,被尽可能地舍弃.用接口自动机为构件的行为建模,并将用消息序列图描述的场景规约抽象为一组活动序列.构件的组合描述为接口自动机的乘积.给出了基于场景进行构件行为抽取的相关算法,并用一个实例对文中所述方法进行了说明.
- 张岩胡军于笑丰张天李宣东郑国梁
- 关键词:接口自动机消息序列图
- 基于草图的移动应用模型查询方法
- 本发明属于软件工程领域与计算机视觉领域,具体为一种基于草图的移动应用模型查询方法,预定义的草图模型语言为一组基于IFML设计的移动应用布局控件符号语言,且已经建立了一个按照IFML模型规则设计的多维数据融合软件资产库(A...
- 潘敏学张天解温特
- 文献传递
- 一种基于约束求解的代码搜索方法
- 本发明公开了一种基于约束求解的代码搜索方法,其具体步骤为:步骤一、从开源社区中获取开源项目;步骤二、使用JPF和JDT分析源代码,将其转化为SSA格式;步骤三、使用JDT分析SSA格式的代码,将其转化为约束;步骤四、将源...
- 张天吴少博潘敏学姜人和
- 文献传递
- 一种随机化的软件模型生成方法被引量:3
- 2017年
- 模型转换是模型驱动开发的核心技术.当要把模型转换用于工业生产时,其性能成为影响这一技术成败的关键因素之一.为了测试模型转换程序的性能,需要能够快速地生成一组具有较大规模的模型数据用于作为测试的输入数据.提出一种随机化的模型生成方法,该方法能够根据元模型的定义以及用户输入的约束条件随机且正确地生成模型文件.实验结果表明:该方法与其他方法相比,具有更好的生成效率,从而更适合支持模型转换的性能测试.
- 何啸李文峰张天麻志毅邵维忠胡长军
- 一种基于强化学习的Android应用自动测试方法及系统
- 本发明公开一种基于强化学习的Android应用自动测试方法及系统,在测试过程中,自动测试工具自动运行Android APK,获取当前界面控件布局情况并推测出可执行交互事件,采用Q‑learning算法,交互事件第一次被探...
- 潘敏学黄安张天李宣东
- 文献传递