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
Description	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. (cs) 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)
Title	Inteligentní testování a analýza paralelních programů (cs) Intelligent Testing and Analysis of Concurrent Software (en)
http://linked.open...vai/cislo-smlouvy	http://linked.opendata.cz/resource/domain/vavai/cep/smlouva/MSMT-7026/2012-36
http://linked.open...avai/druh-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/druh-souteze/VS
http://linked.open...domain/vavai/faze	http://linked.opendata.cz/resource/domain/vavai/cep/faze/54573034
http://linked.open...vavai/hlavni-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/JC
http://linked.open...vai/vedlejsi-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/IN
http://linked.open...vavai/id-aktivity	http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/LH
http://linked.open.../vavai/id-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/soutez/SMSM2013LH3
http://linked.open...n/vavai/kategorie	http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/1
http://linked.open...vai/klicova-slova	Multi-threaded programs; Concurrency; Testing; Verification; Static and dynamic analysis; Noise injection; Meta-heuristics; Genetic algorithms; Genetic programming; Data mining (en)
http://linked.open...avai/konec-reseni	2015-03-31 (xsd:date)
http://linked.open...nujicich-prijemcu	0 (xsd:integer)
http://linked.open...avai/poskytovatel	http://linked.opendata.cz/resource/domain/vavai/cep/poskytovatel/MSM
http://linked.open...avai/start-reseni	2013-04-01 (xsd:date)
http://linked.open...ai/statni-podpora	1361 (xsd:integer)
http://linked.open...vavai/typProjektu	http://linked.opendata.cz/resource/domain/vavai/cep/typ/P
http://linked.open...ai/uznane-naklady	1361 (xsd:integer)
http://linked.open...ai/pocet-prijemcu	1 (xsd:integer)
http://linked.open...cet-spoluprijemcu	0 (xsd:integer)
http://linked.open...ai/pocet-vysledku	0 (xsd:integer)
http://linked.open...ku-zverejnovanych	0 (xsd:integer)
is http://linked.open...ain/vavai/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2013/LH13265/orjk-26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2014/LH13265/orjk-26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2015/LH13265/orjk-26230

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