HOL-TestGen

Софтуер снимки:
HOL-TestGen
Софтуер детайли:
Версия: 1.7.0
Дата на качване: 20 Feb 15
Разрешително: Безплатно
Популярност: 15

Rating: nan/5 (Total Votes: 0)

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

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

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

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

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

Подобен софтуер

lava-test
lava-test

20 Feb 15

python-noseenv
python-noseenv

20 Feb 15

ReviewBoard
ReviewBoard

19 Feb 15

Коментари към HOL-TestGen

Коментари не е намерена
добавите коментар
Включете на изображения!
Търсене по категория