Extracting Test Sequences from a Markov Software Usage Model by ACO

  • Karl Doerner
  • Walter J. Gutjahr
Conference paper

DOI: 10.1007/3-540-45110-2_150

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2724)
Cite this paper as:
Doerner K., Gutjahr W.J. (2003) Extracting Test Sequences from a Markov Software Usage Model by ACO. In: Cantú-Paz E. et al. (eds) Genetic and Evolutionary Computation — GECCO 2003. GECCO 2003. Lecture Notes in Computer Science, vol 2724. Springer, Berlin, Heidelberg


The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled by a Markov Usage Model which reflects the operational distribution of the software system and is enriched by estimates of failure probabilities, losses in case of failure and testing costs. Exploiting this information, we consider the tradeoff between coverage and testing costs and try to find an optimal compromise between both. For that purpose, we use a heuristic optimization procedure inspired by nature, Ant Colony Optimization, which seems to fit very well to the problem structure under consideration. A real world software system is studied to demonstrate the applicability of our approach and to obtain first experimental results.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Karl Doerner
    • 1
  • Walter J. Gutjahr
    • 2
  1. 1.Department of Management ScienceUniversity of ViennaViennaAustria
  2. 2.Department of Statistics and Decision Support SystemsUniversity of ViennaViennaAustria

Personalised recommendations