요약·해설, 영어 원문, 전체 번역을 구분해 실었습니다. API 이름, 코드 심벌, 소스 경로는 원문 표기를 유지합니다.
1. 요약·해설
원문의 핵심 내용을 정리하고 커널 프로그래밍에 필요한 설명을 덧붙였습니다. 아래의 전체 번역과는 별도로 작성한 해설입니다.
2. 영어 원문 전체
번역에 사용한 Linux v6.18.37 원문입니다. 줄 번호는 해당 버전의 소스 파일을 기준으로 합니다.
원문 전체 펼치기
.. SPDX-License-Identifier: GPL-2.0
==
rv
==
--------------------
Runtime Verification
--------------------
:Manual section: 1
SYNOPSIS
========
**rv** *COMMAND* [*OPTIONS*]
DESCRIPTION
===========
Runtime Verification (**RV**) is a lightweight (yet rigorous) method
for formal verification with a practical approach for complex systems.
Instead of relying on a fine-grained model of a system (e.g., a
re-implementation a instruction level), RV works by analyzing the trace
of the system's actual execution, comparing it against a formal
specification of the system behavior.
The **rv** tool provides the interface for a collection of runtime
verification (rv) monitors.
COMMANDS
========
**list**
List all available monitors.
**mon**
Run monitor.
OPTIONS
=======
**-h**, **--help**
Display the help text.
For other options, see the man page for the corresponding command.
SEE ALSO
========
**rv-list**\(1), **rv-mon**\(1)
Linux kernel *RV* documentation:
<https://www.kernel.org/doc/html/latest/trace/rv/index.html>
AUTHOR
======
Daniel Bristot de Oliveira <[email protected]>
.. include:: common_appendix.rst
3. 한국어 전문 번역
영어 원문의 문단 순서와 의미에 맞춰 전체 내용을 번역했습니다. 코드, 함수명, 코드 심벌, URL은 원문 표기를 유지합니다.
실제 실행 trace와 형식 규격 비교
1-31`rv COMMAND [OPTIONS]`는 Runtime Verification을 다루는 매뉴얼 섹션 1 명령이다. RV는 복잡한 시스템에 실용적으로 적용할 수 있는 가볍지만 엄밀한 형식 검증 방법이다.
명령어 수준 재구현처럼 세밀한 시스템 모델에 의존하는 대신 실제 시스템 실행 trace를 분석하고, 그 trace를 시스템 동작의 형식 규격과 비교한다. `rv` 도구는 이런 Runtime Verification monitor 모음의 사용자 인터페이스를 제공한다.
실행 관찰을 형식 규격과 대조해 위반을 찾는다.
정밀 재구현 모델과 실제 trace 기반 검증을 비교한다.
.. SPDX-License-Identifier: GPL-2.0
==
rv
==
--------------------
Runtime Verification
--------------------
:Manual section: 1
SYNOPSIS
========
**rv** *COMMAND* [*OPTIONS*]
DESCRIPTION
===========
Runtime Verification (**RV**) is a lightweight (yet rigorous) method
for formal verification with a practical approach for complex systems.
Instead of relying on a fine-grained model of a system (e.g., a
re-implementation a instruction level), RV works by analyzing the trace
of the system's actual execution, comparing it against a formal
specification of the system behavior.
The **rv** tool provides the interface for a collection of runtime
verification (rv) monitors.
COMMANDS
========list와 mon 하위 명령
32-47`list`는 사용 가능한 모든 monitor를 나열한다. `mon`은 선택한 monitor를 실행한다.
`-h` 또는 `--help`는 도움말을 표시한다. 다른 옵션은 해당 하위 명령의 man 페이지에서 확인한다.
monitor 탐색과 실행을 분리한다.
**list**
List all available monitors.
**mon**
Run monitor.
OPTIONS
=======
**-h**, **--help**
Display the help text.
관련 매뉴얼과 작성 정보
48-63관련 매뉴얼은 `rv-list(1)`과 `rv-mon(1)`이다. Linux kernel RV 문서는 kernel.org의 `trace/rv/index.html`에 있다.
작성자는 Daniel Bristot de Oliveira이며 공통 부록을 포함한다.
명령 개요에서 monitor 선택과 실행으로 이어진다.
명령 수준과 커널 구현 수준을 연결한다.
For other options, see the man page for the corresponding command.
SEE ALSO
========
**rv-list**\(1), **rv-mon**\(1)
Linux kernel *RV* documentation:
<https://www.kernel.org/doc/html/latest/trace/rv/index.html>
AUTHOR
======
Daniel Bristot de Oliveira <[email protected]>
.. include:: common_appendix.rst
요약·해설
rv.rst:1-63실제 실행 trace를 형식 규격과 비교하는 Runtime Verification 접근과 list·mon 하위 명령을 소개합니다.