2017-09-20 4 views
1

私は合金モデルを持っています。このモデルは、私が書いたソフトウェアの意思決定ロジックの一部です。そのモデルでは、例を作成する述語がいくつかあります。述部は、予想される動作であり、予想外の動作であるインスタンスを作成します。これらの例を私のコードの単体テストへの入力として取りたいと思います。実際に合金インスタンスをファイルにエクスポート

誰も、単一のファイルに生成された多くの例をダンプするために合金と相互作用するいくつかのソフトウェアの例を持っていますか?私はプログラムを実行し、その中に多くのインスタンスがあるファイルを取得し、そのファイルをテストプログラムの入力として使用したいと考えています。

作成した例とカウンタの例が、私のテスト入力を手書きで書くときによく考えているものではないことが多いため、興味があります。

思考?

答えて

0

[ファイル/エクスポート先]メニューでインスタンスをエクスポートできます。

あなたはJavaで動作することができるなら、多分私達がgithubの上のオープンソースのレポを設定している知っていることは興味深いです:https://github.com/AlloyTools/

私はこのコードを使用してコードをリンクして生成することは非常に簡単だと思いますテストケースを作成するか、適切なファイルからテストケースを提供します。

私は私たちを維持して下さい合金のためのこの種のアプリケーションに非常に興味がありますがそれは良い兆候であるので、私は、Javaのを好むhttps://groups.google.com/forum/#!forum/alloytools

+0

に掲載しました!レポのどの部分を調べるべきですか? –

+0

私は合金コードにはかなり新しいですが、私はレポを作成しました。 org.alloytoolsへのスナップショットを公開します:org.alloytools.alloy.dist:5.0.0-SNAPSHOT in https://oss.sonatype.org/content/repositories/snapshots repo。あなたのクラスパスにそれを置くと、ネイティブのSATソルバーを含むすべての合金コードが得られます。私はhttps://github.com/AlloyTools/org.alloytools.alloy/blob/3bf49ba02423c13fa2a9e425bead052047064b4b/org.alloytools.alloy.application/src/test/java/edu/mit/csail/sdg/alloy4whole/InternalTestを見ていきます。 java#L129。 A4Solutionには、現在のソリューションを含むタプルのセットが含まれています。 –

関連する問題