Ito ang Linux app na pinangalanang XJML na ang pinakabagong release ay maaaring ma-download bilang XJML1.0.zip. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang XJML na may OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
XJML
Ad
DESCRIPTION
Maaaring basahin ng XJML 1.0 ang isang klase ng Java at ang kontrata nito (nakasulat sa XML) at pagkatapos ay isagawa ang susunod na mga diskarte sa pag-verify:
1. Runtime Assertion Checking (RAC). Gamit ang mga tool ng JML4c at JML4rt.
2. Extended Static Checking (ESC). Gamit ang ESC/Java2.
3. Buong Static Program Verification (FSPV). Gamit ang platform na Bakit (nasubok sa Bakit 2.30 at Bakit3 0.71)
Audience
Science/Research, Education, Advanced End Users, System Administrators, Developers, Tester
Interface ng gumagamit
Console/Terminal, Command-line, Eclipse
Wika ng Programming
Java
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/xjml/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
