アサーションベース設計　原書2版 [戻る]