Đây là ứng dụng Linux có tên QuickCheck dành cho Java, bản phát hành mới nhất có thể được tải xuống dưới dạng qc4j-core-0.1.jar. 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 dành cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng này có tên QuickCheck for Java with 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ó.
Kiểm tra nhanh cho Java
Ad
MÔ TẢ
QC4J là khung kiểm tra tự động, dựa trên thông số kỹ thuật, dựa trên QuickCheck dành cho Haskell. Nó giúp dễ dàng kiểm tra mã minh bạch tham chiếu bằng cách tự động tạo dữ liệu kiểm tra thông qua trình tạo do người dùng xác định.Khán giả
Các nhà phát triển
Giao diện người dùng
Bảng điều khiển / Thiết bị đầu cuối, Eclipse
Ngôn ngữ lập trình
Java
Đây là một ứng dụng cũng có thể được tải xuống từ https://sourceforge.net/projects/qc4j/. 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 các Hệ điều hành miễn phí của chúng tôi.
