paperbot · PL 论文追踪

全部论文 待读 收藏

P2 MUT4SLX: Fast Mutant Generation for Simulink

MUT4SLX：面向 Simulink 的快速变异体生成
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 2/10 · 论文聚焦 Simulink 模型的变异测试工具，属于软件测试与领域建模方向，不涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析，与用户研究画像的核心方向基本不匹配。引用 4 inbox
Halil Ibrahim Ceylan, Onur Kilincceker, Mutlu Beyazit, Serge Demeyer
测试、调试与修复领域特定语言与建模
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话：提出面向 Simulink 模型的自动变异体生成与测试执行工具 MUT4SLX，可快速注入 15 种基于真实故障的变异算子。

变异测试已在 C++ 等文本语言中支持 shift-left 测试策略，但 Simulink 等图形化建模语言缺乏足够的工具支持与经验报告。本文提出概念验证工具 MUT4SLX，用于 Simulink 模型的自动变异体生成与测试执行。该工具包含 15 个变异算子，这些算子根据从工业缺陷数据库中挖掘的真实故障建模；由于仅替换模块内参数值，注入速度较快。在直升机控制系统样本上的实验表明，MUT4SLX 能在不到一秒内注入 70 个变异体，总分析时间为 8.14 小时。

问题
Simulink 等图形化建模语言缺乏变异测试工具支持，难以将 shift-left 测试策略应用于此类模型。
方法
提出概念验证工具 MUT4SLX，实现 Simulink 模型的自动变异体生成与测试执行，包含 15 个基于工业缺陷库真实故障建模的变异算子，并通过替换模块内参数值实现快速注入。
评估
在直升机控制系统样本上评估，MUT4SLX 能在不到一秒内注入 70 个变异体，总分析时间为 8.14 小时。
原文摘要（Abstract）

Several experience reports illustrate that mutation testing is capable of supporting a “shift-left” testing strategy for software systems coded in textual programming languages like C++. For graphical modelling languages like Simulink, such experience reports are missing, primarily because of a lack of adequate tool support. In this paper, we present a proof-of-concept (named MUT4S LX) for automatic mutant generation and test execution of Simulink models. MUT14SLX features 15 mutation operators which are modelled after realistic faults (mined from an industrial bug database) and are fast to inject (because we only replace parameter values within blocks). An experimental evaluation on a sample project (a Helicopter Control System) demonstrates that MUT4SLX is capable of injecting 70 mutants in less than a second, resulting in a total analysis time of 8.14 hours.

链接与引用

DOI 原文 · DBLP

BibTeX 
@inproceedings{CeylanKBD23,
  title = {MUT4SLX: Fast Mutant Generation for Simulink},
  author = {Halil Ibrahim Ceylan and Onur Kilincceker and Mutlu Beyazit and Serge Demeyer},
  booktitle = {ASE},
  year = {2023},
  doi = {10.1109/ase56229.2023.00093}
}