文件名称：MuAlloy:合金突变测试框架
文件大小：4.39MB
文件格式：ZIP
更新时间：2024-06-02 05:44:11
java bash gradle mutation-testing alloy
MuAlloy：合金的突变测试框架 MuAlloy是建立在之上的命令行工具。 该工具提供了一些基本功能，可以在AST水平上对Alloy模型进行突变并生成非等效的突变模型。 对于每个非等价突变模型， MuAlloy都可以生成杀死它的Alloy实例。 可以将所有突变体杀死实例编码为AUnit测试并保存在磁盘上。 MuAlloy进行了某些测试， MuAlloy还可以在任何模型上运行突变测试。 要求： 操作系统 Linux（64位） Mac OS（64位） 依存关系 Java 8：必须已安装并且可以从PATH访问。 Bash 4.4：必须已安装并且可以从PATH访问。 Gradle 4.3.1：必须已安装并且可以从PATH访问。 合金4.2：必须在类路径中。 MuAlloy随附于libs/alloy4.2.jar下的libs/alloy4.2.jar 。 Commons CLI 1.