HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, March 3, 2017 - 3:17:34 PM
Last modification on : Tuesday, February 13, 2018 - 4:24:03 PM
Long-term archiving on: : Tuesday, June 6, 2017 - 12:26:40 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads