Xjml.

Überprüfen und bestätigen Sie Ihre Java-Klassen
Jetzt downloaden

Xjml. Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • GPL
  • Name des Herausgebers:
  • EDario
  • Betriebssysteme:
  • Windows All
  • Dateigröße:
  • 16.3 MB

Xjml. Stichworte


Xjml. Beschreibung

XJML ist ein einfaches, zugängliches und nützliches Tool, das tatsächlich eine Java-Klasse und seinen Vertrag (in XML geschrieben) lesen kann, und dann die A-Überprüfungs-Technik ausführen. Die folgende Überprüfungsmethode wird ausgeführt: · 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