Pragmatisch Legierungsinstanzen in eine Datei exportieren

Question

Ich habe ein Legierungsmodell. Das Modell ist von einer Entscheidungslogik in Software, die ich geschrieben habe. In diesem Modell habe ich ein paar Prädikate, die Beispiele schaffen. Das Prädikat erstellt Instanzen, die erwartet werden und außerhalb des erwarteten Verhaltens liegen. Ich würde gerne diese Beispiele als Eingaben für einen Komponententest für meinen Code nehmen.

Hat jemand ein Beispiel für eine Software, die mit Alloy interagiert, um viele Beispiele in einer einzigen Datei zu speichern? Ich würde gerne ein Programm ausführen, eine Datei mit vielen Instanzen erhalten und diese Datei dann als Eingabe für mein Testprogramm verwenden.

Das interessiert mich, weil die Beispiele und Gegenbeispiele oft nicht das sind, was ich beim manuellen Schreiben meiner Testeingaben tun würde.

Gedanken?

Answer 1

Sie können eine Instanz im Menü Datei/Exportieren nach exportieren.

Wenn Sie in Java arbeiten können, dann ist es vielleicht interessant zu wissen, wir sind die Einrichtung eine Open-Source-Repo auf Github up: https://github.com/AlloyTools/

Ich denke, es ist ganz einfach Ihren Code mit diesem Code zu verknüpfen und erzeugen Ihre Testfälle oder stellen Sie sie aus den richtigen Dateien.

Ich bin sehr in dieser Art von Anwendungen für die Legierung so interessiert uns veröffentlicht am https://groups.google.com/forum/#!forum/alloytools