HOL-TestGen

Software screenshot:
HOL-TestGen
Podrobnosti Software:
Verze: 1.7.0
Datum uploadu: 20 Feb 15
Licence: Volný
Popularita: 15

Rating: nan/5 (Total Votes: 0)

HOL-TestGen umožňuje psát zkušební specifikace ve vyšších řádů logik (HOL). Je možné (polo) automaticky rozdělit vstupní prostor, což má za následek abstraktních testovacích případů, a automaticky vybrat konkrétní údaje ze zkoušek.
Automatické generování testovacích postroje (v SML) je podporována, a za použití cizího jazyka rozhraní, lze testovat implementace v libovolném jazyce (např C).
HOL-OCL je svobodný software; můžete jej šířit a / nebo upravovat podle podmínek licence GPL. Projekt HOL-TestGen je vyvinut Achim D. Brucker a Burkhart Wolff

Vlastnosti :.

  • zkušební specifikace zápis do nadřazených objednat logiky (HOL)
  • (polo) automaticky rozdělit vstupní prostor, což má za následek abstraktních testovacích případů
  • automaticky vybere konkrétní údaje ze zkoušek,
  • automaticky generovat testovací skripty (v SML)
  • pomocí cizí jazyk rozhraní, lze testovat implementace v libovolném jazyce (např C).

Co je nového v této verzi:

  • Tato verze byla portován na Isabelle / HOL 2011-1.
  • byly přidány nové příklady.
  • Uživatelské rozhraní jEdit bázi se nyní používá ve výchozím nastavení.

Podobný software

lava-serial
lava-serial

15 Apr 15

assertEquals
assertEquals

20 Feb 15

Linux Test Project
Linux Test Project

12 May 15

multi-mechanize
multi-mechanize

15 Apr 15

Komentáře k HOL-TestGen

Komentáře nebyl nalezen
Přidat komentář
Zapnout obrázky!