今度詳しく書こうと思うんだけど、忘れないようにアウトラインだけメモメモ。
●テストデータ作成の際のチェックに形式仕様は使える
テストデータは、事前条件と不変条件を満たしている。
→いない場合は、エラーではじいている
●テストのアサーションは、事後条件(さらに不変条件)のはず
●不変条件は、値の範囲と関連によって構成される
●テストデータ作成の際のチェックに形式仕様は使える
テストデータは、事前条件と不変条件を満たしている。
→いない場合は、エラーではじいている
●テストのアサーションは、事後条件(さらに不変条件)のはず
●不変条件は、値の範囲と関連によって構成される