モデルベーステストツールの使用に関する提案はありますか？スペックエクスプローラ/ SPEC＃はテスターのトレーニングで重視する価値がありますか？推奨モデルベーステストツール
私が伝統的に行ってきたことは、状態と、関連する変数、出力、および各状態からの期待される結果を呼び出すVisioモデルを作成することです。それから完全に切断された方法で、私はそのモデルに基づいてそれらの変数で私のテストスクリプトを駆動します。しかし、彼らは接続されていません。私は、モデルを作成し、ビジネスフレンドリーな方法で変数を関連付ける方法を欲し、スクリプトのデータパラメータを構築します。
私はこれを必要とする最初の人になることはできません。基本的にそれを行うツールはありますか？それを自分で開発することができない。
「Spec Explorer for Visual Studio」のパワーツールのアップデート版はすぐにリリースされると思われます。current versionよりもはるかに簡単ですが、まだ学習には時間がかかります。
小文字で始める場合は、nmodel（やはりMicrosoftから）を開始するのがよいでしょう。
All4Tecの「MaTeLo」ツールを試してください。 www.all4tec.net
"MaTeLoはブラックボックスの機能テストとシステムテストのためのテストケースジェネレータです。モデルベーステストアプローチに準拠して、MaTeLoはテストモデリングにマルコフチェーンを使用しています。効率性は、必要な人材の削減、モデルの再利用の増加、テスト戦略の関連性の強化（信頼性目標のため）によって実現されます。MaTeLoは独立しており、ユーザーフレンドリーであり、検証に提供しますテストスクリプトから実際のテストエンジニアリングに移行し、テストの実際の付加価値に焦点を当てる活動：テストプラン "
評価ライセンスを求めて自分で試すことができます。
あなたはここにいくつかのexemplesを見つけることができます。http://www.all4tec.net/wiki/index.php?title=Tutorials
を私の同僚は、このツール、http://mbt.tigris.org/をしたし、そのためには、年間の大規模なテスト環境で使用されています。それはオープンソースだし、すべての...
更新：ここ は短いホワイトペーパーです：http://www.prolore.se/filer/whitepaper/MBT-Agile.pdf
このツールは、MBT、YED無料のモデリングソフトウェアと素晴らしいです。
あなたが参考に類似した質問を次のように答えを見つけるかもしれない：私は言及し、それに
http://testing.stackexchange.com/questions/92/how-to-get-started-with-model-based-testing
を：
UMLパッドhttp://web.tiscali.it/ggbhome/umlpad/umlpad.htm 無料のUMLツールのリスト：http://en.wikipedia.org/wiki/Category:Free_UML_tools 私たちのペアワイズおよび組み合わせテストケースジェネレータ（UMLモデルを作成していなくても、作成したモデルに基づいて自動的にテストが生成されます）：http://hexawise.com
ちなみに、私は上記の答えの中で説明したように、あなたの質問の第2部分に自分の力（研究、ツール開発の焦点、情熱など）を集中させています。テストケースの最小数。
Justin（Hexawiseの創始者）
TestOptimalをチェックしてください。モデル内のデータ駆動型テストとコンビナトリアルテストを組み込み、完全サイクルのモデルベーステストを提供します。これは、モデルを再生できるグラフィカルなモデリングとデバッグを備え、グラフィカルにモデルの実行をアニメーション化します。状態/遷移を要件にリンクすることができます。変更を加えずに負荷テストを行うために、モデルを再度使用することができます。コーディング/スクリプティングなしでWebアプリケーション用の完全自動化されたMBTを作成することもできます。 http://TestOptimal.com/tutorials/Overview.htm
プロフェッショナル版のVisual Studioを必要とする2010年版のスペックエクスプローラは、既にVisual Studioがインストールされていることを前提として、素晴らしいツールです。スペックエクスプローラの古いバージョンは良かったが、制限があったのは、有限でないシステムのモデリングが終わった場合、あなたは不運だったということだった。
新しいバージョンでは、モデルの「スライス」を有限状態の点まで見るテクニックが改善されました。有限状態になったら、テストケースを生成することができます。
モデルを変更してモデルを再スライスすると、テストを再生成して再実行するのが簡単です。これは確実にいつでも手作業に打ち勝ちます。
このツールを他のツールセットと比較することはできませんが、Visual Studioとの統合は非常に重要です。 Visual Studioを使用しない場合、成功は限られている可能性があります。
testing.stackexchange.com does not exist :-( – reinierpost