SPL Tools tải xuống cho Linux

Đây là ứng dụng Linux có tên SPL Tools có bản phát hành mới nhất có thể được tải xuống dưới dạng spl-latest.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.

MÀN HÌNH

Công cụ SPL

MÔ TẢ

Logic Hiệu suất Stochastic (SPL) phục vụ cho việc nắm bắt các giả định về hiệu suất.

Với SPL, có thể chú thích các hàm Java với các giả định nêu rõ, ví dụ, rằng hàm chú thích chậm hơn tối đa ba lần so với sao chép mảng. Sau đó, giả định được kiểm tra tại thời điểm xây dựng theo cách tương tự như thử nghiệm đơn vị tiêu chuẩn. Nói cách khác, SPL là về việc giới thiệu hiệu suất khẳng định ().

Lợi thế của SPL so với các giải pháp tương tự khác bao gồm sau đây. Công thức SPL sử dụng logic được xác định rõ ràng và kiểm tra thống kê hợp lý (chẳng hạn như kiểm tra t). Tiếp theo, SPL hướng đến việc đánh giá tự động. Và cuối cùng, công thức SPL sử dụng so sánh tương đối (trái ngược với so sánh với thời gian cố định) để cung cấp tính di động tốt hơn.

Khán giả

Nhà phát triển, Người kiểm tra

Giao diện người dùng

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/spl-tools/. 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.