由 Justyna Zander 和 Abel Marrero Perez 以及德国柏林 Fraunhofer Institute FOKUS 的 Xuezheng Xiong 于 2005 年至 2008 年间开发。 由 Ina Schieferdecker 监督。
本论文的主要贡献适用于嵌入式系统中内置的软件。 特别是,它指的是构建系统的软件模型。 通过提供测试模型,开发了一种基于系统模型的功能黑盒测试方法。 它与当前应用的测试方法形成对比,形成专用解决方案,通常专门用于具体的测试环境。 本文提出的测试框架是在MATLAB:registered:/Simulink:registered:/Stateflow:registered:[MathML,MathSL,MathSF]环境中实现的,被称为嵌入式系统测试模型(MiLEST)。
开发的面向信号特征的范式允许对信号及其属性进行抽象描述。 它解决了丢失参考信号流的问题以及系统测试数据选择的问题。
评论0
最新资源