汽车发动机

AutoMOTGen:嵌入式控制系统的自动面向模型的测试生成器。我们介绍了AutoMOTGen,一个自动生成测试用例(ATG)的工具,来自matlabsimulink/Stateflow(SL/SF)模型[6],用于测试汽车控制器。我们的方法基于模型检验[2]。该工具的主要亮点是:增强了模型元素的覆盖范围以及高级需求。一个模块化的设计,即插即用的不同模型检查程序,测试数据生成器和覆盖分析工具,以提高测试套件的质量。实现采样时间抽象,以生成中间模型中步骤数较少(离散)的测试。为结构覆盖率条件实现模型的依赖于覆盖率的检测。能够处理汽车控制器中常用的SL/SF模块(包括积分器、延迟、乘法/除法、查找表、触发子系统以及分层和并行图表)的能力。AutoMOTGen的当前实现使用SAL[8]作为中间表示,并使用相关工具(如SAL-atg、SAL-bmc和SAL-smc)来生成测试数据并证明某些覆盖目标的不可达性。AutoMOTGen用Java和C++(.NET框架)实现,并使用MATLAB脚本语言从SL/SF模型中提取测试生成所需的相关信息。