A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain

Jan Peleska
  • Fonction : Auteur
  • PersonId : 898601
Artur Honisch
  • Fonction : Auteur
  • PersonId : 1015956
Florian Lapschies
  • Fonction : Auteur
  • PersonId : 1015957
Helge Löding
  • Fonction : Auteur
  • PersonId : 1015958
Hermann Schmid
  • Fonction : Auteur
  • PersonId : 1015959
Peer Smuda
  • Fonction : Auteur
  • PersonId : 1015960
Elena Vorobev
  • Fonction : Auteur
  • PersonId : 1015961
Cornelia Zahlten
  • Fonction : Auteur
  • PersonId : 1015962

Résumé

In this paper we present a model for automotive system tests of functionality related to turn indicator lights. The model covers the complete functionality available in Mercedes Benz vehicles, comprising turn indication, varieties of emergency flashing, crash flashing, theft flashing and open/close flashing, as well as configuration-dependent variants. It is represented in UML2 and associated with a synchronous real-time systems semantics conforming to Harel’s original Statecharts interpretation. We describe the underlying methodological concepts of the tool used for automated model-based test generation, which was developed by Verified Systems International GmbH in cooperation with Daimler and the University of Bremen. A test suite is described as initial reference for future competing solutions. The model is made available in several file formats, so that it can be loaded into existing CASE tools or test generators. It has been originally developed and applied by Daimler for automatically deriving test cases, concrete test data and test procedures executing these test cases in Daimler’s hardware-in-the-loop system testing environment. In 2011 Daimler decided to allow publication of this model with the objective to serve as a ”real-world” benchmark supporting research of model based testing.
Fichier principal
Vignette du fichier
978-3-642-24580-0_11_Chapter.pdf (594.57 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01583919 , version 1 (08-09-2017)

Licence

Paternité

Identifiants

Citer

Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, et al.. A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.146-161, ⟨10.1007/978-3-642-24580-0_11⟩. ⟨hal-01583919⟩
202 Consultations
110 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More