Hol
HOL is een programmeeromgeving waarin Theorems kunnen worden bewezen en bewijsstukken geïmplementeerd. ...
 | GajetGajet is een automatische testopwekkingstool voor Java die een genetisch algoritme gebruikt. |
| Download nu | |
Gajet Rangschikking & Samenvatting
Advertentie
Gajet Tags
Gajet Beschrijving
Gajet is een automatische testopwekkingstool voor Java die een genetisch algoritme gebruikt. Gajet (genetisch alrogithm voor Java Evolutionaire testen) is een automatische testopwekking voor Java die een genetisch algoritme gebruikt. GAJET-project gebruikt Emma om testdekking te meten. REQUIRINGEN: · SUN JAVA SDK · EMMATO RUNT-tests gegenereerd door Gajet U hebt de volgende software gegenereerd : Junitrunning Gajetto Run Gajet U moet Class Net.sf.gajet.cli.main beginnen met de volgende potten in uw klasspad: tools.jar van Sun Java SDKEMMA.JAR van Emma DistributionGajet-.jar uit Gajet Distributionunder MS Windows 2000 / XP kan proberen Gajet.bat te gebruiken. Het vereist de volgende omgevingsvariabelen: Java_Home - Home Directory van Java Runtime EnvironmentJDK_Home - Home Directory of Sun Java SDK (niet vereist als hetzelfde als Java_Home) Emma_Home - Home Directory van Emmawhat is nieuw in deze release: · Een mierplugin is toegevoegd . · Een werkvoorbeeld is toegevoegd aan de distributie. · De documentatie is verbeterd.
Gajet Gerelateerde software
Sipbomber
Sipbomber is een hulpmiddel voor het testen van SIP-protocol (RFC 3261) -implementaties. ...
Java Voorkeuren Tool
Java Voorkeuren Tool is een eenvoudig hulpprogramma voor Java-ontwikkelaars en testers, in de Geest van de Register-editor van Microsoft. ...
Netwerkverkeer generator
Netwerkverkeer generator is een verkeersgenerator die routers / firewalls test. ...