Home // ADAPTIVE 2019, The Eleventh International Conference on Adaptive and Self-Adaptive Systems and Applications // View article
Authors:
Adina Aniculaesei
Andreas Vorwald
Andreas Rausch
Keywords: architecture adaptation; model-based development; requirements-based testing; model checking; automotive function; SCADE toolchain
Abstract:
Results of acceptance tests trigger various adaptations in the architecture and design of a complex software system. Several adaptation iterations are needed until all acceptance tests are successfully passed. Checking whether the adapted software system complies with an extensive catalogue of requirements is an elaborate task, which cannot be managed only via manual testing anymore. Over the years, model checking has established itself as an efficient method for the generation of requirements-based test cases. At the same time, the traction gained by modelbased development tools, such as SCADE Suite, especially in the automotive and the avionics domains, facilitates the use of formal methods for the analysis and verification of complex software systems developed in these industries. This paper describes an approach which supports the generation of test cases from formalized requirements using the SCADE toolchain. In order to evaluate the applicability of our approach, we apply our concept on a simple system from the automotive domain and discuss outcomming results.
Pages: 69 to 74
Copyright: Copyright (c) IARIA, 2019
Publication date: May 5, 2019
Published in: conference
ISSN: 2308-4146
ISBN: 978-1-61208-706-1
Location: Venice, Italy
Dates: from May 5, 2019 to May 9, 2019