1. Tailored mutation-based software fault injection tool (IM-FIT)
- Author
-
Ugur Yayan and Cem Baglum
- Subjects
Safety critical systems ,Fault injection ,Mutation-based testing ,Software robustness evaluation ,Computer software ,QA76.75-76.765 - Abstract
The “Tailored Mutation-based Software Fault Injection Tool (IM-FIT)” is a versatile tool developed for evaluating the robustness of safety-critical system software, specifically Python-based and ROS-based systems. IM-FIT employs mutation-based tests to simulate different conditions under which the system operates. This paper introduces IM-FIT, a tool that contributes significantly to the field of safety-critical systems by creating comprehensive fault libraries for ROS-based and Python-based systems and implementing mutation-based testing methods. IM-FIT leverages a customizable RegEx and AST-based software structure, making it a valuable asset for system verification and validation (V&V). The tool not only enhances system robustness but also optimizes the V&V process by reducing effort, cost, and time. This paper outlines the key features, applications, and benefits of IM-FIT in the context of safety-critical system software.
- Published
- 2023
- Full Text
- View/download PDF