约 7 分钟5 张卡

模糊测试

模糊测试（fuzz testing）持续生成或变异输入，执行被测程序，并根据崩溃、异常、超时或性质违反寻找缺陷。它特别适合解析器、协议处理和复杂输入边界，因为这些位置的组合很难全部手工列出。

真正需要解释的是输入怎样到达目标逻辑，以及什么证据算失败。随机产生很多字节，只能说明生成器运行了，不能证明测试进入了有效路径，更不能证明所有业务结果正确。

1. 面试核心

先记住这几条，再读正文

有效的模糊测试需要输入模型、测试入口、判定依据和可重现记录；项目价值由发现的真实问题及覆盖边界体现。卡 · 输入、语料与反馈
生成式方法按规则构造输入，变异式方法修改已有语料；结构与覆盖反馈有助于进入更深路径，不是只增加随机次数。卡 · 输入、语料与反馈
拒绝非法输入可以是正常行为，未预期异常、资源失控和业务性质违反才需要进一步判定。卡 · 测试入口与失败判定
重复执行需要重置会影响结果的状态，随机种子不保证跨版本和并发环境完全重现，实际失败输入应保存。卡 · 重现、最小化与回归
没有发现失败只说明本轮条件下未触发，不能据此证明不存在缺陷。卡 · 执行预算与适用边界

2. 输入、语料与反馈

卡 · 怎样说明一个模糊测试项目及其实际价值？卡 · 随机输入一直在头部校验失败，应怎样改善测试？

语料是用于开始或继续测试的一组输入样本。真实有效文件、最小合法报文和已经触发过特殊路径的样本，都可以成为语料。

方式	输入怎样产生	适合解决的问题
生成式	根据类型、语法或协议结构构造	需要较复杂合法结构才能进入深层逻辑
变异式	对已有输入翻转、插入、删除或组合	从已有有效样本附近探索边界
覆盖引导	用新路径等反馈选择保留和继续变异的输入	减少反复走相同浅层路径

例如某种文件先检查头部、长度和校验值。完全随机字节可能一直在头部被拒绝，难以进入正文解析。使用有效种子、结构生成或针对性变异，可以让输入到达后续代码。

覆盖反馈只说明执行路径发生变化，不自动说明结果正确。增加路径的输入仍然需要有效判定；没有新覆盖的样本，也可能在相同路径触发不同数据错误。

3. 测试入口与失败判定

卡 · 怎样说明一个模糊测试项目及其实际价值？卡 · 模糊测试中出现异常就一定是缺陷吗？

测试入口把生成输入传给目标逻辑，并将结果转成测试能够观察的信号。入口应尽量小，避免每次输入都启动整套无关业务，但不能绕过需要验证的真实解析步骤。

失败判定可以来自不同依据：

依据	示例	需要明确的边界
崩溃或运行时检查	非法内存访问、未处理异常	工具环境问题也可能导致进程退出
超时和资源上限	解析小输入却长时间不返回	阈值需符合目标和运行资源
不变量	接受的消息长度必须与声明一致	不变量必须来自协议规则
往返性质	编码后解码保持指定信息	规范化可能改变表示，不能一律要求字节相同
差分比较	同一输入交给两个实现	需先统一版本和语义，差异不自动说明谁错

不能把所有异常都吞掉。若协议规定非法输入抛 ValueError，这类拒绝可以继续下一轮；未预期的 IndexError 或断言失败则应保留输入并分析。内存安全问题还可能需要运行时检测器协助，单靠返回码无法覆盖全部问题。

4. 有界解析示例

卡 · 模糊测试中出现异常就一定是缺陷吗？

假设一种简单消息由一个长度字节和正文组成。长度字节必须等于后续字节数，不接受多余字节或截断正文。下面用 Python 标准库构造小规模随机输入，并核对这个规则：

import random


def parse_frame(data):
    if not data:
        raise ValueError("missing length")
    declared = data[0]
    if len(data) != declared + 1:
        raise ValueError("length mismatch")
    return data[1:]


def check_input(data):
    try:
        payload = parse_frame(data)
    except ValueError:
        return
    assert len(payload) == data[0]
    assert bytes([len(payload)]) + payload == data


rng = random.Random(1234)
inputs = [b"", b"\x00", b"\x02AB", b"\x02A"]
inputs.extend(
    bytes(rng.randrange(256) for _ in range(rng.randrange(33)))
    for _ in range(2000)
)

for data in inputs:
    try:
        check_input(data)
    except Exception:
        print("failing input:", data.hex())
        raise

print("checked", len(inputs), "inputs")