2006年至2008年由德国柏林弗劳恩霍夫研究所的Justyna Zander和Abel Marrero Perez开发。由Ina Schieferdecker监督。

本论文的主要贡献是应用于嵌入式系统中的软件。特别地，它引用了用来构建系统的软件模型。通过提供测试模型，开发了一种基于系统模型的功能黑盒测试方法。它与当前应用的测试方法形成了专门的解决方案，通常专门在具体的测试环境中。万博 尤文图斯本文提出的测试框架在MATLAB®/Simulink®/ statflow®环境下实现，称为嵌入式系统测试模型在环(Model-i万博1manbetxn-the-Loop for Embedded System test, MiLEST)。

开发的面向信号特征的范式允许对信号及其特性进行抽象描述。它解决了缺少参考信号流的问题以及系统测试数据选择的问题。可以识别出许多信号特征。此外，预定义的测试模式有助于构建分层的测试规范，从而支持沿着模块化分治原则构建测试规范。可以同时处理离散信号和连续信号，从而解决嵌入式系统的混合行为。MiLEST的测试从需求阶段开始，一直到测试执行级别。这个测试过程中的基本步骤是自动化的，例如测试数据生成和测试评估，以指定最重要的步骤。

给出了基于自适应巡航控制的三个实例。这些示例对应于组件、循环中组件和集成级别测试。此外，还深入研究了测试规格说明过程、测试模型和结果测试用例的质量。在测试设计和测试执行阶段应用产生的测试质量度量，以便评估所建议的方法是否以及如何比已建立的技术更有效。

可以在GitHub:https://github.com/justynazander/MiLEST