HOL-TestGen

HOL-TestGen позволява да напишете спецификации за изпитване в по-висок порядък логики (HOL). Тя може (полу) автоматично разделяне на входното пространство, което води до абстрактни тестовете, и автоматично да избира конкретни данни от изпитвания.
Автоматично генериране на тестови колани (в SML) се поддържа, и с помощта на интерфейс на чужд език, внедрявания в произволни езици (например C) могат да бъдат тествани.
HOL-OCL е свободен софтуер; можете да го разпространявате и / или променяте под условията на GPL. Проект HOL-TestGen е разработен от Achim D. Brucker и Burkhart Wolff

<силни> Характеристики :.

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

Какво ново в тази версия:

• Тази версия бе пренесен до Isabelle / HOL 2011-1.
• бяха добавени нови примери.
• jEdit-базиран потребителски интерфейс сега се използва по подразбиране.