私は合金モデルを持っています。このモデルは、私が書いたソフトウェアの意思決定ロジックの一部です。そのモデルでは、例を作成する述語がいくつかあります。述部は、予想される動作であり、予想外の動作であるインスタンスを作成します。これらの例を私のコードの単体テストへの入力として取りたいと思います。実際に合金インスタンスをファイルにエクスポート
誰も、単一のファイルに生成された多くの例をダンプするために合金と相互作用するいくつかのソフトウェアの例を持っていますか?私はプログラムを実行し、その中に多くのインスタンスがあるファイルを取得し、そのファイルをテストプログラムの入力として使用したいと考えています。
作成した例とカウンタの例が、私のテスト入力を手書きで書くときによく考えているものではないことが多いため、興味があります。
思考?
に掲載しました!レポのどの部分を調べるべきですか? –
私は合金コードにはかなり新しいですが、私はレポを作成しました。 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には、現在のソリューションを含むタプルのセットが含まれています。 –