2010-03-15から1日間の記事一覧

QuickCheck++ 自明な入力データ

C++

入力データによっては、テストするまでもなく結果が自明である場合があります。 たとえば、以下の「reverseを2回適用したら元に戻るかどうか」のテストの場合、 1要素しかないvectorの場合は、テストするまでもなく成功することがわかります。 #include <vector> #in</vector>…