公开(公告)号：CN118069531A

公开(公告)日：2024-05-24

申请号：CN202410308094.2

申请日：2024-03-18

Applicant: 清华大学

Inventor： 沈煜恒 ,  刘健中 ,  徐意如 ,  姜宇

IPC: G06F11/36

Abstract: 本发明涉及系统测试技术领域，提供一种测试嵌入式操作系统的处理方法、装置、电子设备及存储介质，该系统包括：确定对应于嵌入式操作系统的测试用例与系统业务之间的执行关系，将执行关系和测试用例存入共享数据缓冲区，以使虚拟机从共享数据缓冲区中获取执行关系和测试用例，基于执行关系，使测试用例对系统业务的执行文件进行测试，得到覆盖率收集结果，并将覆盖率收集结果存入共享数据缓冲区；从共享数据缓冲区中获取覆盖率收集结果，对上次和当次的覆盖率收集结果进行分析，得到分析结果，基于分析结果新增测试用例和/或修改测试用例。本发明通过共享数据缓冲区为设备基于覆盖率优化测试用例、为虚拟机测试系统提供便利，实现能够对不同嵌入式操作系统进行测试工作，提高对不同系统漏洞挖掘的效率。

公开(公告)号：CN118427834A

公开(公告)日：2024-08-02

申请号：CN202410530792.7

申请日：2024-04-29

Applicant: 清华大学

Inventor： 沈煜恒 ,  刘健中 ,  徐意如 ,  姜宇

IPC: G06F21/57

Abstract: 本发明涉及程序漏洞检测领域，公开了一种机器人操作系统的漏洞检测优化方法、装置及设备，该方法包括：通过注册追踪器获取注册信息，通过运行时追踪器获取机器人操作系统的执行信息；所述注册信息包括与回调函数相关的属性以及回调函数所属的类型；根据所述注册信息和所述执行信息构建回调追踪；对所述回调追踪进行分析，验证是否产生新系统状态；根据所述新系统状态生成新的测试用例，将所述新的测试用例作为下一轮循环的测试用例。本发明解决了传统对机器人操作系统漏洞的模糊测试粗略、不全面的问题。

公开(公告)号：CN118093421A

公开(公告)日：2024-05-28

申请号：CN202410307757.9

申请日：2024-03-18

Applicant: 清华大学

Inventor： 沈煜恒 ,  徐意如 ,  刘健中 ,  姜宇

IPC: G06F11/36

Abstract: 本发明涉及系统测试技术领域，提供一种应用系统测试方法、装置、电子设备及存储介质，该系统包括：生成待测系统的多个测试用例，每个测试用例包含多个系统调用序列和各个系统调用序列的实时优先级；基于各个系统调用序列的实时优先级执行多个测试用例对待测系统进行测试，得到测试结果。本发明通过生成待测系统的多个测试用例，每个测试用例包含多个系统调用序列和各个系统调用序列的实时优先级，然后基于各个系统调用序列的实时优先级执行多个测试用例对待测系统进行测试，获取测试结果，能够充分模拟实际运行时的情况，达到有效测试实时操作系统，从而提高模糊测试的性能。