問題タブ [model-based-testing]

papyrus で作成された .uml ファイルからステート マシンを取得したいと考えています。以下のコードを使用して、model.uml ファイルを解析しています。

このコードは正常に機能し、コンテンツを出力します。しかし、以下のコードを使用してモデルクラスにキャストしようとすると

この例外をスローします。

何かが欠けているかどうかはわかりません。問題はUMLPackage.Literals.MODELにあると思います。ですから、この問題を修正してモデルからステートマシンを取得するのを手伝ってくれる人はいますか?

演習として、2 ～ 3 本のフィンガー ツリーを実装したいと考えました。これは、 FsCheckのモデルベースのテストを試す絶好の機会です。新しい実験版を試すことにしました。

これまでのところ、テスト マシン用のコマンドを 1 つだけコーディングしました。完全なコードはGitHubで入手できます。

私が理解しているのは、単一の要素を持つ 1 つから 1 つOperation<_>.Runを構築するために 2 回実行されるということです。ResizeArrayその後Operation<_>.Check、同じ番号で 2 回実行され、1 つの要素に挿入されますFingerTree<_>。

2 つのパスの最初のパス。単一要素ツリーを追加すると、最初のコマンドの後のモデルとよく比較される (正しい) 2 要素ツリーになります。

2 番目のコマンドは常に失敗します。Checkより大きなResizeList(現在は 3 つの要素) で呼び出されますが、最初のコマンドと同じ単一要素の Tree です。もちろん、要素をもう 1 つ追加してもサイズ 3 にはならず、テストは失敗します。

Checkコマンドを実行するには、更新されたモデルを から返す必要があると予想していました。ただし、 a を返す必要があるPropertyため、それは不可能です。

これにアプローチする方法を完全に誤解しましたか？動作するモデルベースのテストはどのように作成する必要がありますか?