Dettagli del software:
Versione: 1.7.0
Data di caricamento: 20 Feb 15
Licenza: Libero
Popolarità: 80
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.
I commenti non trovato