HOL-TestGen

HOL-TestGen позволяет записать характеристики тестов в высших порядков логики (HOL). Это может (полу-) автоматически разделить входное пространство, в результате чего в абстрактных тестов, и автоматически выбрать конкретные данные испытаний.
Автоматическая генерация тестовых жгутов (в SML) поддерживается, и с помощью интерфейса иностранного языка, реализации в произвольных языков (например, С) могут быть проверены.
HOL-OCL является свободным программным обеспечением; вы можете распространять и / или изменять его в соответствии с условиями GPL. Проект HOL-TestGen разработан Ахим Д. Брукер и Burkhart Вольф

Особенности :.

• технические испытания записи в более высокого порядка логики (HOL)
• (полу-) автоматически разделить входное пространство, в результате чего в абстрактных тестов
• автоматически выбирать конкретные данные испытаний
• автоматически генерировать тестовые сценарии (в SML)
• , используя интерфейс иностранного языка, реализации в произвольных языков (например, C) могут быть проверены.

Что нового В этом выпуске:

• Эта версия была портирована на Изабель / хол 2011-1.
• были добавлены новые примеры.
• The jEdit-интерфейс в настоящее время используется по умолчанию.