ソフトウェアのテスト技法⑪_ソフトウェアの検証