2017-09-20 2 views
1

저는 합금 모델을 가지고 있습니다. 이 모델은 필자가 쓴 소프트웨어에서 의사 결정 로직의 일부이다. 이 모델에는 예제를 작성하는 몇 가지 술어가 있습니다. 술어는 예상되는 동작과 예상 밖의 동작 인 인스턴스를 작성합니다. 이 예제를 코드 용 단위 테스트의 입력으로 삼고 싶습니다.실용적으로 합금 인스턴스를 파일로 내 보냅니다.

누구나 단일 파일에 생성 된 많은 예제를 덤프하기 위해 합금과 상호 작용하는 소프트웨어의 예가 있습니까? 나는 프로그램을 실행하고, 그 안에 많은 인스턴스가있는 파일을 얻고, 그 파일을 테스트 프로그램의 입력으로 사용하고 싶다.

작성한 예제와 카운터 예제가 종종 필자의 테스트 입력을 손으로 쓸 때 생각한 바가 아니기 때문에이 점이 흥미 롭습니다.

생각하십니까?

답변

0

파일/내보내기 대상 메뉴에서 인스턴스를 내보낼 수 있습니다. 내가이 코드를 사용하여 코드를 연결하고 생성하는 아주 쉽게 생각 https://github.com/AlloyTools/

을 : 자바에서 작동 할 수있는 경우

, 어쩌면 우리가 GitHub의에 오픈 소스의 repo를 설정하는 알고 재미있다 테스트 케이스를 작성하거나 적절한 파일로부터 테스트 케이스를 제공하십시오.

나는 이렇게 보관하십시오 합금에 대한 응용 프로그램의 종류에 매우 관심이 그 좋은 징조 그래서 우리는, 내가 자바를 선호

+0

https://groups.google.com/forum/#!forum/alloytools에 게시! Repo의 어느 부분을 조사해야합니까? –

+0

저는 Alloy 코드에 익숙하지 않지만 repo를 만들었습니다. 우리는 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에는 현재 솔루션이 포함 된 튜플 세트가 포함되어 있습니다. –

관련 문제