-
公开(公告)号：CN104156308A
公开(公告)日：2014-11-19
申请号：CN201410364808.8
申请日：2014-07-29
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于用户执行踪迹重放的移动应用测试方法，其步骤包含：记录用户对某移动应用的一次执行踪迹；分析该执行踪迹，并确定若干个停止点；重放应用的执行踪迹，直至某个停止点；从停止点开始，执行自动化测试方法。本发明利用少量的用户执行踪迹信息引导自动化测试过程，以一种简单可行的方式弥补了自动化方法难以处理复杂交互的不足，大大增强了代码的覆盖率，从而提高了测试效率和质量。
-
公开(公告)号：CN112764788B
公开(公告)日：2023-06-16
申请号：CN202110073391.X
申请日：2021-01-19
Applicant: 南京大学
Abstract: 本发明公开了一种基于程序源码切片重组的软件动态更新热补丁合成方法，包括：通过静态程序分析新、旧版本程序的源码和/或二进制代码，提取一定量动态更新相关的基本构件和数据流切片；枚举提出得到的基本构件的组合，并根据其数据流关系自动生成对应的转换函数；在测试用例上运行生成的转换函数，输出正确的转换函数。本发明能够自动分析新旧版本程序代码，提取出构造转换函数的基本构件和数据流切片，进而利用他们自动合成对象状态转换函数，帮助开发者，大幅减轻人工负担。
-
公开(公告)号：CN116088979A
公开(公告)日：2023-05-09
申请号：CN202211391018.X
申请日：2022-11-08
Applicant: 南京大学
Abstract: 本发明公开一种响应式的安卓应用跨设备录制重放方法，所述响应式的安卓应用跨设备录制重放方法致力于，当安卓应用的用户界面在不同设备呈现发生响应式变化时，能提供自动的测试用例重放能力。为实现测试用例的跨设备重放，所述方法利用响应式模式提出了一个简单高效、基于贪心的单趟算法，其基本思想是对已录制测试用例的每一个事件，按序在重放设备上搜索一个等价的事件序列，从而完成跨设备的测试用例重放。本发明弥补了现有安卓应用跨设备录制重放技术，在用户界面发生响应式变化时的能力缺失。借助本发明，开发者无需在重放设备发生变化时重新录制测试用例，极大地方便了开发人员和测试人员，并间接提升了安卓应用的质量和稳定性。
-
公开(公告)号：CN110096448B
公开(公告)日：2020-09-18
申请号：CN201910389591.9
申请日：2019-05-10
Applicant: 南京大学
IPC: G06F11/36
Abstract: 一种兼顾深度以及广度的模糊测试搜索方法，包括如下步骤：步骤一、动态削减低效变异算子：计算变异算子效益，并且据此调整各个变异算子的使用概率；步骤二、动态削减低效变异字节：分析当前测试输入，并且据此确定当前测试输入中的低效变异字节；步骤三、模糊测试引擎：根据变异算子使用概率以及低效变异字节，执行遗传演化算法，从而生成子女输入；步骤四、基于代码覆盖差异的局部深度优先搜索：分析当前测试输入所生成的子女输入间的代码覆盖差异，并且据此确定深度优先搜索范围。本发明能够弥补模糊测试的不足，利用少量程序执行信息，削减低效操作，增强代码覆盖率，从而提高测试效率以及质量。
-
公开(公告)号：CN111506513A
公开(公告)日：2020-08-07
申请号：CN202010498119.1
申请日：2020-06-04
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于层次化模型的文件系统测试方法，包括以下步骤：对文件系统进行层次化建模，在每一层模型上设计抽象文件系统调用原语；利用获取的层次化模型，生成文件系统调用序列，作为文件系统的测试输入；将调用序列具体化，将其与运行时环境编译链接成可执行文件作为文件系统的测试用例；用QEMU虚拟机运行操作系统内核及文件系统并自动化加载运行测试用例；自动化分析运行结果，验证测试是否触发文件系统缺陷；对于触发缺陷的测试用例，自动化约减测试用例。本发明能够弥补已有文件系统测试技术的不足，层次化构建文件系统模型的方法，高效地生成文件系统测试输入，并自动化地将所产生的输入用于测试文件系统。
-
Patent Agency Ranking
公开(公告)号：CN106528412B
公开(公告)日：2019-01-08
申请号：CN201610952301.3
申请日：2016-10-27
Applicant: 南京大学
IPC: G06F11/36 , G06F3/0488
Abstract: 本发明公开了一种安卓应用的相关手势投放测试框架，其特征在于：包含静态分析模块和运行时手势投放模块，静态分析模块用于分析出一个原始安卓应用的各个控件的相关手势信息，运行时手势投放模块用于将手势库和相关手势信息投放在安卓应用上展开测试。本发明自动对一个安卓应用进行静态分析以提取这个应用每个控件可能接受的手势，然后把这部分信息提供给运行时手势投放模块，该模块可以适配到当前绝大多数安卓应用的自动化测试工具中，换言之，它与自动化测试工具是松耦合的，兼容性较好。最终通过相关手势的投放，提高整个测试的覆盖率以及效率。
-
公开(公告)号：CN108984407A
公开(公告)日：2018-12-11
申请号：CN201810769042.X
申请日：2018-07-13
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于安卓应用层修改的有效测试框架，包含设备管理模块、事件生成模块、应用程序状态获取模块和程序插桩模块。所述安卓应用层是指安卓应用在安卓系统运行的系统分层，安卓应用层修改是指修改安卓应用程序的源码，在源码中插入代码模块来帮助进行程序测试和分析，所插模块在安卓应用运行过程中不影响原程序的正常运行；所述测试框架用来帮助测试人员方便有效地开发针对安卓应用的测试工具，封装实现细节，提供底层的技术支撑；所述有效测试框架是指框架对于测试工具的构建是有效的，能够提供足够的支持，能够帮助开发者完成一些测试技术的实现。本发明可以帮助测试人员方便有效地完成面向安卓移动应用的有效测试工具。
-
公开(公告)号：CN118227471A
公开(公告)日：2024-06-21
申请号：CN202410245473.1
申请日：2024-03-05
Applicant: 南京大学
Abstract: 本发明公开了一种动态依赖驱动的软件测试任务组织系统及组织方法，包括：环境构建模块根据软件测试任务使用的硬件构架和操作系统，构建虚拟机基础镜像，根据拷贝文件和软件指令的构建步骤，构建软件测试任务的工具镜像，并获取工具镜像的全局唯一标识符；依赖解析模块针对每个软件测试任务按照依赖项目的顺序进行解析，将解析结果与一个可执行任务的参数列表对应，并结合软件测试任务的名称获取可执行任务的全局唯一标识符；任务执行模块根据软件测试任务的执行参数从文件存储中拷贝工具镜像和数据文件，根据虚拟机运行环境向虚拟机提供数据文件，实现在虚拟机中运行软件测试任务，收集产生的产物文件，存储产物文件和执行日志。
-
-
公开(公告)号：CN116227450A
公开(公告)日：2023-06-06
申请号：CN202310329057.5
申请日：2023-03-30
Applicant: 南京大学
IPC: G06F40/18 , G06F40/205 , G06F18/2431
Abstract: 本发明提供一种电子表格公式计算规则逆向工程方法，包括S1，生成公式实例；S2，进行预编码得到每个公式实例的类别标签，并将特征列表初始化为每个输入单元格的类型特征组成的特征列表，并标记为已解释的类型特征；S3，对每个公式实例进行特征编码，得到每个公式实例对应的样本，分类所有样本，当分类正确率为100％，执行步骤S5的操作；S4，更新特征列表，返回执行步骤S3的操作；S5，当特征列表中全部为已解释的特征，执行步骤S7的操作；S6，选取任意未解释的函数特征进行解释后标记为已解释的函数特征，返回执行步骤S5的操作；S7，基于决策树和分类函数输出计算规则。本发明实现电子表格公式的精准逆向工程。
-
-
-
-
-
-
-
-
-
Search Results
26
records
(took 0.017 seconds)
