Em relação à gerência de dispositivos, os devices drivers fazem parte do núcleo do sistema operacional, sendo escritos geralmente em assembly. No entanto, como os drivers são códigos que executam em modo kernel, qualquer erro de programação pode comprometer o funcionamento do sistema. Nesse contexto, existe uma preocupação dos programadores em desenvolver e testar o código em relação à(aos):