java - 使用合金实例创建Java实例并自动生成测试用例

标签 java testing automated-tests formal-methods alloy

我想将 alloy4 用于自动化测试用例生成研究项目。谁能帮我解决这个问题? 我如何使用合金生成的实例来使用合金创建 Java 实例对象?

最佳答案

对不起,如果它看起来像一个复活的僵尸,但是 jDolly是一个基于 Alloy 的 java 程序生成器。检查一下!

关于java - 使用合金实例创建Java实例并自动生成测试用例,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5283214/

相关文章:

unit-testing - 如何在排除某些文件的情况下测试包?

ruby-on-rails - Rails 支持文件夹。我必须在我的 test_helper 中包含模块还是自动的?

javascript - 检查滑动切换的状态在 Cypress 测试中不起作用

Android gradle instrument 测试模块看不到主项目的来源

java - 这个 NullPointerException 的来源是什么

java - 如何对内部类中的方法进行单元测试?

unit-testing - Angular 2 - TestBed.configureTestingModule - 供应商 :[] throws Use of reserved word 'import' error

testing - PM2 Testcafe fs 运行导致崩溃

java - 不支持 major.minor 版本 51.0 即使使用相同的 java 版本编译和部署

java - 如何使用 EGIT 读取公共(public) git 存储库的所有提交?