MiLEST测试框架：嵌入式系统软件测试的最佳实践

资源摘要信息:"模型在环 - 测试工具是一种用于嵌入式系统测试的工具，由德国柏林弗劳恩霍夫 FOKUS 研究所的 Justyna Zander 开发，主要贡献适用于嵌入式系统中内置的软件。该工具基于系统模型的功能黑盒测试方法，提供了测试模型，与当前应用的测试方法形成对比，形成专用解决方案，通常专门用于具体的测试环境。测试框架在 MATLAB:registered:/Simulink:registered:/Stateflow:registered: 环境中实现，称为嵌入式系统测试在环模型 (MiLEST)。MiLEST 测试框架允许对信号及其属性进行抽象描述，解决了丢失参考信号流的问题以及系统测试数据选择的问题。开发的面向信号特征的范式识别了许多信号特征。此外，预定义的测试模式有助于构建分层测试规范，这使得按照模块化分而治之的原则构建测试规范成为可能。MiLEST可以处理离散和连续信号。" 知识点： 1. 嵌入式系统测试工具：模型在环 - 测试工具是一种专门用于嵌入式系统测试的工具，可以提高嵌入式系统中内置软件的测试效率和质量。 2. 功能黑盒测试方法：通过提供测试模型，开发了一种基于系统模型的功能黑盒测试方法，可以与当前应用的测试方法形成对比，形成专用解决方案。 3. MATLAB环境：该工具在 MATLAB:registered:/Simulink:registered:/Stateflow:registered: 环境中实现，称为嵌入式系统测试在环模型 (MiLEST)。 4. 信号特征抽象描述：MiLEST 测试框架允许对信号及其属性进行抽象描述，解决了丢失参考信号流的问题以及系统测试数据选择的问题。 5. 面向信号特征的范式：MiLEST开发的面向信号特征的范式识别了许多信号特征，包括离散和连续信号。 6. 分层测试规范构建：预定义的测试模式有助于构建分层测试规范，这使得按照模块化分而治之的原则构建测试规范成为可能。 7. MATLAB：标签为matlab，说明该工具需要使用MATLAB进行开发和运行。 8. MiLEST_Test_Harness.zip：这是MiLEST测试工具的压缩包子文件，用户需要解压此文件，才能进行工具的安装和使用。