Attributes | Values |
---|
rdf:type
| |
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
| |
http://linked.open...avai/riv/aktivity
| - P(ED1.1.00/02.0070), P(LH13265), S
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26230/14:PU112027
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Concurrent programs, testing, noise injection, genetic algorithm, multi-objective (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| - Fortaleza, Aquiraz, Ceará, Brasil
|
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Hrubá, Vendula
- Křena, Bohuslav
- Letko, Zdeněk
- Vojnar, Tomáš
- Pluháčková, Hana
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |