知識マップ: Application Verifierで作るWindows異常系テスト基盤

記事「Application Verifierで作るWindows異常系テスト基盤」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

Application Verifierは、Windowsのuser-modeアプリに対してOS API利用や資源管理を実行時に監視するランタイム検証ツールで、無効なハンドルの使用やヒープ破壊をverifier stopとして検出する。Low Resource Simulationというフォールトインジェクションで各種API呼び出しを確率的に失敗させれば、本当のメモリ不足を起こさずに低リソース時のfailure pathを前倒しで踏ませられる。Handlesチェックを有効にすると自動的にhandle tracingが働き、WinDbgの!htraceでハンドルの履歴を、!avrfで設定やstopの状態を確認できる。対象EXEには起動前の設定が必要で後付けはできず、長時間稼働するアプリのハンドルリーク調査をApplication Verifierだけに任せるのは現実的でないため、専用のharness EXEと自前ログの組み合わせが実務的な運用になる。

flowchart LR
    accTitle: Application Verifierによる異常系テストの知識マップ
    accDescr: Application Verifierがfault injectionによるLow Resource Simulationやhandle tracingを通じて無効なハンドル使用やヒープ破壊をverifier stopとして検出できること、WinDbgの!avrfや!htraceで原因を追えること、専用のharness EXEに対して有効化する運用と長時間稼働のハンドルリーク調査には自前ログとの併用が必要なことを示す図。
    application_verifier["Application Verifier"]
    abnormal_path_testing["異常系テスト"]
    fault_injection["フォールトインジェクション(fault injection)"]
    low_resource_simulation["Low Resource Simulation"]
    handle_tracing["ハンドルトレーシング(handle tracing)"]
    windbg["WinDbg"]
    invalid_handle["無効なハンドルの使用(invalid handle)"]
    heap_corruption["ヒープ破壊(heap corruption)"]
    page_heap["ページヒープ(page heap)"]
    verifier_stop["verifier stop"]
    avrf_command["!avrf(WinDbg拡張コマンド)"]
    harness_exe_pattern["harness EXEパターン"]
    handle_leak["ハンドルリーク"]
    abnormal_path_testing -.->|"利用する"| application_verifier
    application_verifier -->|"利用する"| fault_injection
    low_resource_simulation -->|"利用する"| fault_injection
    application_verifier -->|"利用する"| low_resource_simulation
    application_verifier -.->|"利用する"| handle_tracing
    handle_tracing -->|"で確認できる"| windbg
    invalid_handle -->|"で確認できる"| application_verifier
    heap_corruption -->|"で確認できる"| application_verifier
    heap_corruption -->|"で確認できる"| page_heap
    verifier_stop -->|"で確認できる"| avrf_command
    invalid_handle -->|"原因になり得る"| verifier_stop
    heap_corruption -->|"原因になり得る"| verifier_stop
    harness_exe_pattern -->|"推奨される対応"| application_verifier
    application_verifier -->|"用いるのは非推奨"| handle_leak
    avrf_command -.->|"前提とする"| windbg
    low_resource_simulation -->|"で構成できる"| application_verifier
    harness_exe_pattern -->|"推奨される対応"| abnormal_path_testing

概念間の関係(全17件)

図と同じ関係を文章でも列挙します。表示している文と機械可読な意味データ(RDFa)は同じ要素に載っています。確度が「確立した関係」のものは直接の関係として、「条件付きの関係」のものは成立条件つきの言明(rdf:Statement)として表現しています。

