About: Intelligent Testing and Analysis of Concurrent Software

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

About: Intelligent Testing and Analysis of Concurrent 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.fit.vutbr.cz/units/UITS/grants/index.php.cs?id=670 http://www.isvav.cz/projectDetail.do?rowId=LH13265
Description	The goal of the project is to conduct a joint research with the Israeli partner that will significantly improve the efficiency, generality, and degree of automation of testing and analysis of multi-threaded programs. Improved efficiency should be achieved by developing new heuristics for injection of noise into thread scheduling which will increase the probability of discovering synchronization-related errors when testing concurrent programs. Increased generality should be achieved by developing new dynamic error detection algorithms, targeting even new and/or so far less studied synchronization mechanisms as well as currently less supported classes of programs (e.g., noise-based dynamic analysis of concurrent binary code). Higher automation should be achieved by employing advanced optimization algorithms (meta-heuristics) and data mining on test data for an automated optimization of the process of testing of concurrent code wrt. various criteria without a need of a manual intervention of testers. (en) Cílem projektu je přispět výzkumem realizovaným společně se zahraničním partnerem k výraznému zvýšení efektivity, obecnosti a stupně automatizace procesu testování a analýzy vícevláknových programů. Zlepšení efektivnosti bude dosaženo vývojem nových heuristik pro vkládání šumu do plánování paralelních programů, které zvýší pravděpodobnost nalezení chyb v synchronizaci během testování vícevláknových programů. Zvýšení obecnosti bude dosaženo vývojem nových dynamických detekčních algoritmů, které se zaměří i na nové či dosud méně studované synchronizační mechanismy, méně studované třídy chyb, případně na dosud méně podporované třídy programů (např. na dynamickou analýzu paralelních programů na úrovni binárního kódu s využitím vkládání šumu). Vyšší automatizace bude dosaženo využitím optimalizačních algoritmů, tzv. meta-heuristik, a technik dolování z testovacích dat pro automatickou optimalizaci testování vícevláknových programů s ohledem na různá kritéria bez nutnosti manuálního zásahu programátora.
Title	Intelligent Testing and Analysis of Concurrent Software (en) Inteligentní testování a analýza paralelních programů
skos:notation	LH13265
http://linked.open...avai/cep/aktivita	KONTAKT II
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/LH13265/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/LH13265/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-02-16 (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	101050707
http://linked.open...ai/cep/hlavniObor	JC - Počítačový hardware a software
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	Multi-threaded programs; Concurrency; Testing; Verification; Static and dynamic analysis; Noise injection; Meta-heuristics; Genetic algorithms; Genetic programming; Data mining (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	2 (xsd:int)
http://linked.open...enychVysledkuVRIV	2 (xsd:int)
http://linked.open...lneniVMinulemRoce	2014-02-28 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/MSMT-6805%2F2013-311
http://linked.open...iciPoslednihoRoku	2015
http://linked.open...atUdajeProjZameru	2015
http://linked.open.../vavai/cep/soutez	SMSM2013LH3
http://linked.open...usZobrazovaneFaze	DRRVK
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	2015-03-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	IN - Informatika
http://linked.open...ep/zahajeniReseni	2013-04-01 (xsd:date)
http://linked.open...tniCyklusProjektu	ZBK
http://linked.open.../cep/klicoveSlovo	Testing Concurrency Genetic algorithms Genetic programming Meta-heuristics Noise injection Static and dynamic analysis Verification Multi-threaded programs
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/LH13265/2013/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/LH13265/2014/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/LH13265/2015/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