先のエントリは、QAのプロからみたら絵に描いた餅にみえるのかもしれない。日ごろから感じているんだけど、ソフトウェアテストに対して、2つの見方がある。 システムの正しさを証明する、という見方 システムの間違いを発見する、という見方 最初のほうは非…

ソフトウェアのテスト技法は数学の証明でたとえるなら、場合わけをして、各ケースを証明することに相当する。例えば、マトリックスを書いてテストをするなんていうのは典型的な例で、実際にはすべての例を挙げることはできないので、できるだけ重要なケース…