osのバグを無くす事は論理的には全てのケースをテストする事で可能なはず
ただ「全てのケース」をどのように誰が設定出来るかまたテストを実施できるかが問題だよね

今の開発担当者は自分の担当部分のテストだけをするしテストの担当者自分が考えてる範囲でしかテストケースを設定出来ない(まあ担当者レベルでは考えられる「全てのケース」は設定するんだろうけど)

また設定された「全てのケース」のテストが時間的に実施出来るかの問題もある