文件名称：Automatic Test Generation-开源
文件大小：22KB
文件格式：GZ
更新时间：2024-06-16 09:26:41
开源软件
AutoTestGen是AlloyAnalyzer的包装，提供了将Alloy模型转换为测试用例的框架。
【文件预览】：
autotestgen
----build.properties(193B)
----src()
--------autotestgen()
--------CVS()
----dtd()
--------CVS()
--------AlloyInstance.dtd(225B)
----LICENSE.txt(18KB)
----CVS()
--------Entries(254B)
--------Repository(12B)
--------Root(50B)
----build.xml(2KB)
----README.txt(687B)
----ant(513B)