rv¶
執行時驗證¶
- 手冊章節:
1
概要¶
rv 命令 [選項]
描述¶
執行時驗證（RV）是一種輕量級（但嚴謹）的形式化驗證方法，為複雜系統提供了一種實用方法。RV 不依賴於系統的細粒度模型（例如，指令級的重新實現），而是透過分析系統實際執行的跟蹤來工作，並將其與系統行為的形式化規範進行比較。
rv 工具為一系列執行時驗證 (rv) 監視器提供了介面。
命令¶
list
列出所有可用的監視器。
mon
執行監視器。
選項¶
-h，--help
顯示幫助文字。
有關其他選項，請參閱相應命令的手冊頁。
另請參閱¶
rv-list(1)，rv-mon(1)
Linux 核心 RV 文件: <https://kernel.linux.club.tw/doc/html/latest/trace/rv/index.html>
報告錯誤¶
請將錯誤報告發送至 <linux-kernel@vger.kernel.org> 和 <linux-trace-devel@vger.kernel.org>
許可證¶
rv 是在 GNU GPLv2 許可下發布的自由軟體。
版權¶
版權所有 (C) 2022 Red Hat, Inc. 根據 GNU 通用公共許可證 (GPL) 的條款，允許自由使用本軟體。