HOL-TestGen

Software screenshot:
HOL-TestGen
Dettagli del software:
Versione: 1.7.0
Data di caricamento: 20 Feb 15
Licenza: Libero
Popolarità: 80

Rating: 4.0/5 (Total Votes: 1)

HOL-TestGen permette di scrivere le specifiche di test a logiche di ordine superiore (HOL). Può (semi-) partizionare automaticamente lo spazio di ingresso, con conseguente casi di test astratte, e selezionare automaticamente i dati di prova concreti.
Generazione automatica di test harness (in SML) è supportato, e l'utilizzo di un'interfaccia lingua straniera, le implementazioni in lingue arbitrari (ad esempio C) possono essere testati.
HOL-OCL è software libero; è possibile ridistribuirlo e / o modificarlo secondo i termini della licenza GPL. Progetto HOL-TestGen è sviluppato da Achim D. Brucker e Burkhart Wolff

Caratteristiche :.

  • specifiche di test di scrittura in superiore che logiche di ordine (HOL)
  • (semi-) partizionare automaticamente lo spazio di ingresso, con conseguente test case astratte
  • seleziona automaticamente i dati di prova concreti
  • generare automaticamente script di test (in SML)
  • utilizzando un'interfaccia lingua straniera, le implementazioni in lingue arbitrari (ad esempio C) può essere testato.

Cosa c'è di nuovo in questa versione:

  • Questa versione è stato portato a Isabelle / HOL 2011-1.
  • sono stati aggiunti nuovi esempi.
  • L'interfaccia utente basata su jEdit è ora utilizzato di default.

Programmi simili

nose-quickunit
nose-quickunit

20 Feb 15

nosy
nosy

11 May 15

selenose
selenose

20 Feb 15

qc
qc

14 Apr 15

Commenti a HOL-TestGen

I commenti non trovato
Aggiungi commento
Accendere le immagini!