Betriebssystemmodell
Ein SDV-Betriebssystemmodell oder -Harness besteht aus partiellen und abstrahierten Segmenten von Windows-Code, die während einer Überprüfung als Betriebssystem fungieren. SDV enthält ein Standardbetriebssystemmodell und mehrere spezialisierte Modelle, die zum Überprüfen bestimmter Regeln verwendet werden. SDV stellt das Betriebssystemmodell für eine Überprüfung während des Überprüfungsschritts des Überprüfungsprozesses zusammen.
Es gibt auch ein Harness, das Teile Ihres Treibers auf die gleiche Weise ausführt wie das Windows-Betriebssystem, indem Einstiegspunkte im Treiber aufgerufen werden.
Feedback
Bald verfügbar: Im Laufe des Jahres 2024 werden wir GitHub-Issues stufenweise als Feedbackmechanismus für Inhalte abbauen und durch ein neues Feedbacksystem ersetzen. Weitere Informationen finden Sie unter https://aka.ms/ContentUserFeedback.
Feedback senden und anzeigen für