Application Verifieriga loodud rikketeede testimise aluse juhtumiuuring

Juhtumi ülevaade

See on juhtumiuuring, kus ei piirdutud ühekordse veaparandusega, vaid kasutati Application Verifierit, et luua rikketeede testimise alus ise. Eesmärk ei olnud ainult „leida praegune tõrge“, vaid ka „luua juba ette olukord, kus järgmist rikkumist on lihtne jälitada“.

Sümptomid

• Tavarežiimi testidega üksi ilmnevad rikketeede (failure path) probleemid harva
• Ressursinappuse korral tekkivad ja käepidemega seotud anomaaliad paistavad tavaliselt välja ainult töökeskkonnale lähedastes tingimustes
• Uurimise sammud hakkavad kergesti sõltuma konkreetsest inimesest

Piirangud

• Ressursside tegelik ammendamine päris seadmel on kulukas ja riskantne
• Soovisime natiivsete liideste ja Win32 ümbruses tekkivad rikked varem nähtavale tuua
• Tulemus pidi olema sellises vormis, et seda saab kasutada ka järgmise tõrke uurimisel

Mida jälgisime

• Verifieri seaded, näiteks Handles, Heaps ja Low Resource Simulation
• Rikketeede jäljed, sealhulgas !htrace ja page heap
• Enda elutsükli logide ja Verifieri stop-teabe vastavus

Kuidas põhjust piiritlesime

Esmalt eristasime selle, mida saab jälgida tavaliste logidega, sellest, mis jääb ilma Verifierita nähtamatuks. Seejärel rakendasime Verifierit testrakmestiku kaudu käivitatavale täitmisteele ja suundusime lähenemisele, mille järgi raskesti reprodutseeritavad anomaaliad tuuakse varem nähtavale.

Mida parandasime

• Lõime testimise aluse, mis läbib rikketeid sihipäraselt
• Muutsime käepideme- ja hunnikumälu (heap) anomaaliad jälgitavaks lühemates tsüklites
• Korrastasime jälgimispunktid nii, et tulemused on lihtne tuua tagasi hilisemasse disainiülevaatusse ja kordumise vältimise meetmetesse

Teenused, millega see juhtum seondub

See juhtum on otseselt seotud teenusega Veaotsing ja algpõhjuse analüüs, mis viib edasi tõrke reprodutseerimist ja põhjuse tuvastamist. Samuti seondub see teenusega Tehniline nõustamine ja disainiülevaatus, mille raames selgitatakse, kui kaugele tuleks rikketeede teste ja jälgimispunkte disaini sisse ehitada.

Seotud artiklid

Küsige meilt nõu

Kui see leht on lähedane olukorrale, millega te tegelete, küsige meilt nõu, lisades praeguse konteksti ja selle, millist tuge vajate.