Freigeben über


Regel für statische Treiberüberprüfung

Eine Überprüfungsregel definiert eine Anforderung für die ordnungsgemäße Interaktion zwischen einem Treiber und der Kernelschnittstelle des Betriebssystems. Die Regeln werden in der Spezifikationssprache für die Schnittstellenüberprüfung (SLIC) geschrieben, eine einfache Sprache, die von Microsoft Research ausdrücklich zu diesem Zweck entwickelt wurde.