Introduction of time dependencies in usage model based testing of complex systems

2010 IEEE International Systems Conference Proceedings, SysCon 2010

Volumn , Issue , 2010, Pages 622-627

  Siegl, Sebastian ^a   Hielscher, Kai Steffen ^a   German, Reinhard ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX SYSTEMS; DISCRETE STEP; MARKOV CHAIN; MODEL-DRIVEN TESTING; SEMI MARKOV PROCESS; TEST CASE; TEST METHOD; TEST PLANNING; TIME DEPENDENCY; TIME INTERVAL; USAGE MODELS;

INTERACTIVE COMPUTER SYSTEMS; MARKOV PROCESSES; PLANNING; TIME MEASUREMENT;

REAL TIME SYSTEMS;

EID: 77954443641     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYSTEMS.2010.5482341     Document Type: Conference Paper

References (14)

1. J. M. Carter and J. H. Poore, "Sequence-based specification of feedback control systems in simulink®," in CASCON '07: Proceedings of the 2007 conference of the center for advanced studies on Collaborative research. New York, NY, USA: ACM, 2007, pp. 332-345.
2. S. J. Prowell, "Using markov chain usage models to test complex systems," in HICSS '05: Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences. Washington, DC, USA: IEEE Computer Society, 2005, p. 318.3.
3. S. J. Prowell, "A stopping criterion for statistical testing," in In Proceedings of the 37th Hawaii International Conference on Systems Sciences (HICSS37, 2004.
4. K. Sayre and J. Poore, "A reliability estimator for model based software testing," Software Reliability Engineering, 2002. ISSRE 2002. Proceedings. 13th International Symposium on, pp. 53-63, 2002.
5. N. Leveson, "Medical devices: The therac-25," in Safeware: System Safety and Computers, Addison-Wesley, 1995.
6. S. Siegl, V. Entin, R. German, and G. Kiffe, "Model driven testing with time augmented markov chain usage models - computations and test case generation algorithms for time augmented markov chain usage models," in ICSOFT, INSTICC Press, 2009, pp. 202-207.
7. R. German, Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. New York, NY, USA: John Wiley & Sons, Inc., 2000.
8. S. Siegl and R. German, "Model Driven Testing with Timed Usage Models in the Automotive Domain," in ISSRE 2009, 2009, pp. 55-62.
9. P. A. Brooks and A. M. Memon, "Automated gui testing guided by usage profiles," in ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. New York, NY, USA: ACM, 2007, pp. 333-342.
10. S. J. Prowell and J. H. Poore, "Computing system reliability using markov chain usage models," J. Syst. Softw., vol. 73, no. 2, pp. 219-225, 2004.
11. G. H. Walton, R. M. Patton, and D. J. Parsons, "Usage testing of military simulation systems," in WSC '01: Proceedings of the 33nd conference on Winter simulation. Washington, DC, USA: IEEE Computer Society, 2001, pp. 771-779.
12. S. Siegl, "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, June 2008.
13. AUDI AG, P ichtenheft BMS, 85057 Ingolstadt, Germany, 2009.
14. Systemlastenheft Start-Stopp-Funktion, Volkswagen AG, 38436 Wolfsburg, March 2009.