ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools

Varování

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

Autoři	SLABÝ Jiří STREJČEK Jan TRTÍK Marek
Rok publikování	2013
Druh	Článek ve sborníku
Konference	Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Doi	http://dx.doi.org/10.1007/978-3-642-35873-9_17
Obor	Informatika
Klíčová slova	Bug database; classified bug-reports
Přiložené soubory	bd.pdf
Popis	Představujeme databázi, která může sloužit jako nástroj pro ladění a evaluaci nástrojů pro analýzu programů. Databáze obsahuje záznamy o chybách vyprodukované různými nástroji spuštěnými na různé zdrojové kódy. Tyto záznamy jsou klasifikovány buď jako skutečn0 chyby nebo jako falešná hlášení. Databáza v současnosti obsahuje přes 800 záznamů pro Linux kernel 2.6.28. Je plánována i podpora pro další softwarové projekty napsané v různých programovacích jazycích. Databázi je možno stáhnout a využívat pomocí SQL dotazů nebo s pomocí webového rozhraní.
Související projekty:	Centrum excelence - Institut teoretické informatiky Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II.