Lưu ý
Mục đích của file này là để độc giả tiếng Việt có thể đọc và hiểu tài liệu nhân kernel dễ dàng hơn, không phải để tạo ra một nhánh tài liệu riêng. Nếu bạn có bất kỳ nhận xét hoặc cập nhật nào cho file này, vui lòng thử cập nhật file tiếng Anh gốc trước. Nếu bạn thấy có sự khác biệt giữa bản dịch và bản gốc, hoặc có vấn đề về bản dịch, vui lòng gửi góp ý hoặc patch cho người dịch của file này, hoặc nhờ người bảo trì và người review tài liệu tiếng Việt giúp đỡ.
- Bản gốc:
- Người dịch:
Google Translate (machine translation)
- Phiên bản gốc:
8541d8f725c6
Cảnh báo
Tài liệu này được dịch tự động bằng máy và chưa được review bởi người dịch. Nội dung có thể không chính xác hoặc khó hiểu ở một số chỗ. Khi có sự khác biệt với bản gốc, bản gốc luôn là chuẩn. Bản dịch chất lượng cao (được review) được đặt trong thư mục vi_VN/.
rv¶
Xác minh thời gian chạy¶
- Phần hướng dẫn sử dụng:
1
SYNOPSIS¶
ZZ0000ZZ ZZ0001ZZ [ZZ0002ZZ]
DESCRIPTION¶
Xác minh thời gian chạy (ZZ0000ZZ) là một phương pháp nhẹ (nhưng nghiêm ngặt) để xác minh chính thức với cách tiếp cận thực tế cho các hệ thống phức tạp. Thay vì dựa vào mô hình chi tiết của một hệ thống (ví dụ: thực hiện lại mức hướng dẫn), RV hoạt động bằng cách phân tích dấu vết về việc thực hiện thực tế của hệ thống, so sánh nó với một quy trình chính thức đặc tả hành vi của hệ thống.
Công cụ ZZ0000ZZ cung cấp giao diện cho tập hợp thời gian chạy màn hình xác minh (rv).
COMMANDS¶
ZZ0000ZZ
Liệt kê tất cả các màn hình có sẵn.
ZZ0000ZZ
Chạy màn hình.
OPTIONS¶
ZZ0000ZZ, ZZ0001ZZ
Hiển thị văn bản trợ giúp.
Đối với các tùy chọn khác, hãy xem trang man để biết lệnh tương ứng.
SEE ALSO¶
ZZ0000ZZ(1), ZZ0001ZZ(1)
Tài liệu ZZ0000ZZ của nhân Linux: <ZZ0001ZZ
REPORTING BUGS¶
Báo cáo lỗi tới <linux-kernel@vger.kernel.org> và <linux-trace-devel@vger.kernel.org>
LICENSE¶
ZZ0000ZZ là Phần mềm miễn phí được cấp phép theo GNU GPLv2
COPYING¶
Bản quyền (C) 2022 Red Hat, Inc. Quyền sử dụng miễn phí phần mềm này được cấp theo các điều khoản của Giấy phép Công cộng GNU (GPL).