Xjml

Java sınıflarınızı doğrulayın ve doğrulayın
Şimdi İndirin

Xjml Sıralama ve Özet

Reklamcılık

  • Rating:
  • Lisans:
  • GPL
  • Yayıncı adı:
  • EDario
  • İşletim sistemleri:
  • Windows All
  • Dosya boyutu:
  • 16.3 MB

Xjml Etiketler


Xjml Açıklama

XJML, bir Java Sınıfı ve Sözleşmesini (XML'de yazılı) okuyabilen basit, erişilebilir ve kullanışlı bir araçtır ve ardından bir doğrulama tekniğini uygulayın. Aşağıdaki doğrulama tekniği yürütülür: · Çalışma zamanı iddia kontrolü (RAC). JML4C ve JML4RT araçlarını kullanarak. · Genişletilmiş statik kontrol (ESC). ESC / JAVA2'yi kullanma. · Tam statik program doğrulaması (FSPV). Neden Platformu Kullanma (Neden 2.30 ve Neden30.71 ile Test Edildi)


Xjml İlgili Yazılım

Hakkımızda