InfoQ

News

TDDへの見解:品質は思索と熟考から得られる。バグの抑制からではない。

作者 Abel Avram, 翻訳者 渡辺 裕之 投稿日 2008年7月8日 午前12時33分

コミュニティ
Agile
トピック
アジャイル技術,
ユニットテスト
タグ
テスト,
XP,
批判,
TDD

トレーナー、メンターそしてコンサルタントでもあるMichael Feather氏は最近の投稿でユニット・テストそのものがコードの品質を向上させる(リンク)という広く普及した考え方について論じている。Michael氏はユニット・テスト、インテグレーション・テスト、TDDそしてクリーン・ルーム・ソフトウェア開発について言及し、コードの品質というのは思索と熟考から得られるのであってバグの抑制から得られるのではないと結論付けている。M3P社の独立コンサルタントSteve Freeman氏はMichael氏のアイディアを発展させ、"経験知に基づくTDDの最適化"(リンク)について語りTDDがなぜ役立つのかを説明している。

Michael氏はテストを通してバグを潰していくことで品質向上をはかるという考え方には欠点がある(リンク)と考えている。

ユニット・テストに関する最も一般的な説の一つはテストで見つけたエラーを取り除くことによって品質が保たれるというものです。一見これは正しいように思えます。テストは成功または失敗します。そして失敗した際に問題があることを知り、それを修正します。もしあなたがこの説に賛同しているのだとしたら、あなたはインテグレーション・テストで発見されるインテグレーション段階のエラー、ユニット・テストで発見される「ユニット」段階のエラーがより少なくなることを期待するでしょう。それは素晴らしい説です。でも間違っています。このことを確認するにはユニット・テストを他の品質向上の手段と比較するのが一番です。劇的な効果を得られる手段と(比較することです)。

持論を証明するためMichael氏はクリーン・ルーム・ソフトウェア開発について語っている。これは1980年代に使用された方法である。Michael氏によるとクリーン・ルームではユニット・テストは一切存在しないという。

クリーン・ルームという概念の背後には開発の厳格さを増すことで品質が向上できるという考え方があります。クリーン・ルームでは小さなコードの断片一つ一つについて述語論理*を記述し、レビューの際に書いたコードが記述したその述語に過不足ないことをデモンストレーションしなければならなりません。とても厳格な方法です。そして実際には私が述べたより徹底的なのです。クリーン・ルームのもう一つの教義はユニット・テストが存在しないことです。まったく(存在しない)。ゼロです。コードを書いてそれがレビューされたらそのコードは正しいと仮定されるのです。唯一のテストはと言えば、機能レベルでの確率論的なテストになります。

興味深いのはクリーン・ルームが結果を残していたということだ。一切のユニット・テストを行わずに品質を向上させていたのだ。クリーン・ルームに起きたこととTDDに起こることはとてもよく似ている。開発者は継続的なレビュー、リファクタリングと品質向上を強制されるのだ。Michael氏は以下のように結論付けている。

要するにテストを機械論的に扱うことはできないということです。ユニット・テストでエラーを取り除くことでユニット・レベルの品質を向上させることはできないのです。同様に、インテグレーション・テストでエラーを取り除くことによってインテグレーション・レベルの品質を向上させることはできないのです。真実はもっと繊細なものです。品質は思索と熟考から得られるのです。正確な思索と熟考です。これが品質の魔法です。技術は常に品質を向上させるのを補強するのです。

Michael氏の投稿を発端にM3Pの独立コンサルタントであるSteve Freeman氏は、そのアイディアをさらに発展させて"経験知に基づくTDDの最適化"(リンク)について述べている。開発者は自分のコードにに影響を与える判断をすることがある。

実は人は慎重にトレード・オフを検討し最適な方法を選択するということにあまり時間を掛けていません。その代わりに"最初に合致した"方法を採用します。それまでの学習成果のリストからこれで十分だろうと思える最初のものを選択するのです。これらは全て無意識に行われています。そしてその後でニブイ脳みそが動き始め選択された方法を最適化するのです。このようなことが起きていることにさえ気付きません。

