24、模糊测试与自适应突变调度技术解析

模糊测试与自适应突变调度技术解析

1. 功率调度算法

功率调度算法（Algorithm 7.4）用于确定种子的能量，其输入包括一个种子 s 、种子池里所有种子的数量 total_seed 、模糊测试过程中消耗的总能量 total_energy 以及当前种子突变生成的新种子数量 cur_seed ，输出为种子 s 的能量 s.energy 。具体步骤如下：
- 若种子 s 突变后引发崩溃，则进入确定性阶段。
- 若处于搜索状态， s.energy = (1 + ...) * energy(s) 。
- 若处于评估状态， s.energy = (1 + (...) + (...)) * energy(s) 。
- 从 cur_energy = 0 到 s.energy 进行循环：
- 当种子 s 的能量消耗达到 75% 时：
- 计算总平均值 total_average 和当前平均值 cur_average 。
- 若 total_average < threshold1 ，则跳出循环。
- 若 total_average > threshold2 ，则