요약·해설과 원문, 전문 번역을 서로 분리했습니다. API 이름, symbol, source path는 원문 표기를 사용합니다.
1. 요약·해설
원문의 핵심 논리와 kernel programming 관점의 보충 설명입니다. 아래의 전문 번역과는 별도로 작성했습니다.
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. 한국어 전문 번역
영어 원문의 문단 순서와 의미를 유지한 전체 번역입니다. 코드, 함수명, symbol과 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 하위 명령을 소개합니다.