Abstracting Path Conditions

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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
Citace
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