Использование экземпляров сплава для создания экземпляров Java и автоматического создания тестового примера

Question

Я хочу использовать сплав 4 для автоматизированного исследовательского проекта по созданию тестовых наборов.Может кто-нибудь PLZ помочь мне с этим?Как я могу использовать сплав для создания объектов экземпляра Java с использованием экземпляров, созданных сплавом?

Answer 1

Извините, если это похоже на воскресшего зомби, но jDolly - это генератор java-программ, основанный на Alloy.Проверьте это!

Answer 2

Что касается генерации тестовых случаев с использованием SAT, я знаю, что доктор Сарфраз Хуршид, который преподает в UT Austin, написал свою диссертацию «Генерация структурно сложных тестов из декларативных ограничений» и основан на решении SAT (сплав в его случае).Вы можете найти его диссертацию в Интернете.

Цитировать из реферата:

В этой диссертации описан метод генерации тестов на основе систематических ограничений для программ, принимающих в качестве входных данных структурно.комплексные данные, представляет собой автоматизированную основанную на SAT инфраструктуру для тестирования таких программ

.

Однако я не знаком ни с какой работой по созданию классов Java из спецификаций сплавов.