About: Analysis and Testing of Concurrent Programs

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

About: Analysis and Testing of Concurrent Programs Goto Sponge Distinct 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://acmbulletin.fiit.stuba.sk/vol5num3.html
Description	In this paper, a methodology for deriving concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined is introduced. Next, our experiences with testing multi-threaded programs using a noise injectiontechnique are discussed showing that there is no silver bullet among the noise injection techniques. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of theirapplication for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process. In this paper, a methodology for deriving concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined is introduced. Next, our experiences with testing multi-threaded programs using a noise injectiontechnique are discussed showing that there is no silver bullet among the noise injection techniques. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of theirapplication for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process. (en)
Title	Analysis and Testing of Concurrent Programs Analysis and Testing of Concurrent Programs (en)
skos:prefLabel	Analysis and Testing of Concurrent Programs Analysis and Testing of Concurrent Programs (en)
skos:notation	RIV/00216305:26230/13:PU106449!RIV14-GA0-26230___
http://linked.open...avai/predkladatel	Fakulta informačních technologií
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(ED1.1.00/02.0070), P(GAP103/10/0306), P(GD102/09/H042), S, Z(MSM0021630528)
http://linked.open...iv/cisloPeriodika	3
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Letko, Zdeněk
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	60464
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/13:PU106449
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	concurrency, testing, noise injection, optimization algorithms (en)
http://linked.open.../riv/klicoveSlovo	noise injection optimization algorithms testing concurrency
http://linked.open...odStatuVydavatele	SK - Slovenská republika
http://linked.open...ontrolniKodProRIV	[92D766FEDBB1]
http://linked.open...i/riv/nazevZdroje	Information Sciences and Technologies Bulletin of the ACM Slovakia
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	IT4Innovations Centre of Excellence Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness
http://linked.open...UplatneniVysledku	2013
http://linked.open...v/svazekPeriodika	5
http://linked.open...iv/tvurceVysledku	Letko, Zdeněk
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
issn	1338-1237
number of pages	8 (xsd:int)
http://localhost/t...ganizacniJednotka	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