License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-20149
URL: https://drops.dagstuhl.de/opus/volltexte/2009/2014/
Go to the corresponding Portal


Baskiotis, Nicolas ; Sebag, Michèle ; Gaudel, Marie-Claude

SoftwareTesting with Active Learning in a Graph

pdf-format:
08351.SebagMichele.Paper.2014.pdf (0.3 MB)


Abstract

Motivated by Structural Statistical Software Testing (SSST), this paper
is interested in sampling the feasible execution paths in the
control flow graph of the program being tested. For some complex programs,
the fraction of feasible paths becomes tiny, ranging in
$[10^{-10}, 10^{-5}]$. When relying on the uniform sampling of the
program paths, SSST is thus hindered by
the non-Markovian nature of the ``feasible path'' concept, due to the
long-range dependencies between the program nodes.
A divide and generate approach relying on an extended Parikh Map
representation is proposed to address this limitation;
experimental validation on real-world
and artificial problems demonstrates gains of orders of magnitude compared
to the state of the art.

BibTeX - Entry

@InProceedings{baskiotis_et_al:DSP:2009:2014,
  author =	{Nicolas Baskiotis and Mich{\`e}le Sebag and Marie-Claude Gaudel},
  title =	{SoftwareTesting with Active Learning in a Graph},
  booktitle =	{Evolutionary Test Generation},
  year =	{2009},
  editor =	{Holger Schlingloff and Tanja E. J. Vos and Joachim Wegener},
  number =	{08351},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2009/2014},
  annote =	{Keywords: Structural Statistical Software Testing, Active Learning, Control Flow Graph, Feaisble Paths, Parikh maps.}
}

Keywords: Structural Statistical Software Testing, Active Learning, Control Flow Graph, Feaisble Paths, Parikh maps.
Collection: 08351 - Evolutionary Test Generation
Issue Date: 2009
Date of publication: 25.05.2009


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI