汽车MOTGen swMATH编号： 9718 软件作者： Ambar A.Gadkari；阿南·耶奥利卡尔（Anand Yeolekar）；J.Suresh；S.Ramesh；Swarup Mohalik；K.C.沙希达尔 描述： AutoMOTGen：面向模型的嵌入式控制系统自动测试生成器。我们介绍了AutoMOTGen，这是一种从MATLAB Simulink/Stateflow（SL/SF）模型[6]中自动生成测试用例（ATG）的工具，用于测试汽车控制器。我们的方法基于模型检查[2]。该工具的主要亮点是：增强了模型元素的覆盖范围以及高级需求。一种模块化设计，用于不同模型检查器、测试数据生成器和覆盖率分析工具的即插即用，以提高测试套件的质量。实现采样时间抽象，以生成中间模型中较少（离散）步骤的测试。实现结构覆盖标准模型的覆盖相关检测。能够处理汽车控制器中常用的SL/SF块（包括积分器、延迟、乘法/除法、查找表、触发子系统以及分层和并行图等块）。AutoMOTG的当前实现使用SAL[8]作为中间表示，并使用相关工具（如SAL-atg、SAL-bmc和SAL-smc）生成测试数据，并证明某些覆盖目标的不可达性。AutoMOTGen是用Java和C++（.NET框架）实现的，并使用MATLAB脚本语言从测试生成所需的SL/SF模型中提取相关信息。 主页： http://link.springer.com/chapter/10.1007/978-3-540-70545-1_19 相关软件： PHAVer公司;Simulink公司;迪莫拉;干燥VR;d到达;S-TaLiRo公司;Uppaal公司;状态流;高超声速;Matlab公司;超小卫星;CBMC公司;F外壳;阿斯特里;HSolver公司;RSOLVER公司;PDE2D（PDE2D）;SMV公司;HySAT卫星;Sostools公司 引用于： 4文件 全部的 前5名14位作者引用 2 托尼·曼奇尼 2 费德里科·马里奥 2 安娜丽莎·马西尼 2 伊戈尔·梅拉蒂 2 恩里科·特隆西 1 安吉洛·布里洛特 1 何楠楠 1 Kröning，丹尼尔 1 米歇尔·马祖奇 1 米特拉·普兰达尔 1 斯特凡·拉特肖恩 1 菲利普·吕默 1 简·格奥尔格·斯玛斯 1 乔治·威森巴赫 连载1篇 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文