MODEL DRIVEN TESTING WITH TIME AUGMENTED MARKOV CHAIN USAGE MODELS - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models

Sebastian Siegl, Vladimir Entin, Reinhard German, Gerhard Kiffe

2009

Abstract

In statistical testing Markov Chain Usage Models (MCUM) are employed to describe the possible usage of the System-under-test (SUT) and to automatically derive test cases. However, MCUMs, as they are applied today, do not provide a universal concept for the integration of time. The estimated or known delay time of usage states and execution time of actions can only be considered by auxiliary means. But the importance of this aspect grows continously with the integration of increasingly complex and time sensitive systems in the automotive environment, such as hybrid vehicles. To overcome this drawback we present an intuitive extension of MCUMs that allows the consistent integration of time in MCUMs. We discuss how computations for MCUMs can be easily adapted to Time Augmented MCUMs and present algorithms for automatic test case generation from Time Augmented MCUMs together with a case study that has been conducted in the automotive domain.

References

  1. AUDI AG (2005). Spezifikation ESP Anzeige- und Warnkonzept. 85057 Ingolstadt, Germany.
  2. Beyer, M. and Dulz, W. (2005). Scenario-based statistical testing of quality of service requirements. In Springer LNCS 3466, International Dagstuhl Workshop on ”Scenarios: Model, Transformations and Tools”, pages 152-173.
  3. Dalal, S. R., Jain, A., Karunanithi, N., Leaton, J. M., Lott, C. M., Patton, G. C., and Horowitz, B. M. (1999). Model-based testing in practice. In ICSE 7899: Proceedings of the 21st international conference on Software engineering, pages 285-294, New York, NY, USA. ACM.
  4. German, R. (2000). Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. John Wiley & Sons, Inc., New York, NY, USA.
  5. Hierons, R. M., Bowen, J. P., Harman, M., Hierons, R. M., Bowen, J. P., and Harman, M. (2008). Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science). Springer Publishing Company, Incorporated.
  6. Prowell, S. J. (2000). Computations for markov chain usage models. Technical report, Software Engineering Institute, Carnegie-Mellon University, Pittsburgh, USA. UT-CS-03-505.
  7. Prowell, S. J. (2004). State of the art of model-based testing with markov chain usage models. Dagstuhl Seminar 04731, Perspectives on Model Based Testing.
  8. Siegl, S. (2008). Evaluation of Model-Driven Test Case Generation based on Markov-Chain Usage Models in the Automotive Domain. Master's thesis, Department of Computer Science, University of ErlangenNuremberg, Germany.
  9. Wallentowitz, H. and Reif, K., editors (2006). Handbuch Kraftfahrzeugelektronik: Grundlagen, Komponenten, Systeme, Anwendungen. Vieweg, Wiesbaden.
Download


Paper Citation


in Harvard Style

Siegl S., Entin V., German R. and Kiffe G. (2009). MODEL DRIVEN TESTING WITH TIME AUGMENTED MARKOV CHAIN USAGE MODELS - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models . In Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-989-674-009-2, pages 202-207. DOI: 10.5220/0002255902020207


in Bibtex Style

@conference{icsoft09,
author={Sebastian Siegl and Vladimir Entin and Reinhard German and Gerhard Kiffe},
title={MODEL DRIVEN TESTING WITH TIME AUGMENTED MARKOV CHAIN USAGE MODELS - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models},
booktitle={Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2009},
pages={202-207},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002255902020207},
isbn={978-989-674-009-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - MODEL DRIVEN TESTING WITH TIME AUGMENTED MARKOV CHAIN USAGE MODELS - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models
SN - 978-989-674-009-2
AU - Siegl S.
AU - Entin V.
AU - German R.
AU - Kiffe G.
PY - 2009
SP - 202
EP - 207
DO - 10.5220/0002255902020207