Sipbomber
SIPBOMBER ist ein Werkzeug zum Testen von SIP-Protokoll (RFC 3261) -Inplementierungen. ...
 | HOL-TESTGEN.HOL-TESTGEN ist A ist ein Test-Fall-Generator für spezifizierte Anteiltests. |
| Jetzt downloaden | |
HOL-TESTGEN. Ranking & Zusammenfassung
Anzeige
- Lizenz:
- GPL
- Preis:
- FREE
- Name des Herausgebers:
- Achim D. Brucker and Burkhart Wolff
- Website des Verlags:
- http://www.brucker.ch/projects/hol-ocl/
HOL-TESTGEN. Stichworte
HOL-TESTGEN. Beschreibung
HOL-TESTGEN ist A ist ein Test-Fall-Generator für spezifizierte Anteiltests. HOL-TESTGEN ermöglicht einen, den Testspezifikationen in den Logics mit höherer Ordnung (HOL) zu schreiben. Es kann (halb) automatisch den Eingaberaum abnutzen, was zu abstrakten Testfällen führt, und automatisch die konkrete Testdaten auswählen C) kann getestet werden Daten · Testskripts automatisch generieren (in SML) · Verwenden einer Fremdsprachenschnittstelle, Implementierungen in beliebigen Sprachen (zB c) können getestet.Hol-OCL ist kostenlose Software; Sie können es erneut verteilen und / oder unter den Bedingungen des GPLs ändern. Das HOL-TESTGEN-Projekt wird von Achim D. Brucker und Burkhart Wolff entwickelt. Was neu in dieser Version ist: · Diese Version verwendet Isabelle 2008 als zugrunde liegendes Hol-System, sorgt für einen Benchmarking-Rahmen und bietet HOL-TESTGEN / FW. · -Testgen / FW ist ein domänenspezifischer Testfallgenerator für spezifizierte Firewall-Konformitätstests.
HOL-TESTGEN. Zugehörige Software
Netzwerkverkehrsgenerator.
Network Traffic Generator ist ein Verkehrsgenerator, der Router / Firewalls testet. ...
