loading page

Test Suite Assessment of Safety-Critical Systems using Safety Tactics and Fault-Based Mutation Testing
  • +1
  • Havva Gulay Gurbuz,
  • Bedir Tekinerdogan,
  • Nagehan Pala Er,
  • Cagatay Catal
Havva Gulay Gurbuz
Wageningen University
Author Profile
Bedir Tekinerdogan
Wageningen University

Corresponding Author:bedir.tekinerdogan@wur.nl

Author Profile
Nagehan Pala Er
Author Profile
Cagatay Catal
Qatar University
Author Profile


A safety-critical system is a system in which the software malfunctioning could result in death, injury, or damage to the environment. Addressing safety concerns early on at the architecture design level is critical to guide the subsequent life cycle activities to ensure that the eventual system is reliable. A fundamental approach to address safety at the design level is the adoption of architectural tactics. It is crucial for safety-critical systems to correctly implement the constraints as defined by the selected safety tactics. This article proposes a systematic approach for assessing the adequacy of test suites of safety-critical systems based on these architectural safety tactics. We use a case study to evaluate the effectiveness of our approach using fault-injection techniques. Our study shows that this systematic approach is feasible and effective for test suite assessment of safety-critical systems.
08 Jan 2023Submitted to Journal of Software: Evolution and Process
17 Jan 2023Assigned to Editor
17 Jan 2023Submission Checks Completed
05 Apr 2023Reviewer(s) Assigned
17 May 2023Review(s) Completed, Editorial Evaluation Pending