Jest to aplikacja dla systemu Linux o nazwie XJML, której najnowszą wersję można pobrać jako XJML1.0.zip. Można go uruchomić online w darmowym dostawcy hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online tę aplikację o nazwie XJML z OnWorks za darmo.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
XJML
OPIS:
XJML 1.0 faktycznie może odczytać jedną klasę Javy i jej kontrakt (napisany w XML), a następnie wykonuje kolejne techniki weryfikacji:
1. Sprawdzanie poprawności działania (RAC). Korzystanie z narzędzi JML4c i JML4rt.
2. Rozszerzone sprawdzanie statyczne (ESC). Korzystanie z ESC/Java2.
3. Pełna weryfikacja programu statycznego (FSPV). Korzystanie z platformy Why (testowane z Why 2.30 i Why3 0.71)
Publiczność
Nauka/badania, edukacja, zaawansowani użytkownicy końcowi, administratorzy systemu, programiści, testerzy
Interfejs użytkownika
Konsola/Terminal, wiersz poleceń, Eclipse
Język programowania
Java
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/xjml/. Jest hostowany w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.