Xjml.

hilft Ihnen, Java-Klassen zu überprüfen und zu bestätigen
Jetzt downloaden

Xjml. Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • GPL
  • Name des Herausgebers:
  • EDario
  • Betriebssysteme:
  • Mac OS X
  • Dateigröße:
  • 17.1 MB

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

Über uns