4

どのモデル ベースのテスト ツールを使用するかについて、何か提案はありますか? Spec Explorer/SPEC# は、テスター トレーニングで重視する価値がありますか?

私が伝統的に行ってきたことは、状態と関連する変数、出力、および各状態からの期待される結果を呼び出す Visio モデルを作成することです。次に、完全に切り離された方法で、そのモデルに基づいた変数を使用してテスト スクリプトをデータ駆動します。しかし、それらは接続されていません。モデルを作成し、ビジネスに適した方法で変数を関連付け、スクリプトのデータ パラメーターを構築する方法が必要です。

私はこれを必要とする最初の人になることはできません. 基本的にそれを行うツールはありますか？自分で開発することはできません。

4

6 に答える 6

4

同様の質問に対する次の回答が役立つ場合があります。

http://testing.stackexchange.com/questions/92/how-to-get-started-with-model-based-testing

その中で、私は言及します：

UML Pad http://web.tiscali.it/ggbhome/umlpad/umlpad.htm無料の UML ツールのリスト: http://en.wikipedia.org/wiki/Category:Free_UML_tools UML モデルを作成していなくても、作成したモデルに基づいて自動的にテストを生成します): http://hexawise.com

ちなみに、上記のリンク先の回答で説明したように、質問の 2 番目の部分にエネルギー (研究、ツール開発の焦点、情熱など) を集中させます。テストケースの。

ジャスティン（ヘキサワイズの創設者）

于 2009-10-27T15:36:37.493 に答える
2

TestOptimal をチェックしてください。組み込みのデータ駆動型テストとコンビナトリアル テストをモデル内で使用するフル サイクルのモデルベース テストを提供します。モデルを再生できるグラフィカルなモデリングとデバッグがあり、モデルの実行をグラフィカルにアニメーション化します。状態/遷移を要件にリンクできます。モデルは、変更なしで負荷テスト用に再利用できます。コーディングやスクリプトを一切使用せずに、Web アプリケーション用の完全に自動化された MBT を作成することもできます。次の短いスライド プレゼンテーションをご覧ください: http://TestOptimal.com/tutorials/Overview.htm

于 2010-08-14T05:30:37.853 に答える
2

「Spec Explorer for Visual Studio」パワー ツールの更新版が間もなくリリースされると思われます。現在のバージョンよりもはるかに使いやすくなっていますが、学習にはまだ時間がかかります。

より小規模に開始したい場合は、nmodel (これもマイクロソフトから) を開始するのに適しています。

于 2009-05-23T16:55:42.633 に答える
1

私の同僚がこのツールhttp://mbt.tigris.org/を作成し、大規模なテスト環境で何年にもわたって使用されています。それはオープンソースであり、すべてです。

更新：ここに短いホワイトペーパーがあります：http：//www.prolore.se/filer/whitepaper/MBT-Agile.pdf

このツールは、MBT、yED、無料のモデリングソフトウェアに最適です。

于 2009-10-22T15:33:40.373 に答える
1

Visual Studioを既にお持ちの場合、VisualStudioのProfessionalバージョンを必要とする2010バージョンのSpecExplorerは優れたツールであると言えます。古いバージョンのスペックエクスプローラーは良かったのですが、制限は、有限ではないシステムをモデル化することになった場合、運が悪かったということでした。

新しいバージョンでは、モデルの「スライス」を有限状態になるまで見るための手法が改善されています。有限状態になったら、テストケースを生成できます。

すばらしいのは、モデルを変更してモデルを再スライスするときに、テストを再生成して再実行するのが簡単なことです。これは確かにいつでも手動プロセスを打ち負かします。

このツールを他のツールセットと比較することはできませんが、VisualStudioとの統合は非常に貴重です。Visual Studioを使用しない場合、成功が制限される可能性があります。

于 2011-03-08T20:53:45.493 に答える
1

All4Tecの「MaTeLo」ツールを試してみてください。www.all4tec.net

「MaTeLo は、ブラック ボックスの機能およびシステム テスト用のテスト ケース ジェネレーターです。モデル ベースのテスト アプローチに準拠し、MaTeLo はマルコフ連鎖を使用してテストをモデル化します。この統計アドインにより、体系的な方法で製品を検証できます。効率は、削減によって達成されます。必要な人的資源の削減、モデルの再利用の増加、およびテスト戦略の関連性の強化 (信頼性の目標による) MaTeLo は独立しており、ユーザーフレンドリーであり、テストスクリプトから実際のテストに移行するための検証活動を提供します。エンジニアリングと、テストの真の付加価値であるテスト計画に焦点を当てること」

評価ライセンスを要求して、自分で試すことができます。

ここでいくつかの例を見つけることができます: http://www.all4tec.net/wiki/index.php?title=Tutorials

于 2009-09-01T16:26:43.933 に答える