Abstrakt. Programfel är svåra att hitta på grund av orsakssambandet mellan tiden då ett fel inträffar och tiden då felet blir uppenbart för programmeraren. Även om felsökningstekniker som villkorliga och databrytpunkter hjälper till att hitta felorsaker i enkla fall, de misslyckas med att effektivt överbrygga orsak-effekt gapet i många situationer. Dynamiska frågebaserade felsökare erbjuder programmerare ett effektivt verktyg som ger omedelbar felvarning genom att kontinuerligt kontrollera inter-objekt-relationer medan felsökningsprogrammet körs. För att snabba upp dynamisk frågeutvärdering använder vår avlusare (implementerad i bärbar Java) en kombination av programinstrumentering, kodgenerering vid laddningstid, frågeoptimering och stegvis omvärdering. Experiment och en modell för frågekostnad visar att urvalsfrågor är effektiva i de flesta fall, medan dyrare gå frågor är praktiska när frågeutvärderingar är sällan eller frågedomäner är små.
Den dynamiska frågebaserad felsökning presenteras i REF.
Dynamic query-based debugging
{'venue': 'In Proceedings of ECOOP', 'journal': None, 'mag_field_of_study': ['Computer Science']}