Screenshot Software:
Szczegóły programowe:
Wersja: 1.7.0
Filmu: 20 Feb 15
Wywoływacz: Achim D. Brucker and Burkhart Wolff
Licencja: Wolny
Popularność: 15
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.
Komentarze nie znaleziono