汽车巡航控制器可驾驶性需求的测试用例生成：基于工业仿真器的实践经验
软件工程
2023-05-31 v1
摘要
汽车软件开发要求工程师测试其系统以检测对功能需求与可驾驶性需求的违反。功能需求定义了汽车软件的功能。可驾驶性需求指驾驶员与车辆交互的感知；例如，通常要求将驾驶员感知的加速度与加加速度限制在给定阈值内。尽管研究文献广泛考虑了功能需求，可驾驶性需求受到的关注较少。本工业论文描述了我们评估一种自动化基于搜索的软件测试（SBST）框架在生成揭示功能与可驾驶性需求失败的测试用例方面有用性的经验。我们的经验涉及 VI-CarRealTime 仿真器，一个汽车领域广泛使用的工业虚拟建模与仿真环境。我们以迭代方式为四轮车辆在 Simulink 中设计了一个巡航控制系统，生成了 21 个模型版本。我们对每个模型版本使用 SBST 框架搜索揭示需求违反的失败暴露测试用例。结果显示 SBST 框架成功为 66.7% 的模型版本识别出失败暴露测试用例，平均需要 245.9 秒与 3.8 次迭代。我们给出了经验教训，反思了结果的普适性，并讨论了结果如何改进实践现状。
引用
@article{arxiv.2305.18608,
title = {Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator},
author = {Federico Formica and Nicholas Petrunti and Lucas Bruck and Vera Pantelic and Mark Lawford and Claudio Menghi},
journal= {arXiv preprint arXiv:2305.18608},
year = {2023}
}
备注
10 pages papaer plus 2 of bibliography. 10 figures and 6 tables