Model driven testing with time augmented markov chain usage models: Computations and test case generation algorithms for time augmented Markov Chain Usage Models

ICSOFT 2009 - 4th International Conference on Software and Data Technologies, Proceedings

Volumn 1, Issue , 2009, Pages 202-207

  Siegl, Sebastian ^a   Entin, Vladimir ^a   German, Reinhard ^a   Kiffe, Gerhard ^b  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

^b AUDI AG   (Germany)

Author keywords

Automated test case generation; Automotive systems; Embedded systems; Model based testing; Software tests; Statistical testing; Test coverage; Testing strategies; Usage modeling

Indexed keywords

AUTOMATED TEST CASE GENERATION; AUTOMOTIVE SYSTEMS; MODEL BASED TESTING; STATISTICAL TESTING; TEST COVERAGE;

COMPUTER SOFTWARE SELECTION AND EVALUATION; EMBEDDED SOFTWARE; MARKOV PROCESSES; STATISTICAL TESTS;

EMBEDDED SYSTEMS;

EID: 74549219838     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

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. Dalai, 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 '99: 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 Erlangen-Nuremberg, Germany.
9. Wallentowitz, H. and Reif, K., editors (2006). Handbuch Kraftfahrzeugelektronik: Grundlagen, Komponenten, Systeme, Anwendungen. Vieweg, Wiesbaden.