About: Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software

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

About: Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software 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
Description	Testing of multi-threaded programs isa~demanding work due to the many possible thread interleavings one shouldexamine. The noise injection technique helps to increase the number of threadinterleavings examined during repeated test executions provided that a~suitablesetting of noise injection heuristics is used. The problem of finding sucha~setting, i.e., the so called test and noise configuration search problem (TNCSproblem), is not easy to solve. In this paper, we show how to applya~multi-objective genetic algorithm (MOGA) to the TNCS problem. In particular,we focus on generation of TNCS solutions that cover a~high number of distinctinterleavings (especially those which are rare) and provide stable results atthe same time. To achieve this goal, we study suitable metrics and ways how tosuppress effects of non-deterministic thread scheduling on the proposedMOGA-based approach. We also discuss a~choice of a~concrete MOGA and itsparameters suitable for our setting. Finally, we show on a~set o Testing of multi-threaded programs isa~demanding work due to the many possible thread interleavings one shouldexamine. The noise injection technique helps to increase the number of threadinterleavings examined during repeated test executions provided that a~suitablesetting of noise injection heuristics is used. The problem of finding sucha~setting, i.e., the so called test and noise configuration search problem (TNCSproblem), is not easy to solve. In this paper, we show how to applya~multi-objective genetic algorithm (MOGA) to the TNCS problem. In particular,we focus on generation of TNCS solutions that cover a~high number of distinctinterleavings (especially those which are rare) and provide stable results atthe same time. To achieve this goal, we study suitable metrics and ways how tosuppress effects of non-deterministic thread scheduling on the proposedMOGA-based approach. We also discuss a~choice of a~concrete MOGA and itsparameters suitable for our setting. Finally, we show on a~set o (en)
Title	Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software (en)
skos:prefLabel	Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software (en)
skos:notation	RIV/00216305:26230/14:PU112027!RIV15-MSM-26230___
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(ED1.1.00/02.0070), P(LH13265), S
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Pluháčková, Hana Hrubá, Vendula Křena, Bohuslav Letko, Zdeněk Vojnar, Tomáš
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
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	31061
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/14:PU112027
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Concurrent programs, testing, noise injection, genetic algorithm, multi-objective (en)
http://linked.open.../riv/klicoveSlovo	Concurrent programs noise injection genetic algorithm testing multi-objective
http://linked.open...ontrolniKodProRIV	[96721CECBB91]
http://linked.open...v/mistoKonaniAkce	Fortaleza, Aquiraz, Ceará, Brasil
http://linked.open...i/riv/mistoVydani	Heidelberg
http://linked.open...i/riv/nazevZdroje	SSBSE'14
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	5 (xsd:int)
http://linked.open...cetTvurcuVysledku	5 (xsd:int)
http://linked.open...vavai/riv/projekt	IT4Innovations Centre of Excellence Intelligent Testing and Analysis of Concurrent Software
http://linked.open...UplatneniVysledku	2014
http://linked.open...iv/tvurceVysledku	Hrubá, Vendula Křena, Bohuslav Letko, Zdeněk Vojnar, Tomáš Pluháčková, Hana
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2014-08-26 (xsd:date)
number of pages	16 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	978-3-319-09939-2
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, 75 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software