Abstrakt. API-felhanteringsspecifikationer dokumenteras ofta inte, vilket kräver automatisk specifikationsbrytning. Automatisk brytning av felhanteringsspecifikationer är en utmaning för procedurspråk som C, som saknar explicita undantagshanteringsmekanismer. På grund av bristen på explicit undantag hantering, felhantering kod är ofta utspridda över olika förfaranden och filer vilket gör det svårt att min felhantering specifikationer genom manuell inspektion av källkod. I detta dokument presenterar vi ett nytt ramverk för gruv API felhantering specifikationer automatiskt från API-klient kod, utan någon användarinmatning. I vårt ramverk anpassar vi en spårgenereringsteknik för att särskilja och generera statiska spår som representerar olika API run-time beteenden. Vi tillämpar datautvinningstekniker på de statiska spåren på gruvspecifikationer som definierar korrekt hantering av API-fel. Vi använder sedan de minerade specifikationerna för att upptäcka API felhantering överträdelser. Våra ramgräver 62 felhanteringsspecifikationer och upptäcker 264 riktiga felhanteringsfel från de analyserade öppen källkodspaketen.
Acharya och Xie REF mine felhantering specifikationer från interprocedural spår.
Mining API Error-Handling Specifications from Source Code
{'venue': 'FASE', 'journal': None, 'mag_field_of_study': ['Computer Science']}