一句话:提出开源工具 FIM,可在 Simulink 模型中自动注入故障并生成变异体。
本文介绍 FIM,一个面向 Simulink 模型的开源自动化故障注入与变异体生成工具包。FIM 支持向模型特定部分注入常见故障及多种变异算子,并可自定义参数以控制故障触发时间和持续时间;附加标志使用户能在测试期间激活各故障块,观察其对系统可靠性的影响。作者阐述了 FIM 的设计与架构,并在航空电子领域案例上评估其性能。
We introduce FIM, an open-source toolkit for automated fault injection and mutant generation in Simulink models. FIM allows the injection of faults into specific parts, supporting common types of faults and mutation operators whose parameters can be customized to control the time of fault actuation and persistence. Additional flags allow the user to activate the individual fault blocks during testing to observe their effects on the overall system reliability. We provide insights into the design and architecture of FIM, and evaluate its performance on a case study from the avionics domain.