Simulink 模型下白盒与黑盒测试用例优先级技术的实证评估
软件工程
2025-04-15 v1
摘要
MATLAB/Simulink 是模拟复杂赛博-物理系统(CPSs)的领先工具。复杂 CPSs 的仿真模型通常计算密集,测试用例的执行时间较长。此外,测试用例的执行通常在不同的“链内”测试水平(即模型、软件和硬件-in-the-Loop)触发多次。因此,诸如测试用例优先级等测试优化技术对于测试这些系统至关重要。本文我们提出了对 Simulink 模型测试用例优先级技术进行规模最大的实证研究,通过比较白盒和黑盒测试用例优先级技术的性能。我们评估了传统的测试用例优先级技术,也提出了新的方法用于 Simulink 模型的上下文。我们使用六个不同大小和复杂度的 Simulink 模型对11种测试用例优先级技术进行了实证比较。当比较白盒与黑盒测试用例优先级技术时,我们发现总体而言,白盒技术略优于黑盒技术。在白盒测试用例优先级的背景下,较大模型中总贪婪方法优于额外的贪婪方法。关于测试用例优先级时间,黑盒技术更快,尽管总贪婪技术足够快,可在实际中使用。
引用
@article{arxiv.2504.10313,
title = {An Empirical Evaluation of White-box and Black-box Test Case Prioritization Techniques in CPSs Modeled in Simulink},
author = {Aitor Arrieta},
journal= {arXiv preprint arXiv:2504.10313},
year = {2025}
}