仕様からテストをどのように生成していますか？

Question

私は印刷されたarticle by Bertrand Meyerに出くわしました。ここでは、仕様からテストを生成できると述べています。私の開発チームはこのようなことはしませんが、考慮すべき良いテクニックのように思えます。仕様からテストをどのように生成していますか？この方法でプログラムの不具合を発見することの成功をどのように記述しますか？

Answer 1

私は、正式な仕様から数学的に導出されたテストに至るまで、「芸術形式」（必ずしも良い芸術ではない）を考慮する。その日の終わりに、開発チームは、彼らが作業しているスケジュールに基づいて何ができるかを決定する必要があります。つまり、スペックに対してソフトウェアをテストできることは良いことです。

あなたのチームだけがあなたのテストの「深さ」を測定することができます。これは、おそらくあなたのスペックがどれほど優れているかの関数になります。 「ログインUIがキャンセルボタンとログインボタンを提供する必要があり、彼らが作業する必要がある」といったようなことを言うと、あなたのテストはかなり一般的になるでしょう。しかし、非常に一般的なテストさえも良いことであることに留意してください。テストは良いことです。開発者が多すぎるとテストには悪い姿勢がありますが、その日の終わりには、動作するはずのソフトウェアが出荷されています。

効果あなたのテストは、あなたがそれらに入れて詳細に依存するプログラムの欠陥を見つけることになるでしょう。仕様に書かれたテスト手順を持つことについて特にうれしい点は、各ビルドを前のビルドと同じレベルの詳細（通常は回帰テストと呼ばれます）でテストできることです。

Answer 2

これはRSpecへの参照です。これは一連の要件としてテストを開発する本当に巧妙な方法です。私はまだそれに慣れていますが、私は何をする必要があるかを定義し、それを確実にすることに非常に便利でした。

Answer 3

バートランド・メイヤーから@Timサリバンそれだけでエッフェルに関連することができます:)

私は彼がおよそESpecを話していると思います。 Ruby FolkのRSpecという名前が与えられているので、私は彼らに「重く触発された」というラベルを付けることができると思います。

Answer 4

私はそれはあなたのスペックに依存だと思います。仕様から完全な単体テストを作成するのに十分なスペックがある場所ではまだ作業していません。詳細レベルはそこにはありませんでした。私のマネージャーは、そのレベルに指定すれば、仕様をインドに出荷して安価にコード化することができたことをいつも教えてくれました;）