Abstracting Path Conditions

• Autoři: STREJČEK Jan; TRTÍK Marek
• Rok publikování: 2012
• Druh: Článek ve sborníku
• Konference: Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://doi.acm.org/10.1145/2338965.2336772
• Doi: http://dx.doi.org/10.1145/2338965.2336772
• Obor: Informatika
• Klíčová slova: Symbolic execution; Path conditions; Program location reachability; Tests generation
• Popis: Představujeme algoritmus založený na symbolické exekuci, který pro daný program a daný bod v programu vytvoří netriviální nutnou podmínku na vstupní hodnoty programu, aby běh programu nad těmito hodnotami navštívil daný bod. Hlavní myšlenkou algoritmu je výpočet sumární informace pro cykly přiléhající k acyklickým cestám vedoucím do daného bodu. Dále navrhujeme využití nutných podmínek v současných nástrojích pro hledání chyb či generování testů. Experimentální výsledky na několika malých příkladech ukazují, že představená technika současné může v některých případech podstatně zlepšit výkonnost zmíněných nástrojů.

Související projekty

• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace
• Centrum excelence - Institut teoretické informatiky
• Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity