HOL-TestGen

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

Особливості :.

• Технічні характеристики Тест записи в більш високого Замовити логіки (HOL)
• (підлозі) автоматичне розбиття вхідного простору, в результаті чого абстрактних тестів
• автоматично вибирати конкретні дані випробувань
• автоматично генерувати тестові сценарії (в SML)
• , використовуючи інтерфейс іноземної мови, реалізації в довільних мов (наприклад, С) можуть бути перевірені.

Що нового У цьому випуску:

• Ця версія була портована на Ізабель / хол 2011-1.
• Були додані нові приклади.
• jEdit-інтерфейс тепер використовується за умовчанням.