Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools - Testing Software and Systems Access content directly
Conference Papers Year : 2012

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.
Fichier principal
Vignette du fichier
978-3-642-34691-0_3_Chapter.pdf (437.8 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01482408 , version 1 (03-03-2017)

Licence

Attribution

Identifiers

Cite

Jörg Brauer, Jan Peleska, Uwe Schulze. Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.8-23, ⟨10.1007/978-3-642-34691-0_3⟩. ⟨hal-01482408⟩
111 View
251 Download

Altmetric

Share

Gmail Facebook X LinkedIn More