Validera kodhantering exceptionellt beteende är svårt, särskilt vid hantering av externa resurser som kan vara bullriga och opålitliga, eftersom det kräver (1) systematisk undersökning av utrymmet för undantag som kan kastas av externa resurser, och (2) installation av sammanhanget för att utlösa specifika mönster av undantag. I detta arbete presenterar vi först en studie som kvantifierar omfattningen av problemet genom att inspektera bugg arkiv av en uppsättning populära program i den allt mer relevanta domänen Android mobila applikationer. Studien visade att 22% av de bekräftade och fasta buggarna har att göra med dålig exceptionell hanteringskod, och hälften av dessa motsvarar interaktioner med externa resurser. Vi presenterar sedan en strategi som tar itu med denna utmaning genom att utföra en systematisk förstärkning av det programutrymme som utforskas genom ett test genom att manipulera beteendet hos externa resurser. Varje förstärkning försöker exponera ett programs undantag hantering konstruktioner till nytt beteende genom att håna en extern resurs så att den återgår normalt eller kastar ett undantag efter en fördefinierad uppsättning mönster. Vår bedömning av metoden indikerar att den kan vara helt automatiserad, är tillräckligt kraftfull för att upptäcka 67% av de fel som rapporterats i felrapporter av detta slag, och är tillräckligt exakt för att 78% av de upptäckta anomalier är fast, och det har en stor potential att hjälpa utvecklare.
Zhang och Elbaum REF presenterade ett tillvägagångssätt som förstärker testet för att validera undantagshantering.
Amplifying Tests to Validate Exception Handling Code: An Extended Study in the Mobile Application Domain
{'venue': 'TSEM', 'journal': None, 'mag_field_of_study': ['Computer Science']}