SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. ClabureDB. 2012. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | ClabureDB |
Autoři | SLABÝ, Jiří (203 Česká republika, garant, domácí), Jan STREJČEK (203 Česká republika, domácí) a Marek TRTÍK (203 Česká republika, domácí). |
Vydání | 2012. |
Další údaje | |
---|---|
Originální jazyk | angličtina |
Typ výsledku | Software |
Obor | 10201 Computer sciences, information science, bioinformatics |
Stát vydavatele | Česká republika |
Utajení | není předmětem státního či obchodního tajemství |
WWW | ClabureDB |
Kód RIV | RIV/00216224:14330/12:00062341 |
Organizační jednotka | Fakulta informatiky |
Klíčová slova anglicky | Bug database; classified bug-reports |
Technické parametry | ClabureDB dokáže přesně klasifikovat výsledky navrácené statickým analyzátorem a sdělit, jak moc přesný takový nástroj je a kde má slabiny. Následně je možné tyto nástroje zpřesnit a zkvalitnit. V rámci výzkumu v této oblasti zde bylo popsáno přes 20 druhů chyb, oproti nimž aplikace porovnává, a do nich zatřízeno více než 3000 tzv. benchmarků s označkováním reálná chyba/falešné hlášení/neznámo. Jedná se o hlášení v reálném softwaru (jádro OS) i v umělých programech (ze soutěže nástrojů pro statickou analýzu). Hlavním přínosem je na míru vytvořená prezentační vrstva i masivní a ojedinělý rozsah benchmarků. Licence: GPLv2 a Open Database License v1.0. Odpovědná osoba pro jednání: Jan Strejček, email: strejcek@fi.muni.cz; telefon: 549496941; adresa: Jan Strejček, Fakulta informatiky Masarykovy univerzity, Botanická 68a, 602 00 Brno. |
Změnil | Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 05:57. |
Anotace |
---|
We present a software that can serve as a tool for tuning and valuation of miscellaneous program analysis tools. The software contains bug-reports produced by various tools applied to various source codes. The bug-reports are classified as either real errors or false positives. The software currently contains more than 800 bug-reports detected in the Linux kernel 2.6.28, almost 300 reports from Software Competition 2012 and over 2000 reports from Software Competition 2013. Support of other software projects written in various programming languages is planned. |
Návaznosti | |
---|---|
LA09016, projekt VaV | Název: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Akronym: ERCIM) |
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Účast ČR v European Research Consortium for Informatics and Mathematics | |
MUNI/A/0914/2009, interní kód MU | Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV) |
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty |
VytisknoutZobrazeno: 23. 8. 2024 21:41