Microsoft Static Driver Verifier wird als "ein Kompilierzeit-Tool, das Code-Pfade untersucht" beschrieben in einem Gerätetreiber durch symbolische Ausführung des Quellcodes. SDV ist ein Komponententest-Tool für Microsoft Windows-Gerätetreiber basierend auf dem Windows Driver Model (WDM). "
Suchen Sie das?
Tags und Links unit-testing windows kernel drivers