Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools

Abstract : The application of test automation tools in a safety-critical context requires so-called tool qualification according to the applicable standards. The objective of this qualification is to justify that verification steps automated by the tool will not lead to faulty systems under test to be accepted as fit for purpose. In this paper we review the tool qualification requirements of the standards ISO 26262 (automotive domain) and the new RTCA DO-178C (avionic domain) and propose a general approach on how to qualify model-based testing tools according to these standards in an efficient and at the same time reliable way. Our approach relies on a lightweight error detection mechanism based on the idea of replaying test executions against the model. We further show how the error detection capabilities can be integrated into a convincing argument for tool qualification, going through the necessary verification activities step-by-step. We highlight the key steps for the RT-Tester Model-Based Test Generator, which is used in test campaigns in the automotive, railway and avionic domains. The approach avoids having to qualify several complex components present in model-based testing tools, such as code generators for test procedures and constraint solving algorithms for test data elaboration.
Type de document :
Communication dans un congrès
Brian Nielsen; Carsten Weise. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. Springer, Lecture Notes in Computer Science, LNCS-7641, pp.8-23, 2012, Testing Software and Systems. 〈10.1007/978-3-642-34691-0_3〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01482408
Contributeur : Hal Ifip <>
Soumis le : vendredi 3 mars 2017 - 15:17:34
Dernière modification le : mardi 13 février 2018 - 16:24:03
Document(s) archivé(s) le : mardi 6 juin 2017 - 12:26:40

Fichier

978-3-642-34691-0_3_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Jörg Brauer, Jan Peleska, Uwe Schulze. Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. Brian Nielsen; Carsten Weise. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. Springer, Lecture Notes in Computer Science, LNCS-7641, pp.8-23, 2012, Testing Software and Systems. 〈10.1007/978-3-642-34691-0_3〉. 〈hal-01482408〉

Partager

Métriques

Consultations de la notice

65

Téléchargements de fichiers

90