International Conference on Software Engineering and Formal Methods

Software Engineering and Formal Methods pp 22-31 | Cite as

Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9509)

Abstract

Timed usage models (TUMs) represent a model-based statistical approach for system testing of real-time embedded systems. They enable an automatic test case generation and the calculation of parameters that aid the test process. However, a classical TUM only supports sequential uses of the system under test (SUT). It is not capable of dealing with concurrency, which is required for state of the art real-time embedded systems. Therefore, we introduce TUMs with parallel regions. They also allow automatic test case generation, which is carried out similarly to classical TUMs. But, the semi-Markov process (SMP) that is usually used for analysis is not suitable here. We apply Markov renewal theory and define an SMP with parallel regions, which is used to calculate parameters. We validated our analytical approach by simulations.

Keywords

System testing Timed usage models Concurrency 

References

  1. 1.
    Böhr, F.: Model based statistical testing of embedded systems. In: Proceedings of the 4th International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2011), Berlin, Germany, pp. 18–25, March 2011Google Scholar
  2. 2.
    Bringmann, E., Kramer, A.: Model-based testing of automotive systems. In: Proceedings of the 1st International Conference on Software Testing, Verification, and Validation (ICST 2008), Lillehammer, Norway, pp. 485–493, April 2008Google Scholar
  3. 3.
    Broy, M.: Challenges in automotive software engineering. In: Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, pp. 33–42, May 2006Google Scholar
  4. 4.
    Dias Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: a systematic review. In: Proceedings of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech 2007), Atlanta, Georgia, USA, pp. 31–36 (2007). http://doi.acm.org/10.1145/1353673.1353681
  5. 5.
    Dietrich, I.: Syntony: A Framework for UML-Based Simulation, Analysis and Test with Applications in Wireless Networks. Dr. Hut, Germany (2010)Google Scholar
  6. 6.
    German, R.: Performance Analysis of Communication Systems. Wiley, Chichester (2000)MATHGoogle Scholar
  7. 7.
    Little, J.D.C.: A proof for the queuing formula: L\(\,=\,\lambda \) W. Oper. Res. 9(3), 383–387 (1961)MATHMathSciNetCrossRefGoogle Scholar
  8. 8.
    Prowell, S.J.: Computations for Markov chain usage models. University of Tennessee, Tech. report (2003)Google Scholar
  9. 9.
    Prowell, S.J.: A stopping criterion for statistical testing. In: Proceedings of the 37th Hawaii International Conference on Systems Sciences (HICSS 2004), Big Island, Hawaii, USA, January 2004Google Scholar
  10. 10.
    Siegl, S., Dulz, W., German, R., Kiffe, G.: Model-driven testing based on markov chain usage models in the automotive domain. In: Proceedings of the 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse, France, May 2009Google Scholar
  11. 11.
    Siegl, S., German, R.: Model-driven testing with timed usage models in the automotive domain. In: Proceedings of the 20th International Symposium on Software Reliability Engineering (ISSRE 2009), Mysuru, India, November 2009Google Scholar
  12. 12.
    Siegl, S., Hielscher, K.S., German, R.: Introduction of time dependencies in usage model based testing of complex systems. In: 4th Annual IEEE Systems Conference (SysCon 2010), San Diego, California, USA, pp. 622–627, April 2010Google Scholar
  13. 13.
    Whittaker, J.A., Poore, J.H.: Markov analysis of software specifications. ACM Trans. Softw. Eng. Methodol. 2(1), 93–106 (1993)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  1. 1.Department of Computer Science 7University Erlangen-NurembergErlangenGermany

Personalised recommendations