Скриншот программы:
Детали программы:
Версия: 1.7.0
Дата загрузки: 20 Feb 15
Разработчик: Achim D. Brucker and Burkhart Wolff
Тип распространения: Бесплатная
Популярность: 15
HOL-TestGen позволяет записать характеристики тестов в высших порядков логики (HOL). Это может (полу-) автоматически разделить входное пространство, в результате чего в абстрактных тестов, и автоматически выбрать конкретные данные испытаний.
Автоматическая генерация тестовых жгутов (в SML) поддерживается, и с помощью интерфейса иностранного языка, реализации в произвольных языков (например, С) могут быть проверены.
HOL-OCL является свободным программным обеспечением; вы можете распространять и / или изменять его в соответствии с условиями GPL. Проект HOL-TestGen разработан Ахим Д. Брукер и Burkhart Вольф
Особенности :.
- технические испытания записи в более высокого порядка логики (HOL)
- (полу-) автоматически разделить входное пространство, в результате чего в абстрактных тестов
- автоматически выбирать конкретные данные испытаний
- автоматически генерировать тестовые сценарии (в SML)
- , используя интерфейс иностранного языка, реализации в произвольных языков (например, C) могут быть проверены.
Что нового В этом выпуске:
- Эта версия была портирована на Изабель / хол 2011-1.
- были добавлены новые примеры.
- The jEdit-интерфейс в настоящее время используется по умолчанию.
Комментарии не найдены