用于嵌入式系统测试的模型在环 - 速度控制器案例：用于嵌入式系统测试的模型在环 - 最适用于 2008 年的 MATLAB 版本...

由德国柏林弗劳恩霍夫研究所 FOKUS 的 Justyna Zander 和 Abel Marrero Perez 于 2006 年至 2008 年间开发。 由 Ina Schieferdecker 监督。 本论文的主要贡献适用于嵌入式系统中内置的软件。 特别是，它指的是构建系统的软件模型。 通过提供测试模型，开发了一种基于系统模型的功能黑盒测试方法。 它与当前应用的测试方法形成对比，形成专用解决方案，通常专门用于具体的测试环境。 此处提出的测试框架在 MATLAB:registered:/Simulink:registered:/Stateflow:registered: 环境中实现，称为嵌入式系统测试在环模型 (MiLEST)。 开发的面向信号特征的范式允许对信号及其属性进行抽象描述。 它解决了丢失参考信号流的问题以及系统测试数据选择的问题。 识别了许多信号特征。 此外，预定义的测试模式有助于构建分层测试规范，这使得按照模块化分而治之的原则构建