About: ClabureDB

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: ClabureDB Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://claburedb.fi.muni.cz/
Description	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. 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. (en)
Title	ClabureDB ClabureDB (en)
skos:prefLabel	ClabureDB ClabureDB (en)
skos:notation	RIV/00216224:14330/12:00062341!RIV13-MSM-14330___
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(LA09016), S
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Trtík, Marek Slabý, Jiří Strejček, Jan
http://linked.open.../riv/druhVysledku	R - Software
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...onomickeParametry	Nástroje pro statickou analýzu v dnešní době šetří velkou část vynaložených prostředků, které by jinak bylo nutné vynaložit na opravu software v průběhu nasazení, nebo ještě hůře až v době ostrého provozu. ClabureDB usnadňuje vývoj těchto nástrojů určeným ke hledání chyb. Nástroj je veřejně dostupný a byl stažen několika uživateli. Lze tedy předpokládat jeho využití i mimo FI MU. Také plánujeme využití tohoto nástroje v rámcí spolupráce s průmyslovými partnery Fakulty informatiky MU.
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	127343
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/12:00062341
http://linked.open...terniIdentifikace	ClabureDB 1
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Bug database; classified bug-reports (en)
http://linked.open.../riv/klicoveSlovo	Bug database classified bug-reports
http://linked.open...ontrolniKodProRIV	[06426F43774D]
http://linked.open.../licencniPoplatek	N - Poskytovatel licence na výsledek nepožaduje licenční poplatek
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Czech Republic membership in the European Research Consortium for Informatics and Mathematics (ERCIM)
http://linked.open...UplatneniVysledku	2012
http://linked.open...echnickeParametry	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.
http://linked.open...iv/tvurceVysledku	Trtík, Marek Slabý, Jiří Strejček, Jan
http://linked.open...avai/riv/vlastnik	Masarykova univerzita
http://linked.open...itiJinymSubjektem	A - Nabytí licence je nutné vždy
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software