Bu, en son sürümü XJML1.0.zip olarak indirilebilen XJML adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
XJML adlı bu uygulamayı OnWorks ile ücretsiz olarak indirin ve çevrimiçi çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
XJML
Ad
TANIM
XJML 1.0 aslında bir Java sınıfını ve onun sözleşmesini (XML ile yazılmış) okuyabilir ve ardından sonraki doğrulama tekniklerini yürütebilir:
1. Çalışma Zamanı Onaylama Kontrolü (RAC). JML4c ve JML4rt araçlarını kullanma.
2. Genişletilmiş Statik Kontrol (ESC). ESC/Java2'yi kullanma.
3. Tam Statik Program Doğrulaması (FSPV). Why platformunu kullanma ( Why 2.30 ve Why3 0.71 ile test edilmiştir)
Seyirci
Bilim/Araştırma, Eğitim, İleri Düzey Son Kullanıcılar, Sistem Yöneticileri, Geliştiriciler, Testçiler
Kullanıcı arabirimi
Konsol/Terminal, Komut satırı, Eclipse
Programlama dili
Java
Bu, https://sourceforge.net/projects/xjml/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.
