Property-based Testing の位置付け / Intro to Property-based Testing

連載目次 2000年代初期に開発手法として確立された「テスト駆動開発」（Test Driven Development、以下「TDD」）は、その後10年もの間で普及が進み、今や珍しくない開発スタイルの1つとなっています。国内でも「アジャイルアカデミー」「TDD Boot Camp」などによる推進・普及活動が各地で活発化し、認知が広がってきました。 なおTDDは誕生からこれまでの間に、さまざまな工夫や実践上のノウハウが提唱されてきました。またTDDの普及に影響を受け、他のさまざまな「テストファースト」手法も台頭してきています。 本稿では、そうしたTDDの発展や、振る舞い駆動開発（Behavior Driven Development、以下「BDD」）など他のテストファースト手法への展開についても解説します。 ※編集部注：ソフトウェアの「テスト」そのものの概要や種類について知りたい方は記事「J

Nonaka's Scrum, Phronetic Leadership and Requirements DevelopmentKenji Hiranabe

出典： http://www.renaissancesoftware.net/blog/archives/231 Copyright © James Grenning 著者のJames Grenning氏の許諾を得たので日本語訳を公開します。 今日はレガシーなCコードにテストを追加する1日目だ。しかし、テストハーネスに入れようとしているコードが開発マシン上ではコンパイルできずに、にっちもさっちも行かなくなってしまった。クラッシュさせて成功させる（Crash to Pass）ための「コンパイルを成功させる」ステップで行き詰ってしまったということだ。 レガシーな組み込みCコード（テストのない組み込みCコード）をテストハーネスに入れるのは骨の折れる作業になる。レガシーCコードは、ターゲットのプロセッサに強く結びついていることが多い。プロダクトコードでは問題にならないかもしれないが、オフターゲット

このトピックではユニットテストの学習に有用な書籍をいくつかのカテゴリごとに紹介していきます。 このトピックではユニットテストの学習に有用な書籍をいくつかのカテゴリごとに紹介していきます。 1. 基礎を学ぶ まず最初にユニットテストの基本的なトピックを扱う書籍を紹介します。 「JUnit実践入門 ～体系的に学ぶユニットテストの技法」（渡辺 修司, 技術評論社, 2012年） 【初心者～中級者向け】 JUnitの解説を中心に、ユニットテストに関わる様々なトピックを体系的に解説しています。 扱う話題は、xUnit、テストダブルやシミュレータの活用、継続的インテグレーションによる運用、ユニットテストを使う方法論など、実にさまざまです。ユニットテストについて網羅的に知見を深められますので、JUnitやJavaを使用していない方でもお勧めできる一冊です。 「現場で使えるソフトウェアテスト Java編

Slide for the workshop "Test-Driven Development for [Embedded] C" by James Grenning at Agile Japan 2013 http://www.agilejapan.org/2013/program.html#08

James Grenning's Keynote at Agile Japan 2013. "Demand Technical Excellence" with Japanese subtitle by Kenji Hiranabe. http://www.agilejapan.org/2013/program.html#01

Agile Japan 2013 が 5/24 に決まりました。みなさん、予定を空けて置いてください。 http://www.agilejapan.org/ さて、今回の基調講演の一人は、James Grenning さん、アジャイル宣言にサインした一人です。私が James さんをぜひ今回呼びたかったのには、理由があります。 日本には、エンタープライズ系の開発とほぼ同じくらい、組込みソフトウェア開発があります。日本の中でアジャイルがしっかり根を下ろすためには、日本のエンジニアの約半分を占める、組込み系ソフトウェアエンジニアに、アジャイルのメリットを示す必要があるのです。 アジャイルは速さを求めるだけではなく、品質を高める新しい設計のあり方をも示しています。その１つがTDD（テスト駆動開発）です。 Jamesさんは、このテスト駆動開発を組み込みC言語で行うという、 「Test-Driven

In addition to learning new things on every client project, our team is full of readers who enjoy gaining new perspectives and insights from books....more. Feedback plays a crucial role in any successful outcome, but not all feedback is constructive. Poorly structured design reviews and poor team dynamics can have...more.

今年2月より始まった、Test-Driven Development for Embedded C（以下TDD for EC）の読書会が、今月始めに、めでたく最終回を迎えました。 全8回（うち1回は体調不良のため欠席）、10人前後のメンバーで、1年弱ほど続けてきました。 きっかけとモチベーション 読書会を知ったのは、Twitter上でした。フォローしていた方が呟かれていたのですが、TDD関連でその方を知り、フォローしたので、TDDについて追いかけていたことがきっかけでしょう。 TDDについて興味を持った理由はいくつかあります。 1. テスト自体への興味 私は、昨年2011年度卒として組み込み系プログラマになりました。プログラムの柔軟性や堅牢性については学生時代比較的意識していたのですが、テスト手法については、殆ど知識が なく、体系的な知識が欲しかったのです（これは現在進行形） 2. 開発ス

これまでTDDで使えるC、C++向けのユニットテスティングフレームワークをいくつか紹介してきました。その一連の紹介の総括として、今回は、C、C++でのTDDを対象とした場合、どのようなテスティングフレームワークが望ましいのかについてまとめたいと思います。 TDD向けのテスティングフレームワークに求められる条件 TDD向けのテスティングフレームワークに求められる条件については、以前Advent Calender向けの「TDDのはじめかた #TddAdventJp - 千里霧中」の冒頭で触れさせて頂いています。少し加筆して下記に転載します。 軽快にテストを実行できる。TDDにとって、実行に1秒以上かかるテストはもう遅すぎます。そのような実害ある遅さの直接的原因になるフレームワークは避けた方が無難です。 簡潔なテストコードでテストを実装・実行できる。Assertion MethodやTest M

最近、とある機会があって、いろんなアジャイルが出来るといってくるベンダーさんとあう機会があるけど、正直「おい！どの口がアジャイル出来るって言ってるねん！」って思う事がむっちゃくちゃ多い。 今は確かにアジャイル開発ブームで、世間では引き合いも多いらしい。いろんなベンダーの営業さんが、「うちもアジャイルできます」って言って営業してはるけど、マジでちゃんと自社でできるか調査してから営業してほしい。私はアジャイルを１０年以上やってるけど、元々は「この方法やったら、お客さんにホンマにええアプリを届けれるんちゃうか？」と思ったところから来ている。 それが、今や猫もしゃくしもアジャイル出来ますとか言って、ろくにアジャイルも出来へんのに売りつけて、結局効果がでなくて、「やっぱアジャイルなんかアカンやん」ってなるのがむっちゃくちゃ嫌なのだ。 これって数十年昔のオブジェクト指向ブームと一緒やん。当時のオブジェ

TDD及びペアプロを通じてプログラミングスキルを上げるべく、ネットで公開されている『お題』について色々情報収集してみました。 お題やテーマについては、見つけ次第随時追加していきます。 Stackユーティリティ from 『車窓からのTDD』 - 車窓からのTDD こちらについては自分でも試しに写経してみました。以下エントリ。 『車窓からのTDD』を写経してみた ( JDK7 / Eclipse4.2 / Quick JUnit / Mercurial / Bitbucket ) - Shinya’s Daily Report FizzBuzz問題 from TDDBC TDDBC お題 うるう年問題 from TDDBC TDDBC お題 LRU Cache from TDDBC TDDBC お題 ワードフィルタ from TDDBC TDDBC お題 以上、ここまでの4つのお題は和田卓人