t_wの輪郭

契約を集合論に則って表現できたとする。
その契約は演算可能となる。
演算可能ならばテスト可能である。
契約を集合として表現すればテストできる。