公开(公告)号：CN117834488A

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

申请号：CN202311731579.4

申请日：2023-12-15

Applicant: 清华大学

Inventor： 陈元亮 ,  马福辰 ,  周远航 ,  姜宇

IPC: H04L43/0852 ,  H04L43/06

Abstract: 本发明公开了一种分布式超时机制漏洞的模糊测试方法、装置及设备，该方法包括：确定第一待测分布式系统，生成延迟块，向所述第一待测分布式系统中注入所述延迟块，输出带有一组延迟块的第二待测分布式系统；向所述第二待测分布式系统发送工作负载运行请求，根据运行时上下文动态选择延迟块的子集生成延迟序列，激活所述延迟序列中的延迟块；执行带有激活延迟块的工作负载，基于瞬态延迟机制触发超时机制；实时监视第二待测分布式系统的运行状态，检测所述超时机制是否存在超时错误，若是，则生成测试报告；继续测试过程的迭代直至终止。本发明解决了测试工具可扩展性低、通用性差、测试效率低下等问题。

公开(公告)号：CN117494101A

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

申请号：CN202311317243.3

申请日：2023-10-11

Applicant: 清华大学

Inventor： 周远航 ,  马福辰 ,  陈元亮 ,  姜宇

IPC: G06F21/46 ,  G06F21/55 ,  G06F16/22 ,  G06F11/22 ,  G06F11/36 ,  G06N3/043

Abstract: 本发明公开了一种基于语义感知的密码库模糊测试方法、装置及设备，该方法包括：获取待测密码算法，提取待测密码算法的语义信息；基于语义信息根据不同的测试输入类型建立相应的生成策略；根据生成策略依次生成测试输入的各个字段，将字段组成序列化的字节串作为测试输入；通过测试驱动将测试输入交付到密码库执行；实时对密码库的执行过程进行异常行为监测，将执行结果进行差分测试以及基于语义验证的交叉测试；根据差分测试和交叉测试的测试结果输出待测密码算法的计算结果和密码库的漏洞报告。本发明解决了现有密码库测试兼容性差、准确率低、测试种类受限以及测试效率低下等问题。

公开(公告)号：CN116170357B

公开(公告)日：2023-07-04

申请号：CN202310439879.9

申请日：2023-04-23

Applicant: 清华大学

Inventor： 马福辰 ,  陈元亮 ,  周远航 ,  姜宇

IPC: H04L43/18 ,  H04L9/40

Abstract: 本发明提供一种区块链共识协议的模糊测试方法和装置，用于区块链中的测试节点，包括：根据区块链中每一个正常节点发送的消息，对每一个正常节点进行状态迁移感知；基于状态迁移感知，生成每一个正常节点的测试消息；向每一个正常节点发送测试消息并监控区块链中由测试消息引起的正常节点异常崩溃，以挖掘共识协议的内存漏洞。本发明利用伪装成参与区块链系统正常节点的测试节点对区块链系统正常节点进行实时状态感知，并在状态感知的基础上构建高质量的测试消息，从而高效且准确地挖掘共识协议的安全漏洞。

公开(公告)号：CN119829421A

公开(公告)日：2025-04-15

申请号：CN202411742318.7

申请日：2024-11-29

Applicant: 清华大学

Inventor： 陈元亮 ,  马福辰 ,  周远航 ,  颜臻 ,  姜宇

IPC: G06F11/3668 ,  G06F9/50

Abstract: 本发明提供一种基于负载差异度引导的分布式系统负载均衡测试方法及装置，其中的方法包括：将多维度输入转换为一维的初始输入操作序列；其中，多维度输入包括工作负载、负载配置以及节点故障中的一项或多项组合；根据初始输入操作序列生成初始测试用例，并变异选定的初始测试用例，得到新测试用例；其中，初始测试用例存储于种子池中；控制分布式系统运行新测试用例，并根据分布式系统中节点的运行时负载数据计算分布式系统中每对节点的负载差异度；根据负载差异度确定目标测试用例，并将目标测试用例存储于种子池中，以引导下一次模糊测试迭代。该方法通过将用户请求、系统配置变化、系统故障情况等影响负载均衡机制的三个维度输入建模成标准的一维输入序列，便于后续模糊测试，提升了测试效率；与此同时，通过将分布式节点之间的负载差异度作为引导反馈优化输入空间，能够持续生成高质量测试用例，以最大程度地揭示了分布式系统中节点之间的负载不均衡，可以帮助开发者更有效地识别和解决潜在的性能瓶颈，提升了测试覆盖率，也提升了系统的整体稳定性与响应速度。

公开(公告)号：CN116170357A

公开(公告)日：2023-05-26

申请号：CN202310439879.9

申请日：2023-04-23

Applicant: 清华大学

Inventor： 马福辰 ,  陈元亮 ,  周远航 ,  姜宇

IPC: H04L43/18 ,  H04L9/40

Abstract: 本发明提供一种区块链共识协议的模糊测试方法和装置，用于区块链中的测试节点，包括：根据区块链中每一个正常节点发送的消息，对每一个正常节点进行状态迁移感知；基于状态迁移感知，生成每一个正常节点的测试消息；向每一个正常节点发送测试消息并监控区块链中由测试消息引起的正常节点异常崩溃，以挖掘共识协议的内存漏洞。本发明利用伪装成参与区块链系统正常节点的测试节点对区块链系统正常节点进行实时状态感知，并在状态感知的基础上构建高质量的测试消息，从而高效且准确地挖掘共识协议的安全漏洞。