Đây là lệnh cpbm có thể chạy trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks bằng cách sử dụng một trong nhiều máy trạm trực tuyến miễn phí của chúng tôi như Ubuntu Online, Fedora Online, trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
cpbm - một bộ công cụ phân tích phần mềm (ban đầu: Khung đo điểm chuẩn CPROVER)
SYNOPSIS
cpbm lệnh con [lựa chọn] ...
MÔ TẢ
Trang hướng dẫn sử dụng này tài liệu ngắn gọn về cpbm chỉ huy.
cpbm cung cấp quyền truy cập vào bộ sưu tập các tập lệnh và công cụ để đánh giá phân tích phần mềm
công cụ hơn nữa.
LỆNH SUB
Các lệnh phụ sau đây có sẵn; mỗi người trong số họ có bộ tùy chọn riêng
hiển thị bởi cpbm lệnh --Cứu giúp.
giúp đỡ | --Cứu giúp
Hiển thị văn bản trợ giúp cpbm.
--phiên bản
Hiển thị phiên bản hiện tại.
nhà In đường dẫn nơi chứa các tập lệnh cpbm.
giải nén Giải nén gói điểm chuẩn CPROVER.
cập nhật Cập nhật gói điểm chuẩn CPROVER.
trong đó Tạo gói điểm chuẩn CPROVER.
chạy Chạy công cụ xác minh trên một điểm chuẩn nhất định và lấy nhật ký.
làm nhỏ lại
Chạy nguồn C thông qua Cil.
danh sách-yêu cầu
Liệt kê tất cả các yêu cầu trong một điểm chuẩn.
csv Tạo bảng CSV từ các lần chạy điểm chuẩn.
bàn Tạo bảng LaTeX từ CSV.
đồ thị Tạo các tập lệnh GNUplot cho các ô dạng hộp và phân tán.
web Tạo bảng HTML và thu thập các tệp nhật ký để xuất bản web
Sử dụng cpbm trực tuyến bằng các dịch vụ onworks.net
