TDDに関する記事のリンク集|ネスケラボ
こんにちは、青木です。 これは、TDD Advent Calendar jp: 2011の12/24分のエントリーです。 前日は@irasallyさんのエントリ「職業プログラマに贈るTDDのススメ」です。 翌日は@biacさんのエントリ「TDD とアジャイルを支えるバックボーン」です。 このエントリーではTDD(テスト駆動開発)に関する記事を、一覧に整理しています。 TDDには素晴らしい記事が多く、100を超えるリンク集になっています。 そこで目的に近い記事を探しやすいように、大まかな区分で分類して、内容について簡単なコメントを追記しました。また、昔の記事か最近の記事かわかるように掲載年月も記載しました。 TDDを学ぶときにこのリンク集が役立てば幸いです。 TDDとは ［動画で解説］和田卓人の“テスト駆動開発”講座(Gihyo.jp) http://gihyo.jp/dev/serial/
テスト自動化とは - ソフトウェアテスト自動化まとめサイト なんでも自動化サイト
1.V字開発プロセスモデルによる分類 1.1.要件定義 VDM 形式手法(Formal Methods)により仕様の自動検証などを行う。 1.2.システム設計 モデル検査 Spin モデル検査により状態遷移図の状態で自動検証を行う。 LTSA モデル検査により状態遷移図の状態で自動検証を行う。 NuSMV モデル検査により状態遷移図の状態で自動検証を行う。 モデル駆動 ZIPC(商用:キャッツ株式会社) 状態遷移図による検証が可能 MDA モデルを実際に動かして動作検証する。Executable Umlなどを使用して仕様を記述。 IAR visualSTATE(商用:IAR SYSTEMS) ステートマシンを設計、検証、実装できるツール。20ステートまでの無料の評価版あり 1.3.詳細設計 Enterprise Architect(商用:SPARX SYSTEMS) テストツールではないが
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
