HOL-TestGen

HOL-TestGen pozwala pisać specyfikacji testów w logiki wyższego rzędu (HOL). To może (pół) automatycznie podzielić przestrzeń wejściową, w wyniku abstrakcyjnych przypadków testowych, i automatycznie wybrać dane z badań konkretnych.
Automatyczna generacja uprzęży badań (w SML) jest obsługiwany, a za pomocą interfejsu języków obcych, w dowolnych językach implementacje (np C) mogą być testowane.
HOL-OCL jest wolne oprogramowanie; możesz go rozprowadzać dalej i / lub modyfikować zgodnie z warunkami licencji GPL. Projekt HOL-TestGen jest rozwijany przez Achim D. Brucker i Burkhart Wolff

Opis .

• specyfikacje testów zapisu w nadrzędnymi logika zamówienie (HOL)
• (pół) automatycznie podzielić przestrzeń wejściową, w wyniku abstrakcyjnych przypadków testowych,
• automatycznie wybiera dane z badań konkretnych
• automatyczne generowanie skryptów testowych (w SML),
• za pomocą interfejsu języka obcego, w dowolnych językach implementacje (np C) mogą być testowane.

Co nowego w tym wydaniu:

• Ta wersja została przeniesiona do Isabelle / HOL 2011-1.
• zostały dodane nowe przykłady.
• Interfejs użytkownika oparty na jEdit jest teraz używany domyślnie.