「バグを発見する」が品質保証の成果物だと思ってたけど、違うな。すでに名前がそうなってるけど、正しく動作することを証明するのが、品質保証の成果物で、バグの発見はあくまで副産物なんだ。

極端な話、テストしなくても正しさを証明できればOK。そこが本日。