オペレーティング システム モデル

SDV オペレーティング システム モデルまたはハーネスは、検証中にオペレーティング システムとして機能する Windows コードの部分的および抽象化されたセグメントで構成されます。 SDV iには、既定のオペレーティング システム モデルと、特定のルールを検証するために使用されるいくつかの特殊なモデルが含まれています。 SDV は、検証プロセスのチェック ステップ中に、検証のためにオペレーティング システム モデルをアセンブルします。

また、ドライバーのエントリ ポイントを呼び出して、Windows オペレーティング システムと同じ方法でドライバーの一部を実行するハーネスもあります。