基于视频动态分析的电子表格公式合成与错误检测方法

    公开(公告)号:CN111144256A

    公开(公告)日:2020-05-12

    申请号:CN201911307014.7

    申请日:2019-12-18

    Applicant: 南京大学

    Abstract: 本发明公开了一种基于视频动态分析的电子表格公式合成与错误检测方法,包括:S1:动态获取视频图像,提取其中所包含的幻灯片,对提取的幻灯片进行仿射变换与对比度增强;S2:从幻灯片中识别表格边框线与各单元格信息,以提取幻灯片中的电子表格;S3:利用公式合成算法对电子表格进行公式合成,恢复电子表格隐藏公式;S4:利用错误检测算法检测恢复隐藏公式后电子表格中是否存在具有缺陷的单元格,如果存在,生成错误定位报告,指出具有潜在公式或数值错误的单元格。本发明能够针对动态视频中的幻灯片和电子表格,高效地进行识别与分析,使用户在会议、课堂等实际场景中快捷检测和定位幻灯片中电子表格的隐藏公式及其潜在错误。

    提高安卓应用测试覆盖率的测试用例分解组合方法和系统

    公开(公告)号:CN111290966B

    公开(公告)日:2023-06-02

    申请号:CN202010155397.7

    申请日:2020-03-09

    Applicant: 南京大学

    Abstract: 本发明公开了一种提高安卓应用测试覆盖率的测试用例分解组合方法,包含如下步骤:一、给定被测安卓应用,使用自动生成或人工提供的方式为被测应用生成初始测试用例,发送这些初始测试用例到被测应用,记录其执行轨迹,根据执行轨迹建立被测应用的状态自动机;二、将初始测试用例分解为执行应用单个功能的子用例;三、分析子用例间的关系,组合成执行被测应用复杂功能的复合测试用例;四、向被测应用发送生成的复合测试用例,根据其执行轨迹决定是否返回步骤一迭代执行。本发明能够自动生成有效复合测试用例以测试被测安卓应用的复杂功能,提高安卓应用测试覆盖率。

    基于视频动态分析的电子表格公式合成与错误检测方法

    公开(公告)号:CN111144256B

    公开(公告)日:2023-04-25

    申请号:CN201911307014.7

    申请日:2019-12-18

    Applicant: 南京大学

    Abstract: 本发明公开了一种基于视频动态分析的电子表格公式合成与错误检测方法,包括:S1:动态获取视频图像,提取其中所包含的幻灯片,对提取的幻灯片进行仿射变换与对比度增强;S2:从幻灯片中识别表格边框线与各单元格信息,以提取幻灯片中的电子表格;S3:利用公式合成算法对电子表格进行公式合成,恢复电子表格隐藏公式;S4:利用错误检测算法检测恢复隐藏公式后电子表格中是否存在具有缺陷的单元格,如果存在,生成错误定位报告,指出具有潜在公式或数值错误的单元格。本发明能够针对动态视频中的幻灯片和电子表格,高效地进行识别与分析,使用户在会议、课堂等实际场景中快捷检测和定位幻灯片中电子表格的隐藏公式及其潜在错误。

    基于程序合成的安卓智能手表原型应用自动生成方法

    公开(公告)号:CN114510237A

    公开(公告)日:2022-05-17

    申请号:CN202210188726.7

    申请日:2022-02-28

    Applicant: 南京大学

    Inventor: 蒋炎岩 李聪 许畅

    Abstract: 本发明公开一种基于程序合成的安卓智能手表原型应用自动生成方法,包括如下步骤:步骤一、形成人工记录页面集合;步骤二、自动合成多个组件选择子集合,并挑选一个最优组件选择子;步骤三、形成组件集合,并为组件集合中的组件建立适用于手表应用的组件间位置约束;步骤四、求解为该页面建立的组件间位置约束,形成组件位置集合,生成智能手表页面;步骤五、结合事件转发部件生成智能手表原型应用。本发明弥补了现有智能手表应用合成技术的缺失;生成大量智能手表原型应用,从而极大扩充并丰富应用商店;为开发者或终端用户在急需时根据智能手机应用自动生成其智能手表原型,从而极大地帮助开发者缓解开发压力,方便终端用户使用。

    一种兼顾深度以及广度的模糊测试搜索方法

    公开(公告)号:CN110096448A

    公开(公告)日:2019-08-06

    申请号:CN201910389591.9

    申请日:2019-05-10

    Applicant: 南京大学

    Abstract: 一种兼顾深度以及广度的模糊测试搜索方法,包括如下步骤:步骤一、动态削减低效变异算子:计算变异算子效益,并且据此调整各个变异算子的使用概率;步骤二、动态削减低效变异字节:分析当前测试输入,并且据此确定当前测试输入中的低效变异字节;步骤三、模糊测试引擎:根据变异算子使用概率以及低效变异字节,执行遗传演化算法,从而生成子女输入;步骤四、基于代码覆盖差异的局部深度优先搜索:分析当前测试输入所生成的子女输入间的代码覆盖差异,并且据此确定深度优先搜索范围。本发明能够弥补模糊测试的不足,利用少量程序执行信息,削减低效操作,增强代码覆盖率,从而提高测试效率以及质量。

    一种轻量化的安卓应用运行方法和系统

    公开(公告)号:CN118377700A

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

    申请号:CN202410345466.9

    申请日:2024-03-25

    Applicant: 南京大学

    Abstract: 本发明公开一种轻量化的安卓应用运行方法和系统,可通过计算机终端或在浏览器中通过网页的方式使用安卓应用并与之交互,采用CS架构设计;服务端为Java系统,模拟安卓系统给安卓应用提供的运行环境,使安卓应用运行不依赖于安卓设备(系统),该Java系统提供了支持安卓运行的必要组件,通过对安卓系统的精简与优化实现了轻量化运行安卓应用的目标,同时可快速通过参数配置模拟出的安卓环境;使用终端作为客户端访问服务端运行的安卓系统,通过命令行的方式与运行交互;使用浏览器作为客户端访问服务端运行的安卓应用,服务端将安卓应用界面计算后发送给浏览器渲染,用户通过在浏览器中呈现的界面与安卓应用交互。

    一种支撑生产环境测试的编程系统及其在生产环境中的测试方法

    公开(公告)号:CN118113608A

    公开(公告)日:2024-05-31

    申请号:CN202410245470.8

    申请日:2024-03-05

    Applicant: 南京大学

    Abstract: 本发明公开了一种支撑生产环境测试的编程系统及其在生产环境中的测试方法,该编程系统包括:接口模块和运行时模块,所述接口模块用于在生产环境中待测试Java程序中加入在线测试代码,所述运行时模块用于运行待测试Java程序,产生快照,将快照解析还原成待测试Java程序的状态,并通过在线测试代码进行在线测试。本发明提供的在线测试接口允许在生产环境中对待测试Java程序进行便捷且不影响其正常运行的测试,运行时模块通过保存待测试Java程序状态的快照来执行测试,既提高了测试覆盖率也确保了测试行为不干扰程序运行,同时也通过一系列调控保证了资源的高效利用和运行时开销的可控。

    一种异构表格填充方法
    8.
    发明公开

    公开(公告)号:CN116362211A

    公开(公告)日:2023-06-30

    申请号:CN202310336916.3

    申请日:2023-03-31

    Applicant: 南京大学

    Abstract: 本发明提供一种异构表格填充方法,包括S1,对源数据表和待填目标表进行归一化处理,分别得到归一化源表与归一化目标表;S2,当归一化源表中不存在未评估的候选单元格时,执行步骤S4的操作;当归一化源表中存在未评估的候选单元格时,执行步骤S3的操作;S3,选取任意未评估的候选单元格作模拟填充,并返回执行步骤S2的操作;S4,返回最适单元格并将最适单元格文本数据填充到待填单元格中。本发明将不同应用中的表格实例通过归一化的方式转换为统一的中间表示,使得后续评估候选单元格的过程无需关注应用的具体实现,模拟用户在填充表格时对于表格的设计和使用习惯,使得最适候选单元格能够与用户选出的最适候选单元格一致。

    提高安卓应用测试覆盖率的测试用例分解组合方法和系统

    公开(公告)号:CN111290966A

    公开(公告)日:2020-06-16

    申请号:CN202010155397.7

    申请日:2020-03-09

    Applicant: 南京大学

    Abstract: 本发明公开了一种提高安卓应用测试覆盖率的测试用例分解组合方法,包含如下步骤:一、给定被测安卓应用,使用自动生成或人工提供的方式为被测应用生成初始测试用例,发送这些初始测试用例到被测应用,记录其执行轨迹,根据执行轨迹建立被测应用的状态自动机;二、将初始测试用例分解为执行应用单个功能的子用例;三、分析子用例间的关系,组合成执行被测应用复杂功能的复合测试用例;四、向被测应用发送生成的复合测试用例,根据其执行轨迹决定是否返回步骤一迭代执行。本发明能够自动生成有效复合测试用例以测试被测安卓应用的复杂功能,提高安卓应用测试覆盖率。

    一种安卓应用并发漏洞检测系统

    公开(公告)号:CN106529304A

    公开(公告)日:2017-03-22

    申请号:CN201610952304.7

    申请日:2016-10-27

    Applicant: 南京大学

    CPC classification number: G06F21/577 G06F2221/033

    Abstract: 本发明公开了一种安卓应用并发漏洞检测系统,包含并发漏洞分析模块、应用插装模块和应用执行模块;所述并发漏洞分析模块用于分析应用中的潜在并发漏洞,并传递给应用插装模块;应用插装模块根据并发漏洞分析模块的检测结果,在疑似数据竞争代码处插入能够改变线程调度的语句,在后台线程入口方法处插入能够阻塞线程运行的控制代码,同时插入获取应用运行时刻状态信息的后台服务;应用执行模块会运行被插装过的应用,并产生成对的疑似事件发送给应用以触发潜在的并发漏洞。本发明检测结果正确高效,全程自动化,不需要用户额外参与。

Patent Agency Ranking