Abstrakt. Vi presenterar och löser ett vägoptimeringsproblem på program. Med tanke på en uppsättning program noder, kallas kritiska noder, hittar vi en kortaste vägen genom programmets kontrollflöde graf som berör det maximala antalet av dessa noder. Kontrollflöde grafer över approximera verkliga program beteende; genom att lägga till dataflödesanalys till kontrollflöde grafen, vi smalnar ner på programmets faktiska beteende och kassera vägar som anses ogenomförbara av dataflödesanalys. Vi härleder en effektiv algoritm för banoptimering baserat på viktade pushdown-system. Vi presenterar en applikation för banoptimering genom att integrera den med Cooperative Bug Isolation Project (CBI), ett dynamiskt felsökningssystem. CBI mines instrumentation feedback data för att hitta misstänkta program beteenden, kallas bugg prediktorer, som är starkt förknippade med programfel. Instantiating kritiska noder som noder som innehåller bugg prediktorer, vi löser för en kortaste programväg som berör dessa prediktorer. Denna sökväg kan användas av en programmerare för att felsöka hans programvara. Vi presenterar några tidiga erfarenheter av att använda detta hybrid statiska/dynamiska system för felsökning.
Lal m.fl. skapa en kortaste styrflödesbana som innehåller maximalt antal felrelaterade predikat valda av statistisk felsökning REF.
Path optimization in programs and its application to debugging
{'venue': '15th European Symposium on Programming', 'journal': None, 'mag_field_of_study': ['Computer Science']}