paperbot · PL 论文追踪

全部论文 待读 收藏

P2 FIM: fault injection and mutation for Simulink

FIM:面向 Simulink 的故障注入与变异
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 2/10 · 该论文聚焦于 Simulink 模型的故障注入与变异测试,属于测试与领域建模范畴,与用户研究方向(面向 ML/Agentic 程序的静态分析、LLM 与程序分析/浮点/贝叶斯的交叉)几乎没有交集。引用 16 inbox
Ezio Bartocci, Leonardo Mariani, Dejan Ničković, Drishti Yadav
crossref: 2026-09-12

AI 速览

一句话:提出开源工具 FIM,可在 Simulink 模型中自动注入故障并生成变异体。

本文介绍 FIM,一个面向 Simulink 模型的开源自动化故障注入与变异体生成工具包。FIM 支持向模型特定部分注入常见故障及多种变异算子,并可自定义参数以控制故障触发时间和持续时间;附加标志使用户能在测试期间激活各故障块,观察其对系统可靠性的影响。作者阐述了 FIM 的设计与架构,并在航空电子领域案例上评估其性能。

问题
如何在 Simulink 模型中系统、自动化地进行故障注入并生成变异体,以支持系统可靠性测试?
方法
FIM 作为开源工具包,提供可配置的故障与变异算子、故障触发与持续参数,以及测试时激活故障块的控制标志,并给出其架构设计。
评估
通过航空电子领域的一个案例研究评估 FIM 的性能。
原文摘要(Abstract)

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.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot7127,
  title = {FIM: fault injection and mutation for Simulink},
  author = {Ezio Bartocci and Leonardo Mariani and Dejan Ničković and Drishti Yadav},
  booktitle = {FSE},
  year = {2022},
  doi = {10.1145/3540250.3558932}
}