저는 합금 모델을 가지고 있습니다. 이 모델은 필자가 쓴 소프트웨어에서 의사 결정 로직의 일부이다. 이 모델에는 예제를 작성하는 몇 가지 술어가 있습니다. 술어는 예상되는 동작과 예상 밖의 동작 인 인스턴스를 작성합니다. 이 예제를 코드 용 단위 테스트의 입력으로 삼고 싶습니다.실용적으로 합금 인스턴스를 파일로 내 보냅니다.
누구나 단일 파일에 생성 된 많은 예제를 덤프하기 위해 합금과 상호 작용하는 소프트웨어의 예가 있습니까? 나는 프로그램을 실행하고, 그 안에 많은 인스턴스가있는 파일을 얻고, 그 파일을 테스트 프로그램의 입력으로 사용하고 싶다.
작성한 예제와 카운터 예제가 종종 필자의 테스트 입력을 손으로 쓸 때 생각한 바가 아니기 때문에이 점이 흥미 롭습니다.
생각하십니까?
https://groups.google.com/forum/#!forum/alloytools에 게시! Repo의 어느 부분을 조사해야합니까? –
저는 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에는 현재 솔루션이 포함 된 튜플 세트가 포함되어 있습니다. –