Predikatbaserade statistiska fellokaliseringstekniker finner felrelevanta predikat i ett program genom att kontrastera statistiken över utvärderingsresultaten för enskilda predikat mellan misslyckade körningar och framgångsrika körningar. Medan kortslutning utvärderingar kan inträffa i program utföranden, behandla predikat som atomära enheter ignorerar detta faktum, maskera ut olika typer av användbar statistik om dynamiska program beteende. I detta dokument skiljer vi på kortslutningsutvärderingarna av enskilda predikat på enskilda programuttalanden och producerar en uppsättning utvärderingssekvenser per predikat. Vi undersöker sedan experimentellt effektiviteten av att använda dessa sekvenser för att lokalisera fel genom att jämföra befintliga predikatbaserade tekniker med och utan sådan differentiering. Vi använder både Siemens program svit och fyra verkliga UNIX verktygsprogram som våra ämnen. De experimentella resultaten visar att den föreslagna användningen av kortslutningsutvärderingar i genomsnitt kan förbättra predikativa-baserade statistiska fel-lokaliseringstekniker samtidigt som relativt små prestanda overhead.
Zhang m.fl. REF differentierade kortslutningsutvärderingar av enskilda predikat i enskilda programuttalanden och producerade en uppsättning utvärderingssekvenser per predikat för fellokalisering.
Fault Localization through Evaluation Sequences
{'venue': 'JOURNAL OF SYSTEMS AND SOFTWARE', 'journal': None, 'mag_field_of_study': ['Computer Science']}