Đây là ứng dụng Linux có tên XJML có bản phát hành mới nhất có thể được tải xuống là XJML1.0.zip. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng có tên XJML này với OnWorks miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
XJML
Ad
MÔ TẢ
XJML 1.0 thực sự có thể đọc một lớp Java và hợp đồng của nó (được viết bằng XML) và sau đó thực hiện các kỹ thuật xác minh tiếp theo:
1. Kiểm tra xác nhận thời gian chạy (RAC). Sử dụng các công cụ JML4c và JML4rt.
2. Kiểm tra tĩnh mở rộng (ESC). Sử dụng ESC / Java2.
3. Xác minh toàn bộ chương trình tĩnh (FSPV). Sử dụng nền tảng Why (được thử nghiệm với Why 2.30 và Why3 0.71)
Khán giả
Khoa học / Nghiên cứu, Giáo dục, Người dùng cuối nâng cao, Quản trị viên hệ thống, Nhà phát triển, Người kiểm tra
Giao diện người dùng
Bảng điều khiển / Thiết bị đầu cuối, Dòng lệnh, Eclipse
Ngôn ngữ lập trình
Java
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/xjml/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.