1 テストの“質”評価と欠陥分析による ソフトウェア信頼性評価 -振り返り型品質保証 から 予測型品質管理へ- S-open(ソフトウェア技術者ネットワーク) ソフトウェアメトリクスSIG 堀 明広 2 はじめに � <悪魔の証明>:「ない」ことを証明することの難しさ � 「あることの証明」は、特定の「あること」を一例でも提示すればすむが、 「ないことの証明」は、厳密には全称命題の証明であり、全ての存在・可能 性について「ないこと」を示さねばならないためである。すなわち、「ないこ との証明」は「あることの証明」に比べ、一般に困難である場合が多い。 � 例:「第二次世界大戦では鎖鎌を武器にした兵士がいた」 � これを「ないこと」として否定する場合は第二次世界大戦に参加した人間 全てを調べなければいけない。しかしそのような調査は実行不可能である。 一方、一人でも鎖鎌を使った人間がいることを証拠