Methods and Tools for Automated Bug Detection in Software
Public support
Provider
Czech Science Foundation
Programme
Post-graduate (doctorate) grants
Call for proposals
Postdoktorandské granty 6 (SGA02006GA1PD)
Main participants
—
Contest type
VS - Public tender
Contract ID
102/06/P076
Alternative language
Project name in Czech
Metody a nástroje pro automatizované odhalování softwarových chyb
Annotation in Czech
Tento projekt spadá do oblasti analýzy a verifikace softwaru, která je dlouhodobě aktuálním výzkumným tématem, protože na správnost a spolehlivost softwaru jsou vzhledem k jeho dnešnímu rozšíření prakticky do všech oblastí lidské činnosti kladeny značnépožadavky. Prvním cílem projektu je pomocí případové studie zhodnotit a porovnat aktuálně dostupné nástroje pro automatickou detekci chyb v softwaru. Jako případová studie bude použita některá případová studie z projektu SegraVis nebo bude vybrána z oblasti open-source software. Na základě výsledků této případové studie pak budou programové nástroje, do jejichž vývoje je navrhovatel zapojen, (tedy nástroje založené na objektově orientovaných Petriho sítích dlouhodobě vyvíjené na pracovišti navrhovatelea nástroje založené na symbolickém provádění Java programů, které jsou vyvíjeny na univerzitě Miláno-Bicocca) rozvíjeny směrem k jejich lepší využitelnosti v praxi. Pokračování současné intenzivní spolupráce navrhovatele se zahraničním týmem
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
Newly developed computer tools for Java programming language and corresponding publications can be consider as the main results of this project. Open source tools for automatic detection of data races in Java applications can be found at http://www.fit.v
Solution timeline
Realization period - beginning
Jan 1, 2006
Realization period - end
Dec 31, 2008
Project status
U - Finished project
Latest support payment
Apr 25, 2008
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP09-GA0-GP-U/03:3
Data delivery date
Jan 22, 2015
Finance
Total approved costs
711 thou. CZK
Public financial support
711 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK