問題タブ [mbt]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
testing - モデルベースのテスト戦略
モデル ベース テストで使用した戦略は何ですか?
- 統合テスト専用に使用しますか、それとも他の領域 (ユニット/機能/システム/仕様検証) に拡張しますか?
- 焦点を絞った「封印された」モデルを構築しますか、それとも複雑なオニバス モデルを徐々に進化させますか?
- 製品サイクルのどの時点で MBT の作成に投資しますか?
- MBT 専用に作成するベース テスト ライブラリはどのようなものですか?
MBT をより適切にサポートするために、機能ベースのテスト ライブラリにどのような違いを加えていますか?
testing - 推奨されるモデル ベースのテスト ツール
どのモデル ベースのテスト ツールを使用するかについて、何か提案はありますか? Spec Explorer/SPEC# は、テスター トレーニングで重視する価値がありますか?
私が伝統的に行ってきたことは、状態と関連する変数、出力、および各状態からの期待される結果を呼び出す Visio モデルを作成することです。次に、完全に切り離された方法で、そのモデルに基づいた変数を使用してテスト スクリプトをデータ駆動します。しかし、それらは接続されていません。モデルを作成し、ビジネスに適した方法で変数を関連付け、スクリプトのデータ パラメーターを構築する方法が必要です。
私はこれを必要とする最初の人になることはできません. 基本的にそれを行うツールはありますか？自分で開発することはできません。
c# - C# / .NET を使用したモデル ベース テストのチュートリアル
モデル ベースのテストの作成方法を学べる C# .NET リソースはありますか? NModel またはできれば Spec Explorer を使用していますか? MBT の書き方に関するいくつかの基本的なチュートリアルですか?
ありがとう
c# - Spec Explorer - 動作の抽象的な仕様
現在、Spec Explorer を評価していますが、関数の動作の抽象的な仕様に関する問題で立ち往生しています。私は次のようなものを持っています:
SelectElement(Set<ModelElement> e)モデルプログラムで明示的に定義したくありません。のような事後条件で指定したいと思いelements.contains(\result);ます。これはどういうわけか可能ですか？
明示的な定義の問題は、選択戦略を強制することです。
私は次の方法で問題を回避しようとしました（おそらく、何か小さなものを見逃しているだけで、誰かがそれを正しく行うためのヒントを与えることができます）：
ModelElement eパラメータを追加doSomethingCondition.IsTrue(elements.Contains(e))に条件を追加doSomething- config-script でアクションを定義する
SelectElement
/li>SelectAndDo次のように構成スクリプトでマシンを定義します。SelectAndDoの代わりに使用doSomething
ただし、対応するモデルの探索がエラー状態になるため、これは機能しません。これがまったく機能しない場合、Windows の Spec Explorer に代わる、できれば安定した代替手段はありますか? ステートフル システムのテストに FsCheck を推奨できますか?