ソフトウェア品質保証特論

日常生活をはじめ社会のあらゆるところでソフトウェアが利用されている現代において、ソフトウェアの品質をいかに保証するかというのは重要な問題である。古くは1960年代のロケットの軌道計算の時代から、ソフトウェア品質保証は取り組まれてきた。本講義においては、ソフトウェア品質保証とは何か、品質を図るにはどうすれば良いのかを学ぶ。そして、ソフトウェアの品質を保証するための様々な技術、特にテスト技術について学習する。