文件名称:ASketch:合金草图框架
文件大小:9.93MB
文件格式:ZIP
更新时间:2024-05-31 22:36:04
java bash maven sketching alloy
ASketch:合金的草图绘制框架 ASketch是在之上构建的命令行工具。 给定部分合金模型,候选片段生成器和一组捕获所需模型属性的AUnit测试, ASketch能够用相应的候选片段填充Kong并使完整的模型满足所有AUnit测试。 在内部, ASketch自动将草图问题编码为meta Alloy模型,并调用Alloy分析器来搜索解决方案。 要求: 操作系统 Linux(64位) Mac OS(64位) 依存关系 Java 8:必须已安装并且可以从PATH访问。 Bash 4.4:必须已安装并且可以从PATH访问。 Maven> 3.5.2:必须已安装并且可以从PATH访问。 合金5.0:必须在类路径中。 ASketch随附于libs/alloy.jar下的libs/alloy.jar 。 安装: 克隆ASketch回购 要运行ASketch ,请使用git克隆存储库。 g