Я хочу использовать сплав 4 для исследовательского проекта по автоматизированному созданию тестовых сценариев. может ли кто-нибудь помочь мне с этим? как я могу использовать сплав для создания объектов экземпляра Java с помощью созданных экземпляров сплава?
Использование экземпляров сплава для создания экземпляров Java и автоматического создания тестового примера
Ответы (2)
Извините, если это похоже на воскресшего зомби, но jDolly — это программа на Java. генератор на базе Alloy. Проверьте это!
Что касается создания тестовых примеров с использованием SAT, я знаю, что доктор Сарфраз Хуршид, преподающий в UT Austin, написал свою диссертацию «Создание структурно сложных тестов из декларативных ограничений» и основан на решении SAT (сплав в его случае). Вы можете найти его диссертацию в Интернете.
Цитирую из аннотации,
Эта диссертация описывает метод систематического создания тестов на основе ограничений для программ, которые принимают в качестве входных данных структурно сложные данные, и представляет автоматизированную платформу на основе SAT для тестирования таких программ
.
Однако я не знаком ни с одной работой по созданию java-классов из спецификаций сплава.