-
公开(公告)号：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，基于决策树和分类函数输出计算规则。本发明实现电子表格公式的精准逆向工程。
-
公开(公告)号：CN116050102A
公开(公告)日：2023-05-02
申请号：CN202211697252.5
申请日：2022-12-28
Applicant: 南京大学
IPC: G06F30/20 , G06F8/41 , G06F111/04
Abstract: 本发明提供一种面向一致性规约检测的冗余动态预测与消除方法，包括基于不同类型约束计算树节点的语义推导出在多个真值取值条件下，子节点的真值决定父节点的真值，从而子节点的链接参与父节点链接的生成，随后以多个真值取值条件和约束计算树各个节点的实际真值取值为依据，由上至下地标记所有将生成对根节点链接有影响链接的节点；标记所有将生成非冗余链接的约束计算树节点后，在对约束计算树节点进行链接生成时，如果约束计算树节点生成非冗余链接，则进行链接生成，否则跳过该节点。本发明在保持结果正确性的条件下，通过消除冗余计算，链接生成步骤的总计算量大幅减少，提高链接生成步骤的效率，进而提高整个一致性规约检测过程的效率。
-
公开(公告)号：CN111506513B
公开(公告)日：2021-06-22
申请号：CN202010498119.1
申请日：2020-06-04
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于层次化模型的文件系统测试方法，包括以下步骤：对文件系统进行层次化建模，在每一层模型上设计抽象文件系统调用原语；利用获取的层次化模型，生成文件系统调用序列，作为文件系统的测试输入；将调用序列具体化，将其与运行时环境编译链接成可执行文件作为文件系统的测试用例；用QEMU虚拟机运行操作系统内核及文件系统并自动化加载运行测试用例；自动化分析运行结果，验证测试是否触发文件系统缺陷；对于触发缺陷的测试用例，自动化约减测试用例。本发明能够弥补已有文件系统测试技术的不足，层次化构建文件系统模型的方法，高效地生成文件系统测试输入，并自动化地将所产生的输入用于测试文件系统。
-
公开(公告)号：CN106970793B
公开(公告)日：2020-10-27
申请号：CN201710177127.4
申请日：2017-03-23
Applicant: 南京大学
Abstract: 本说明书公开了一种上下文一致性检测与修复系统及检验方法与平台。平台布设有传感器，并通过控制物理设备在其中测试。平台能够利用传感器实时不间断地采集环境上下文信息，通过一致性检测与修复系统来消除上下文的不一致性，然后触发各类事件，上层应用监听特定事件，及时地对物理设备进行调度，在真实环境中做出反馈，从而有效验证一致性检测与修复的正确性。本发明的平台包括设备连接与控制模块，状态转移模块，事件监听模块，自适应调度模块和应用模块。对上下文的采集、检测与修复，上层应用的反馈，设备的连接均是自动进行的。用户可自由选择运行场景，改变检测与修复模式，以更明显地体现一致性检测与修复方法的作用。
-
公开(公告)号：CN109086200B
公开(公告)日：2020-04-14
申请号：CN201810769468.5
申请日：2018-07-13
Applicant: 南京大学
Abstract: 本发明公开了一种基于安卓虚拟机修改的有效测试框架，包含服务端模块，客户端模块，可执行接口语言模块和插件扩展与管理模块；框架采用CS架构，安卓虚拟机内部的功能模块作为服务端，客户端接收用户输入的接口语言操作指令并进行解析，与服务端通过专门的应用层协议进行通信，能够读写安卓虚拟机的内部状态数据；所述服务端模块是基于安卓虚拟机修改的、测试框架运行在安卓移动设备上的模块；所述客户端模块是指运行在普通电脑上的测试框架模块，负责解析接口语言，与虚拟机内部通信；所述可执行接口语言模块，使用自定义的语言作为接口，提供给开发者使用。所述框架基于安卓ART虚拟机修改实现，具有方便性、有效性和高效性。
-
Patent Agency Ranking
公开(公告)号：CN106529304B
公开(公告)日：2019-06-14
申请号：CN201610952304.7
申请日：2016-10-27
Applicant: 南京大学
IPC: G06F21/57
Abstract: 本发明公开了一种安卓应用并发漏洞检测系统，包含并发漏洞分析模块、应用插装模块和应用执行模块；所述并发漏洞分析模块用于分析应用中的潜在并发漏洞，并传递给应用插装模块；应用插装模块根据并发漏洞分析模块的检测结果，在疑似数据竞争代码处插入能够改变线程调度的语句，在后台线程入口方法处插入能够阻塞线程运行的控制代码，同时插入获取应用运行时刻状态信息的后台服务；应用执行模块会运行被插装过的应用，并产生成对的疑似事件发送给应用以触发潜在的并发漏洞。本发明检测结果正确高效，全程自动化，不需要用户额外参与。
-
公开(公告)号：CN109086200A
公开(公告)日：2018-12-25
申请号：CN201810769468.5
申请日：2018-07-13
Applicant: 南京大学
Abstract: 本发明公开了一种基于安卓虚拟机修改的有效测试框架，包含服务端模块，客户端模块，可执行接口语言模块和插件扩展与管理模块；框架采用CS架构，安卓虚拟机内部的功能模块作为服务端，客户端接收用户输入的接口语言操作指令并进行解析，与服务端通过专门的应用层协议进行通信，能够读写安卓虚拟机的内部状态数据；所述服务端模块是基于安卓虚拟机修改的、测试框架运行在安卓移动设备上的模块；所述客户端模块是指运行在普通电脑上的测试框架模块，负责解析接口语言，与虚拟机内部通信；所述可执行接口语言模块，使用自定义的语言作为接口，提供给开发者使用。所述框架基于安卓ART虚拟机修改实现，具有方便性、有效性和高效性。
-
公开(公告)号：CN106528412A
公开(公告)日：2017-03-22
申请号：CN201610952301.3
申请日：2016-10-27
Applicant: 南京大学
IPC: G06F11/36 , G06F3/0488
CPC classification number: G06F11/3668 , G06F3/0488
Abstract: 本发明公开了一种安卓应用的相关手势投放测试框架，其特征在于：包含静态分析模块和运行时手势投放模块，静态分析模块用于分析出一个原始安卓应用的各个控件的相关手势信息，运行时手势投放模块用于将手势库和相关手势信息投放在安卓应用上展开测试。本发明自动对一个安卓应用进行静态分析以提取这个应用每个控件可能接受的手势，然后把这部分信息提供给运行时手势投放模块，该模块可以适配到当前绝大多数安卓应用的自动化测试工具中，换言之，它与自动化测试工具是松耦合的，兼容性较好。最终通过相关手势的投放，提高整个测试的覆盖率以及效率。
-
公开(公告)号：CN104156308B
公开(公告)日：2017-02-15
申请号：CN201410364808.8
申请日：2014-07-29
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于用户执行踪迹重放的移动应用测试方法，其步骤包含：记录用户对某移动应用的一次执行踪迹；分析该执行踪迹，并确定若干个停止点；重放应用的执行踪迹，直至某个停止点；从停止点开始，执行自动化测试方法。本发明利用少量的用户执行踪迹信息引导自动化测试过程，以一种简单可行的方式弥补了自动化方法难以处理复杂交互的不足，大大增强了代码的覆盖率，从而提高了测试效率和质量。
-
公开(公告)号：CN116501608A
公开(公告)日：2023-07-28
申请号：CN202310289507.2
申请日：2023-03-23
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明涉及基于大疆机甲大师的信息物理综合测试床架构，包括应用支撑框架和环境同步执行框架，分别对信息物理融合系统中的软件支撑组件和运行环境提供执行支撑。本发明将CPS应用开发过程中的软件在环运行环境和硬件在环运行环境相结合，在保留了硬件在环的真实软硬件交互过程的同时结合软件在环虚拟环境搭建代价小、运行安全的特点，保证了CPS应用开发时软件执行过程的安全性、可观测和可操作性。
-
-
-
-
-
-
-
-
-
Search Results
56
records
(took 0.025 seconds)
