Skip to main content
SpringerLink
Log in
Book cover

Genetic and Evolutionary Computation Conference

GECCO 2003: Genetic and Evolutionary Computation — GECCO 2003 pp 2465–2476Cite as

Extracting Test Sequences from a Markov Software Usage Model by ACO

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2724))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aho, A. V., Dahbura, A. T., Lee, D., Uyar, M. Ü, “An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours”, IEEE Trans. on Communications 39 (1991), pp. 1604–1615.

    Article  Google Scholar 

  2. Belli, F., Grosspietsch, K.-E., “Specification of fault-tolerant system issues by predicate/transition nets and regular expressions — approach and case study”, IEEE Trans. Software Eng. 17 (no. 6) (1991), pp. 513–526.

    Article  Google Scholar 

  3. Belli, F., “Finite-state testing and analysis of graphical user interfaces”, Proc. 12th Int. Symp. on Software Reliability Engineering (ISSRE), IEEE CS Press (2001), pp. 34–43.

    Google Scholar 

  4. Bullnheimer, B., Hartl, R. F., Strauss, C., “A new rank-based version of the Ant System: A computational study”, Central European Journal for Operations Research 7(1) (1999), pp. 25–38.

    MATH  MathSciNet  Google Scholar 

  5. Cheung, R. C., “A user-oriented software reliability model”, IEEE Trans. Software Eng., vol. 6 (1980), pp. 118–125.

    Article  MathSciNet  Google Scholar 

  6. Csöndes, T., Kotnyek, B., Szabó, J. Z., “Application of heuristice methods for conformance test selection”, European J. of Operational Research, vol. 142 (2002), pp. 203–218.

    Article  MATH  Google Scholar 

  7. Doerner, K., Gutjahr, W. J., “Representation and Optimization of Software Usage Models with Non-Markovian State Transitions”, Information and Software Technology vol. 47 (2000), pp. 873–884.

    Article  Google Scholar 

  8. Doerner, K., Laure, E., “High performance computing in the optimization of test plans”, Optimization and Engineering, vol. 3 (2002), pp. 67–87.

    Article  MATH  MathSciNet  Google Scholar 

  9. Dorigo, M., Di Caro, G., “The Ant Colony Optimization metaheuristic”, in: New Ideas in Optimization, D. Corne, M. Dorigo, F. Glover (eds.), pp. 11–32, McGraw-Hill (1999).

    Google Scholar 

  10. Dorigo, M., Maniezzo, V., Colorni, A., “The Ant System: An autocatalytic optimization process”, Technical Report 91-016, Dept. of Electronics, Politecnico di Milano, Italy (1991).

    Google Scholar 

  11. Gutjahr, W. J., “Importance sampling of test cases in Markovian software usage models”, Probability in the Engineering and Informational Sciences, vol. 11, (1997), pp. 19–26.

    Article  MATH  Google Scholar 

  12. Gutjahr, W. J., “Software Dependability Evaluation Based on Markov Usage Models”, Performance Evaluation, vol. 40 (2000), pp. 199–222.

    Article  MATH  Google Scholar 

  13. Gutjahr, W. J., “A graph-based Ant System and its convergence”, Future Generation Computing Systems 16 (2000), pp. 873–888.

    Article  Google Scholar 

  14. Gutjahr, W. J., “ACO Algorithms with Guaranteed Convergence to the Optimal Solution”, accepted for publication in: Information Processing Letters.

    Google Scholar 

  15. Harman, M., Jones, B. F., “Search-based software engineering”, Information and Software Technology, vol. 43 (2001), pp. 833–839.

    Article  Google Scholar 

  16. Kallepalli, Ch., “Measuring and modeling usage and reliability for statistical Web testing”, IEEE Trans. Software Eng. vol. 27 (no. 11) (2001), pp. 1023–1036. IEE Proc.-Softw. 146, no. 4 (1999), pp. 187—192.

    Article  Google Scholar 

  17. Kumar, G. P., Venkataram, P., “Protocol test sequence generation using MUIOS based on TSP Problem”, Proc. IFIP TC6 Conf. (1994), pp. 165–191.

    Google Scholar 

  18. Littlewood, B., “A reliability model for systems with Markov structure”, J. Royal Statistical Soc., Series C (Applied Statistics), vol. 24 (1975), pp. 172–177.

    MathSciNet  Google Scholar 

  19. Littlewood, B., “A Semi-Markov model for software reliability fith failure costs”. In: MRI Symp. Computer Software Engineering, Polytechnic Press, Polytechnic of New York, New York (1976), pp. 281–300.

    Google Scholar 

  20. Littlewood, B., “Software Reliability Models for modular program structure”, IEEE Trans. Reliab., vol. 28 (no. 3) (1979), pp. 241–246.

    Article  MATH  Google Scholar 

  21. Poore, J. H., Trammell, C. J., “Application of statistical science to testing and evaluating software intensive systems”. In: Statistics, Testing, and Defense Acquisition, Washington: National Academy Press (1998).

    Google Scholar 

  22. Rajgopal, J., Mazumdar, M., “Modular operational test plans for inferences on software reliability based on a Markov model”, IEEE Trans. Software Eng., vol. 28 (no. 4) (2002), pp. 358–363.

    Article  Google Scholar 

  23. Rivers, A. T., Vouk, A. M., “Resource-constrained non-operational testing of software”, Proc. 9th Int. Symp. on Software Reliability Engineering (ISSRE), pp. 154–163 (1998).

    Google Scholar 

  24. Sayre, K., Poore, J. H., “Partition testing with usage models”, Information and software technology, vol. 42 (2000), pp. 845–850.

    Article  Google Scholar 

  25. Siegrist, K., “Reliability of systems with Markov transfers of control”, IEEE Trans. Software Eng., vol. 14 (no. 7) (1988), pp. 1049–1053.

    Article  MathSciNet  Google Scholar 

  26. Walton, G. H., Poore, J. H., Trammell, J., “Statistical testing of software based on a usage model”, Software — Practice and Experience, vol. 25(1) (1995), pp. 97–108.

    Article  Google Scholar 

  27. Whittaker, J. A., Poore, J. H., “Markov analysis of software specifications”, ACM Trans. on Software Eng. and Method., vol. 2(1) (1993), pp. 93–106.

    Article  Google Scholar 

  28. Whittaker, J. A., Thomason, M. G., “A Markov chain model for statistical software testing”, IEEE Trans. Software Eng., vol. SE-20 (1994), pp. 812–824.

    Article  Google Scholar 

  29. Zhang, F., Cheung, T. Y., “Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines”, IEEE Trans. Software Eng., vol. SE-29 (2003), pp. 1–14.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Management Science, University of Vienna, Bruenner Strasse 72, A-1210, Vienna, Austria

    Karl Doerner

  2. Department of Statistics and Decision Support Systems, University of Vienna, Universitaetsstrasse 5/3, A-1010, Vienna, Austria

    Walter J. Gutjahr

Authors
  1. Karl Doerner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Walter J. Gutjahr
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Center for Applied Scientific Computing (CASC), Lawrence Livermore National Laboratory, 7000 East Avenue, L-561, Livermore, CA, 94550, USA

    Erick Cantú-Paz

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Doerner, K., Gutjahr, W.J. (2003). Extracting Test Sequences from a Markov Software Usage Model by ACO. In: Cantú-Paz, E., et al. Genetic and Evolutionary Computation — GECCO 2003. GECCO 2003. Lecture Notes in Computer Science, vol 2724. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45110-2_150

Download citation

  • DOI: https://doi.org/10.1007/3-540-45110-2_150

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40603-7

  • Online ISBN: 978-3-540-45110-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation