发达国家在2006 - 2008年由Justyna梭鲈和亚伯马雷罗佩雷斯•弗劳恩霍夫研究所——德国柏林。通过在Schieferdecker监督。

本文的主要贡献适用于嵌入式系统内置的软件。特别是,它指的是系统的软件模型。一个功能的黑盒测试方法基于系统模型通过提供一个测试模型。与目前应用的测试方法,形成专门的解决方案,通常专门在一个具体的测试环境。万博 尤文图斯因此提出的测试框架,实现了在MATLAB®/ Simulink®/ Stateflow®环境和被称为Model-in-the-Lo万博1manbetxop为嵌入式系统测试(英里)。

发达标志特征导向型模式允许信号及其属性的抽象描述。这地址缺少参考信号流的问题以及系统的测试数据选择的问题。许多信号特征识别。此外,预定义的测试模式帮助构建分层测试规范,使建筑沿着模块化测试规范的“分而治之”的原则。离散和连续信号的处理是可行的,因此,嵌入式系统的混合行为可以解决。英里的测试需求阶段开始,测试执行水平下降。这个测试过程自动化必不可少的步骤,如测试数据生成和测试评估最重要的名字。

三个案例研究的基础上提出了自适应巡航控制系统。这些例子对应组件、component-in-the-loop和集成级别测试。此外,测试规范流程的质量,测试模型,生成的测试用例进行深度。由此产生的测试质量指标应用在测试设计和测试执行阶段,以评估是否以及如何该方法比建立更有效的技术。

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