検証の合格と不合格

ルールの SDV 検証には、次の 3 つの基本的な結果があります。

• ドライバーは検証に合格した。

• ドライバーは検証に不合格となった。

• 結果が不確定である。

これらの結果に基づいて結論を出す前に、各結果を理解し、必要な多くの要件を認識しておく必要があります。 ドライバーの最終的または完全な評価として結果を判断しないでください。

検証結果

ドライバーは、ドライバーのコード内のすべての関連する実行パスを探索した後、ドライバーが検証のために選択されたルールに違反したことを SDV 検証エンジンが証明できない場合、SDV 検証に合格します。

ドライバーが少なくとも 1 回ルールに違反したことを SDV 検証エンジンが証明すると、ドライバーは検証に失敗します。 違反は、欠陥と呼ばれます。 ドライバーがルールに複数回違反した場合、SDV は複数の欠陥を報告します。

タイムアウト (Timeout の結果) またはメモリ不足 (Spaceout の結果) が原因で完了する前に終了した場合、または SDV が合格または不合格の結論に到達できなかった場合 (Uncertain の結果)、検証は不確定となります。 また、SDV で内部ツール エラーが発生し、タスクが完了しない可能性もあります。 (結果の詳細については、「静的ドライバー検証ツールの結果の解釈」を参照してください。)

ルールがドライバーに適用されない場合 (たとえば、ドライバーがルールで検証するデバイス ドライバー インターフェイスを使用しない場合)、SDV はルールが使用できないことを報告します。