Abstract-Developing modellbaserade automatiska debugging strategier har varit ett aktivt forskningsområde i flera år, med syfte att lokalisera defekter i ett program genom att använda helt automatiserad generering av en modell av programmet från dess källkod. Vi ger en översikt över aktuella tekniker i modellbaserad felsökning och bedömer styrkor och svagheter i de enskilda tillvägagångssätten. En empirisk jämförelse presenteras som undersöker den relativa noggrannheten hos olika modeller på en uppsättning testprogram och felantaganden, vilket visar att vår abstrakta tolkningsbaserade modell ger hög noggrannhet vid betydligt mindre beräkningsansträngning än något mer exakta tekniker. Vi jämför en rad modellbaserade felsökningstekniker med andra toppmoderna automatiserade felsökningsmetoder och beskriver möjliga framtida utvecklingar inom automatisk felsökning med hjälp av modellbaserat resonemang som den centrala enande komponenten i ett omfattande ramverk.
En översikt över olika tekniker för att generera programmodeller ges i REF.
Evaluating Models for Model-Based Debugging
{'venue': '2008 23rd IEEE/ACM International Conference on Automated Software Engineering', 'journal': '2008 23rd IEEE/ACM International Conference on Automated Software Engineering', 'mag_field_of_study': ['Computer Science']}