• 異常系テストはApplication Verifierを利用します。Windowsのネイティブ/Win32境界を対象にする本記事の異常系テスト基盤はApplication Verifierを検証ツールとして使い、通常系runとfault injection runを分けて回す / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• Application Verifierはフォールトインジェクション(fault injection)を利用します。Application Verifierは意図的にAPI呼び出しを失敗させるfault injectionによって、普段は見えないfailure pathを表面化させる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Low Resource Simulationはフォールトインジェクション(fault injection)を利用します。Low Resource SimulationはHeapAlloc・CreateFileなどのAPI呼び出しを一定確率で失敗させるfault injectionの実装である / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Application VerifierはLow Resource Simulationを利用します。Application Verifierは本当にメモリを食い尽くさなくても資源不足に近い現象を起こせるLow Resource Simulationを備える / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Application Verifierはハンドルトレーシング(handle tracing)を利用します。Handlesチェックを有効にすると、Application Verifierはhandle tracingを自動的に有効にする / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• ハンドルトレーシング(handle tracing)はWinDbgで確認できます。handle tracingの記録は、WinDbgの!htraceコマンドでopen/close/不正参照のスタックとして確認できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 無効なハンドルの使用(invalid handle)はApplication Verifierで確認できます。無効なハンドルの使用は、Application VerifierのHandlesチェックで検出できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• ヒープ破壊(heap corruption)はApplication Verifierで確認できます。ヒープ破壊は、Application VerifierのHeapsチェックで顕在化させて検出できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• ヒープ破壊(heap corruption)はページヒープ(page heap)で確認できます。壊れた瞬間にguard pageで止められるpage heapを使うと、ヒープ破壊をその場で検出しやすくなる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• verifier stopは!avrf(WinDbg拡張コマンド)で確認できます。いま何が有効で、どのverifier stopが起きているかは!avrfコマンドで確認できる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 無効なハンドルの使用(invalid handle)はverifier stopの原因になることがあります。invalid handleの使用をApplication Verifierが検出すると、verifier stopが発生する / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• ヒープ破壊(heap corruption)はverifier stopの原因になることがあります。heap corruptionをApplication Verifierが検出すると、verifier stopが発生する / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• harness EXEパターンはApplication Verifierに対する本記事の推奨です。Application Verifierは動いている最中のプロセスに後から有効化できないため、専用のharness EXEに対して設定する運用が推奨される / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Application Verifierをハンドルリークに用いることは推奨されません。長時間常駐するEXEのハンドルリーク調査をApplication Verifierだけに丸投げするのは現実的でなく、自前ログとの組み合わせが必要である / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• !avrf(WinDbg拡張コマンド)はWinDbgを前提とします。!avrfはデバッガー拡張コマンドで、WinDbgのほかCDBやNTSDなど拡張をホストできるWindowsのデバッガーでも実行できる。本記事はWinDbgでの実行を前提に説明している。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• Low Resource SimulationはApplication Verifierで構成できます。Low Resource Simulationは、appverifのコマンドラインまたはappverif.exeのGUIで、失敗させるAPIの種類ごとに確率を指定して構成する / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• harness EXEパターンは異常系テストに対する本記事の推奨です。異常系テスト基盤では、1シナリオ1プロセスのharness EXEで通常系runとfault injection runを分けて回す設計が推奨される / 確度: 確立した関係 / 確認日: 2026-08-01 出典

主要概念の定義

Application Verifier

Windowsのuser-modeアプリに対するランタイム検証ツールで、OS API利用や資源の扱い方を監視し誤用の検出や意図的な失敗の注入を行う。

異常系テスト

低リソース時やAPI失敗時など、普段の機能テストでは通らないfailure pathを意図的に踏ませて検証するテストの取り組みである。

Low Resource Simulation

HeapAlloc・CreateFile・CreateEventなどのAPI呼び出しを設定した確率で失敗させる、Application Verifierのfault injection機能である。

ハンドルトレーシング(handle tracing)

ハンドルのopen・close・不正参照の履歴をスタック付きで記録する、Application VerifierのHandlesチェックが有効な際に自動で有効になる機能である。

無効なハンドルの使用(invalid handle)

close済みハンドルの再使用や壊れたハンドル値の使用など、無効なハンドルを参照する誤用である。

ヒープ破壊(heap corruption)

バッファ超過やuse-after-freeなどによってヒープの内部構造が壊れる現象である。

verifier stop

Application Verifierが誤った使い方を検出したときに出す検出イベントで、番号が振られ、デバッガー下ではその場でブレークする。

harness EXEパターン

本番アプリ本体ではなく、対象DLLを実際に動かすテスト専用のEXEに対してApplication Verifierを有効化する運用パターンである。

!avrf(WinDbg拡張コマンド)

現在のApplication Verifier設定や、いま起きているverifier stopをデバッガー上で確認するコマンドである。

機械可読データ

• JSON-LD / Turtle ── この記事の知識グラフ全体
• 概念一覧 / 語彙(述語)の定義

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。