| Xjml. hilft Ihnen, Java-Klassen zu überprüfen und zu bestätigen |
Jetzt downloaden |
Xjml. Ranking & Zusammenfassung
- Name des Herausgebers:
- EDario
- Betriebssysteme:
- Mac OS X
Xjml. Stichworte
Xjml. Beschreibung
XJML ist ein praktisches Werkzeug, mit dem eine Java-Klasse gelesen und mehrere Techniken ausgeführt werden kann. XJML ermöglicht es Ihnen auch, den Inhalt einer Java-Klasse zu überprüfen und validieren zu können. Die verfügbaren Techniken sind: · Laufzeit-Assertionsprüfung (RAC). Verwenden von JML4C- und JML4RT-Tools. · Erweiterte statische Überprüfung (ESC). Mit ESC / JAVA2. · Vollständig statische Programmüberprüfung (FSPV). Verwenden der warum-Plattform (getestet mit warum 2.30 und warum3.71
Xjml. Zugehörige Software