一句话：提出结合模型模糊测试与状态求解的 Simulink 测试用例生成方法，以应对复杂分支与状态。
Simulink 在工业界广泛用于嵌入式系统的建模与综合，验证模型功能与安全需要大量测试用例。随着需求增长，模型复杂度提高，传统测试方法（如约束求解与随机搜索）在应对复杂分支逻辑和内部状态时遭遇显著障碍。为此，论文提出结合模型模糊测试与状态求解的测试用例生成方法，旨在自动探索 Simulink 模型的分支与状态空间。摘要未给出具体实验评估与量化结果，仅说明该方法针对传统方法的上述局限。
Simulink plays an important role in the industry for modeling and synthesis of embedded systems. Ensuring system stability requires using numerous test cases to validate the functionality and safety of the models. However, as requirements increase, the complexity of the models poses new challenges to traditional testing methods. Traditional methods such as constraint solving and random search run into significant obstacles when navigating the complex branching logic and states within models.
DOI 原文 ·
@inproceedings{paperbot8273,
title = {Test Case Generation for Simulink Models using Model Fuzzing and State Solving},
author = {Zhuo Su and Zehong Yu and Dongyan Wang and Wanli Chang and Bin Gu and Yu Jiang},
booktitle = {ASE},
year = {2024},
doi = {10.1145/3691620.3694991}
}