ユニットテストの再利用や継続的利用を行おうとすると、テストコードにも保守性等に優れた良い設計が求められるようになります。そこで出番が増えてくるのがテストコードのリファクタリングです。 ただ現状、テストコードのリファクタリングはいくつか課題を抱えています。今回はその課題の１つである「リファクタリング前後でテストコードの振る舞いが変わっていないかチェックするテスト」（以下リファクタリングの回帰テスト）の実現方法についてまとめます。 テストの回帰テスト まずリファクタリングの回帰テストを真っ当に考えていきます。テストコードをテスト対象としてみると、一般的に以下の特徴が見えてきます。 SetupメソッドやMockオブジェクト等を通して、テスティングフレームワークから間接入力を受けます。 Assertionメソッド等を通して、テスティングフレームワークに対して間接出力を行っています。またMockオブ
Coq クィックリファレンス 書きかけだけれど、たぶん永遠に書きかけなので、とりあえず書いたところだけ公開。 基礎知識 Gallina の構文と Vernacular コマンド オプション モジュール Prop vs. Set vs. Type タクティク リファレンス 証明の補助: idtac, fail, move, clear, set, remember, pose, rename, intro, assert, cut, lapply, specialize, generalize 項による証明: exact, refine, apply 否定と矛盾: absurd, contradict, contradiction 帰納法と場合分け: fix, cofix, elim, induction, case (case_eq), destruct, intros, decompos
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
