Robustness Testing of the Windows DDK

Találtam egy érdekes cikket: http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=4273006

Windows driverek által elérhető operációs rendszerek robusztusságát vizsgálták. Kiválasztottak 20 függvényt, ahhoz meghatároztak hibás értékeket, és generáltak drivereket, amik meghívták az adott függvényt a hibás paraméterrel. Szép táblázatokat gyártottak ebből, hogy mennyi esetén kezelte le az OS / omlott össze / indult újra, stb. Azt is megnézték, hogy a kék halál esetén a minidump-ból meg lehet-e helyesen állapítani, hogy ki volt a hibás driver. A meglátásaik:

  • átlagosan kb. a hívások 75%-t kezelte az OS, a maradék esetekben összeomlott.
  • Vista esetén se tapasztaltak nagy javulást az XP / 2003-hoz képest.

Írják is, hogy ennek az is lehet az oka, hogy néhány függvény annyira teljesítménykritikus (pl. adott objektumra zárat rakni), hogy direkt nem raktak bele ellenőrzést. Arra lettem volna még kíváncsi, hogy a Static Driver Verifier mennyit fogott volna meg a hibás driver kódokból.

Reklámok
Kategória: Research | Közvetlen link a könyvjelzőhöz.

Vélemény, hozzászólás?

Adatok megadása vagy bejelentkezés valamelyik ikonnal:

WordPress.com Logo

Hozzászólhat a WordPress.com felhasználói fiók használatával. Kilépés / Módosítás )

Twitter kép

Hozzászólhat a Twitter felhasználói fiók használatával. Kilépés / Módosítás )

Facebook kép

Hozzászólhat a Facebook felhasználói fiók használatával. Kilépés / Módosítás )

Google+ kép

Hozzászólhat a Google+ felhasználói fiók használatával. Kilépés / Módosítás )

Kapcsolódás: %s