統計学の観点からは、(1)は全くその通りです。(2)も差の有無の検定を使う限りはそうです。
>「バグが治った(0回になった)」とは言えない
統計学的手段に頼るのであれば、どんな検証をしても「バグが治った(0回になった)」という結論を出すことは不可能では??
バグ発生率0%というためには、バグの発生原因を確定して、フィックスして、数学的手段で証明するしかないのでは。
それが不可能であれば、「十分な回数」の検証をしてバグ発生率が「十分に低い」ことを示すのが次善の策ではないでしょうか。
つまり、十分な回数がどれくらいで、十分に低いとはどれくらいなのかを考えるのが次にすべきことのような。