最初に思い浮かんだ方法を採用するのを止めて、多くの選択肢を評価することである。そしてSteve氏によればだからこそTDDが役立つのである。

テスト駆動開発は最初に合致したパターンを壊すことで機能する(あるいは機能すべき)のです。最初に思い付いた案にこだわるのを防ぎ、本当の問題となっていることを解決するのです。楽をしている状態から抜け出すことを強制し、本当の要求に注意を向けさせるのです。さらに良いことに、テストから始めることで私達はまずそれが必要な理由(何のためのテストなのか)を考えることになり、その後で私達の専門家的な思考が提供したがっている解決策について考えることになるのです。

Steve氏はこのことを証明するために例を挙げている。

Promiscuous Pairing(DOC)を実施したArlo Belshee氏のグループが一番の証拠になります。彼らは経験的に2,3時間程度でペアを交代しているときが最も生産性が上がることに気付いたのです。これは誰もが想像したことの正反対のことです。そのやり方によって常に「初心者の思考」の状態にいることができるという利点があるというのが彼らの見解です。

原文はこちらです:http://www.infoq.com/news/2008/06/Unit-Testing-Silver-Bullet

ブックマーク
digg+,
reddit+,
del.icio.us+,
dzone+,
Hatena

No comments

返信

特集コンテンツ一覧

トップスポーツチームの監督に教わる秘訣

この論文では、氏が発見した原則を要約し、その原則をいかにしてソフトウェア開発に応用するかを説明します。

事例研究:Dutch Railwaysのプロジェクトにおける分散拠点でのスクラム・プロジェクト

この記事では、私達がどのようにして大規模(240人月、10万行強)でインドとオランダの開発者も参加したスクラム・プロジェクトを成功させたのかを示しています。

Agile2008チーム参加レポート - 帰国そして変化

Agileカンファレンスに「参加者としてだけでなく、発表者として参加しよう」を掲げたチームgoyattomは、サブミッションを提出し、7つのセッションが日本から選択されました。参加者はカンファレンスで各々の発表や、各セッションへの参加、諸外国のエンジニアとの出会い、ステージ上で DearXPを熱演などの様々な思い出を抱えて、無事日本に戻ってきました。

SilverlightとJavaのインターオペラビリティ

マイクロソフトのRobert Bellが、SilverlightとJavaを使用したインターオペラビリティのシナリオを紹介し、サンプルコードを例にとってアーキテクチャの手引きを提供します。

Agile2008 チーム参加レポート - カンファレンス参加編

Agileカンファレンスに「参加者としてだけでなく、発表者として参加しよう」を掲げたチームgoyattomは、サブミッションを提出し、7つのセッションが日本から選択されました。サブミッションが選択された人、そうでない人も含めて、個々の目的意識の確認、膨大なプログラムから聞きたいセッションの選択、旅行の準備、プレゼンテーションの準備の期間を終えて、無事当日を迎えました。

Agile2008 チーム参加レポート - 動機/準備編

筆者はアジャイルソフトウェア開発についての年に一度の国際会議であるAgile2008に初めて参加してきました。今年の日本からの参加者の数は14名にも及び、発表者は5名、受け持ったセッションは8つに及び、例年にない活躍を見せました。なぜ今年のAgile2008では、これほど多くの日本人が参加し発表に至ったのか? そのレポートをお届けします。

Javaトラブルシューティングメルマガ総集編 2008/08~09

エスエムジーでは、Java全般を対象にしたトラブルシューティングサービス「JaTS」を提供しています。この記事では、前回に引き続き、JaTSにて蓄積したトラブル事例とその解決ノウハウの一部をお送りしている「Javaトラブルシューティングメールマガジン」(JTSMM)の総集編として、過去2ヶ月のトラブル事例と追加情報をダイジェストとして提供いたします。

モデル駆動アプローチがうまく機能しない(しなくなる)8 つの理由

この記事では、モデル駆動アプローチがうまく機能しない、または機能しなくなることによって期待した結果が実現できなくなる 8 つの理由について書きたいと思います。