GAE開発の落とし穴
Googleのクラウド環境をつかったGoogle App Engineによる開発するにあたり、初めての試みで苦悩する開発者達の経験をもとに、各開発フェーズにあわせて問題点やどう解決したかをご紹介します
ブックマークされました!
ブックマークがエラーになりました。もう一度お願いします。
作者 Mike Bria , 翻訳者 菅野 裕 投稿日 2008年11月19日
Christian Gruber氏は(リンク)コードのカバレッジをメトリクスとして使うことに対する(リンク)TDDのスタンスを、時間をかけて明確にしようとしている。彼はカバレッジからわかることとわからないことについて検討し、TDDがどのようにしてその実態に合わせるか、そしてカバレッジを使うための最適なアドバイスは何かについて議論を展開した。
アプリケーションのコードカバレッジは、ちゃんとしたTDDで開発すると非常に高いもの(>80~90%)になるらしい。しかし、アプリケーションのカバレッジが高い値を示しているからと言って、そのアプリケーションがしっかりとしたTDDで開発されたかどうか、それどころかTDDで開発されたかどうかを判断することはできない。そもそもカバレッジは、アプリケーションが十分にテストされたことを示すものとして適切なのだろうか?
Christian Gruber氏のこの議論は、Kevin Pang氏のブログでの同テーマの記事が(リンク)きっかけになっている。Gruber氏は冒頭で、TDDの支持者がカバレッジを「真実を表す唯一のメトリクス」として勧めてはいないことを説明している。それは他にもフィードバックのネタがある場合においてのみ、ある程度使えるものだと言う。彼はPang氏の主張する「(Pang氏)100%のカバレッジは長い間テストマニアの究極の目標になっている」に反論し、「(Gruber氏)高いカバレッジはよくテストされたシステムが持つ望ましい特性ではある。ただし目標はシステムを十分にテストすることなのだ」と主張した。
彼はコードカバレッジ、TDD、そして「十分なテスト」について次の6つの主張をしている。
- カバレッジはしっかりとしたテストが書かれている状況でのみ意味を持つ。役に立たないくだらないテストが書かれることを防ぐことはできない。
- カバレッジはテストが通過した行/分岐を測定しているだけに過ぎない。
- カバレッジはテストが不十分かどうかを示唆するが、十分であることを保証するものではない。
- テスト駆動で書かれたコードは十分なカバレッジを示しやすい。
- テスト駆動で書かれたコードは十分なテストがされていることが多い。作成者はコードの要求/仕様のすべてを形作るテストを書いているからだ。
- 完全なカバレッジは十分なテストに必要なものではない。
Gruber氏はその後、テストツールというよりも設計技術とも言うべきTDDがテストの完全性にどのように寄与するかについて簡単に説明している。さらに、「(TDDの文脈では)カバレッジは、何かが失敗していたり、足りていないことに気づくためのよい方法であるが、それ以外の何者でもない」といい、その点ではPang氏の主張と概ね合意している。
カバレッジの誤用についての警告は新しいものではなく、むしろそれによってより多くの組織がTDDを採用していることのメッセージとも言える(おめでとう!)。そして、いとも簡単に「福音としてのカバレッジ」アンチパターンに陥るのである。
さらにこのテーマについて知りたければ、Jason Rudolph氏(リンク)の最近の記事の「コードカバレッジ分析の実用的な利用法」の段落を読むといい(リンク)。このテーマに関する他の専門家の意見へのよいリストが提供されている。
原文はこちらです:http://www.infoq.com/news/2008/11/coverage-NE-tdd
【ネクストスケープ】.NET、C#のアプリケーション開発者募集
【豆蔵】「オブジェクト指向を現場で活かすリファクタリング入門」新規講座キャンペーン中
Googleのクラウド環境をつかったGoogle App Engineによる開発するにあたり、初めての試みで苦悩する開発者達の経験をもとに、各開発フェーズにあわせて問題点やどう解決したかをご紹介します
去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。
Neal Gafter氏はOracleによるJava買収の影響に関する議論、Javaにセグメンテッドスタックやメタオブジェクトプロトコルを追加することについての主張、そしてJavaとC#との比較について話をしてくれた。
GoogleはVMをともなう新しい言語であり、JSコンパイラでもあるDartをプレビューした。 InfoQはDartのアプリの構築に貢献する文法の裏側を探った:スナップショット、Isolate、モジュール方式
本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の1つとして注目されている手法である。
前回まで、Jenkinsの幾つかの側面に注目して解説をしてきました。シリーズ最後の今回は、Jenkinsをサービスとして使う方法を紹介します。
Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』(「Alloy本」)を紹介する。
スマートフォンを中心としたマルチデバイスにおけるタッチユーザーインターフェイスへの対応は、既に必須の項目となりつつある。本記事では、Windows デバイスにおける UX のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。
No comments
スレッド表示 返信