Abstracting Path Conditions

Logo poskytovatele

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.