About: Methods and Tools for Automated Bug Detection in Software

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

About: Methods and Tools for Automated Bug Detection in Software Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GP102/06/P076
Description	This project belongs to the area of software analysis and verification which is currently a very important and live research area. Correctness of software is nowadays crucial as software is widely used in many safety critical roles. The first goal of this project is to use a real-life software case study for evaluating and comparing currently available tools for automated detection of bugs in software. The case study will be taken from the case studies available within the project SegraVis or from the open-source software community. Consequently, based on the results obtained from the case study, we will improve our currently developed tools (i.e., the tools associated with the formalism of Object-Oriented Petri Nets which has been developed at applicant's home faculty since 1996, and tools based on symbolic execution of Java byte-code which are developed at the University Milano-Bicocca) to be more useful in practice. Another significant benefit of this project is allowing the applicant to (en) 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 navrhovatele a 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
Title	Methods and Tools for Automated Bug Detection in Software (en) Metody a nástroje pro automatizované odhalování softwarových chyb
skos:notation	GP102/06/P076
http://linked.open...avai/cep/aktivita	Post-graduate (doctorate) grants
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GP102%2F06%2FP076/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GP102%2F06%2FP076/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-01-22 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	69135382
http://linked.open...ai/cep/hlavniObor	JC - Počítačový hardware a software
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	Formal analysis and verification; software; Java; Object-Oriented Petri Nets (en)
http://linked.open...ep/partnetrHlavni	Fakulta informačních technologií
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	8 (xsd:int)
http://linked.open...enychVysledkuVRIV	8 (xsd:int)
http://linked.open...lneniVMinulemRoce	2008-04-25 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/102%2F06%2FP076
http://linked.open...iciPoslednihoRoku	2008
http://linked.open...atUdajeProjZameru	2009
http://linked.open.../vavai/cep/soutez	SGA02006GA1PD
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2008-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2006-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	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 (en) Za hlavní výsledky tohoto projektu lze považovat vytvořené nástroje podporující vývoj aplikací v programovacím jazyce Java a s nimi související publikace. Byly implementovány dva prakticky použitelné nástroje pro automatickou detekci časově závislých chy (cs)
http://linked.open...tniCyklusProjektu	ZBKU
http://linked.open.../cep/klicoveSlovo	Java software Formal analysis and verification
is http://linked.open...vavai/riv/projekt of	Java Race Detector & Healer Healing Data Races On-The-Fly Computer Go as a Verification Case Study Using JavaPathFinder for Self-healing Assurance AtomRace: data race and atomicity violation detector and healer Verifying LTL Properties of Bytecode with Symbolic Execution Model checking Using Symbolic Execution Java Atomicity Violation Detector & Healer
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP102%2F06%2FP076/2006/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP102%2F06%2FP076/2007/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP102%2F06%2FP076/2008/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP102%2F06%2FP076/2009/orjk%3A26230

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