嵌入式软件测试（三十三）——软件在环（SIL）测试

❄️ 个人专栏：
《智能软件工程AI4SE》
《嵌入式面试总结》
《嵌入式处理器架构解析》
《嵌入式与虚拟化》
《嵌入式软件测试》
🌟 Simplicity is the ultimate sophistication

摘要：软件在环（SIL）测试是嵌入式软件测试体系中连接模型仿真与硬件测试的关键环节。本文系统介绍 SIL 测试的基本概念、原理架构、实施流程、常用工具链、优缺点，并通过与 MIL、PIL、HIL 等方法的对比，帮助读者全面理解 SIL 测试在嵌入式开发中的定位与价值。

文章索引：

• 1. 引言
• 2. 什么是软件在环（SIL）测试
• 3. SIL 测试的原理与架构
• 4. SIL 测试的实施流程
• 5. SIL 测试的常用工具链
• 6. SIL 测试的优缺点
• 7. SIL 与其他在环测试方法的对比
• 8. SIL 测试的典型应用场景
• 9. SIL 测试的最佳实践
• 10. 总结

1. 引言

在嵌入式软件测试体系中，软件在环（Software-in-the-Loop，SIL）测试是连接模型仿真与硬件测试的关键环节。它通过将待测软件运行在主机环境或通用处理器上，与仿真模型协同工作，从而在无需真实硬件的情况下完成对软件逻辑、算法和控制策略的验证。本文将从 SIL 测试的基本概念出发，系统介绍其原理、实施流程、工具链、优缺点以及与其他在环测试方法的对比，帮助读者全面理解 SIL 测试在嵌入式开发中的定位与价值。

2. 什么是软件在环（SIL）测试

软件在环测试是一种验证方法，它将嵌入式系统的应用软件（通常由模型自动生成或手写代码）编译并运行在非目标硬件环境（如 PC、工作站或通用处理器）上，同时通过仿真模型模拟被控对象和传感器输入，从而在闭环条件下验证软件功能与逻辑的正确性。

SIL 测试的核心思想是：在硬件尚未就绪或不宜频繁使用的阶段，提前对软件进行验证，尽早发现设计缺陷和实现错误，降低后期修复成本。

3. SIL 测试的原理与架构

SIL 测试的典型架构由三个主要部分组成：待测软件、被控对象模型和测试平台。待测软件是嵌入式系统中的控制算法或应用逻辑，被编译为可在主机环境运行的代码；被控对象模型则是对真实物理系统（如电机、发动机、车辆底盘等）的数学仿真；测试平台负责调度两者的交互、注入测试用例并采集结果。

在 SIL 环境中，待测软件与被控对象模型运行在同一台主机上，通过共享内存、文件接口或网络通信进行数据交换。由于两者都在同一环境中运行，SIL 测试具有执行速度快、调试方便、可重复性高等优点。

4. SIL 测试的实施流程

SIL 测试的实施通常遵循以下步骤：

1. 准备被测软件：将模型生成的代码或手写代码交叉编译为可在主机环境运行的版本，并确保其与目标环境行为一致。
2. 搭建被控对象模型：在仿真环境中建立被控对象的数学模型，并配置传感器、执行器等接口。
3. 配置测试环境：将待测软件与被控对象模型连接，建立闭环仿真回路。
4. 设计测试用例：根据需求规格和功能规范设计测试用例，覆盖正常、边界和异常场景。
5. 执行测试：运行测试用例，记录输入输出数据、覆盖率信息和异常日志。
6. 分析结果：比对实际输出与预期结果，定位缺陷并反馈给开发团队。

5. SIL 测试的常用工具链

在实际项目中，SIL 测试通常依赖成熟的工具链来提升效率。常见的工具包括：

• MATLAB/Simulink：提供模型仿真、代码生成和 SIL 测试的完整环境，支持自动生成代码并直接进行软件在环验证。
• ETAS LABCAR：面向汽车电子控制单元（ECU）的测试平台，支持 SIL、HIL 等多种在环测试模式。
• dSPACE：提供从模型仿真到硬件在环的完整解决方案，其 SCALEXIO 平台可灵活配置 SIL 测试环境。
• Vector CANoe：主要用于总线通信仿真，可配合 SIL 测试验证通信协议和网络管理逻辑。
• 开源工具：如基于 Python 的仿真框架和测试框架，适用于轻量级 SIL 测试场景。下面给出一个基于 Python 的简单 SIL 测试示例，演示如何搭建闭环仿真、注入测试用例并断言结果。

import numpy as np ---------- 1. 被控对象模型（Plant Model） ---------- 这里用一个简单的一阶惯性环节模拟被控对象，例如电机转速响应 class PlantModel: def init(self, tau=0.1): self.tau = tau # 时间常数 self.y = 0.0 # 当前输出（如转速） def step(self, u, dt): # 一阶惯性环节离散化：dy/dt = (u - y) / tau self.y += (u - self.y) / self.tau * dt return self.y ---------- 2. 待测软件（Software Under Test） ---------- 这里用简单的比例控制器模拟嵌入式控制算法，即被测软件 class Controller: def init(self, kp=2.0): self.kp = kp # 比例增益 def compute(self, ref, y): # 比例控制：输出 = 增益 * 误差 error = ref - y return self.kp * error ---------- 3. 搭建闭环仿真回路（Closed-loop Simulation） ---------- def run_sil_simulation(ref, kp=2.0, dt=0.01, steps=500): plant = PlantModel(tau=0.1) ctrl = Controller(kp=kp) outputs = [] for _ in range(steps): u = ctrl.compute(ref, plant.y) # 控制器根据当前输出计算控制量 y = plant.step(u, dt) # 被控对象根据控制量更新输出 outputs.append(y) return outputs ---------- 4. 注入测试用例并断言结果（Test Case & Assertion） ---------- def test_sil(): ref = 1.0 # 目标值（如目标转速） outputs = run_sil_simulation(ref) # 断言：稳态输出应接近目标值（允许 5% 误差） steady_state = outputs[-1] assert abs(steady_state - ref) < 0.05 * ref, \ f"稳态误差过大: {steady_state}" 断言：系统应无超调或超调在允许范围内 overshoot = max(outputs) - ref assert overshoot < 0.1 * ref, f"超调量过大: {overshoot}" print("SIL 测试通过：稳态误差与超调均在允许范围内") if name == "main": test_sil()

上述示例中，PlantModel模拟被控对象，Controller代表待测软件，二者在同一主机环境中闭环交互，构成典型的 SIL 测试回路。测试函数注入目标值作为测试用例，并通过断言校验稳态误差和超调量，从而验证控制逻辑的正确性。

6. SIL 测试的优缺点

SIL 测试之所以在嵌入式开发中被广泛采用，是因为它具有以下显著优势：

• 无需硬件：在硬件开发完成前即可开展测试，缩短项目周期。
• 执行速度快：主机环境计算能力强，可大幅缩短测试时间。
• 调试方便：可直接使用主机调试工具，定位问题更高效。
• 可重复性好：测试环境稳定，结果易于复现。
• 成本低：无需搭建昂贵的硬件测试台架。

与此同时，SIL 测试也存在一些局限性：

• 实时性不足：主机环境无法完全模拟目标硬件的实时时序特性。
• 硬件相关缺陷无法发现：如寄存器配置、中断处理、外设驱动等问题在 SIL 中难以暴露。
• 模型精度依赖：被控对象模型的准确性直接影响测试结果的可信度。
• 编译差异：主机编译环境与目标交叉编译环境可能存在差异，导致行为不一致。

7. SIL 与其他在环测试方法的对比

在嵌入式测试体系中，除了 SIL 测试，还有模型在环（MIL）、处理器在环（PIL）和硬件在环（HIL）等测试方法。它们之间的主要区别在于被测对象和运行环境的不同。

从测试阶段来看，MIL 最早介入，SIL 紧随其后，PIL 和 HIL 则更接近最终产品验证。SIL 测试在 MIL 和 HIL 之间起到了承上启下的作用，既验证了代码实现，又避免了硬件依赖。

7.1 案例：电机转速控制算法的 MIL 与 SIL 对比测试

下面以电机转速控制为例，具体说明同一控制算法在 MIL 和 SIL 两种环境下的测试差异。假设控制算法为比例积分（PI）控制器，目标转速为 1500 r/min，被控对象为直流电机的一阶惯性模型。

MIL 环境下的测试步骤：

1. 搭建控制模型：在 MATLAB/Simulink 中建立 PI 控制器模型和电机被控对象模型，二者通过信号线直接相连，构成闭环仿真回路。
2. 配置仿真参数：设置仿真步长（如 1 ms）、仿真时长（如 2 s）以及 PI 参数（如 Kp=2.0，Ki=5.0）。
3. 注入测试用例：给定目标转速阶跃信号，从 0 阶跃到 1500 r/min，并记录转速响应曲线。
4. 分析结果：检查稳态误差、超调量和调节时间是否满足设计指标。

SIL 环境下的测试步骤：

1. 生成代码：将 PI 控制器模型通过代码生成工具（如 Embedded Coder）自动生成 C 代码，并编译为可在主机环境运行的版本。
2. 搭建 SIL 回路：将生成的控制器代码与电机被控对象模型在同一主机环境中闭环连接，建立 SIL 测试平台。
3. 注入相同测试用例：使用与 MIL 完全相同的目标转速阶跃信号和仿真参数，确保输入条件一致。
4. 记录并比对结果：采集转速响应数据，与 MIL 仿真结果进行逐点对比。

发现的问题类型差异：

• MIL 阶段发现的问题：主要集中在算法逻辑层面，如 PI 参数整定不合理导致超调过大、积分饱和处理不当引起稳态误差、模型边界条件设置错误等。这些问题属于控制策略本身的设计缺陷。
• SIL 阶段发现的问题：主要集中在代码生成与实现层面，如定点数转换导致精度损失、代码生成器对某些模型模块的不支持或映射错误、数据类型不匹配引发的隐式转换、以及代码执行顺序与模型仿真顺序不一致等问题。这些问题在纯模型仿真中无法暴露。

如何通过对比结果验证代码生成的一致性：

将 MIL 与 SIL 的转速响应曲线叠加对比，若两者在相同输入下输出曲线基本重合（允许微小数值误差，如稳态误差偏差小于 1%），则说明代码生成过程保持了算法的一致性。若出现明显偏差，则需要进一步定位：当偏差表现为整体增益变化或相位滞后时，通常指向数据类型转换或采样时间配置问题；当偏差仅出现在特定工况时，则可能指向代码生成器对特定模块的处理差异。通过这种对比，可以系统性地验证从模型到代码的转换是否忠实于原始算法设计。

8. SIL 测试的典型应用场景

SIL 测试在多个行业领域都有广泛应用，尤其在安全关键系统中扮演着重要角色。

• 汽车电子：用于验证发动机控制、车身稳定控制、自动驾驶感知与决策算法等软件模块。
• 航空航天：用于飞行控制、导航系统和任务管理软件的验证，满足适航认证要求。
• 工业控制：用于 PLC 程序、运动控制算法和过程控制逻辑的测试。
• 医疗设备：用于验证设备控制软件的安全性和可靠性。
• 能源系统：用于电池管理系统、逆变器控制等软件的验证。

9. SIL 测试的最佳实践

为了充分发挥 SIL 测试的价值，在实际项目中应遵循以下最佳实践：

• 尽早开展：在代码生成或编写完成后立即启动 SIL 测试，尽早发现缺陷。
• 保持模型与代码同步：确保被控对象模型与真实系统特性一致，必要时通过实测数据校准模型。
• 自动化测试：将 SIL 测试集成到持续集成（CI）流程中，实现自动化回归测试。
• 覆盖率分析：结合代码覆盖率工具，评估测试充分性，补充缺失场景。
• 与 MIL 结果对比：将 SIL 测试结果与 MIL 测试结果进行比对，验证代码生成过程的正确性。
• 管理测试数据：建立规范的测试用例库和结果数据库，便于追溯和审计。

10. 总结

软件在环（SIL）测试是嵌入式软件测试体系中不可或缺的一环。它通过在主机环境中运行待测软件并与仿真模型闭环交互，实现了在硬件就绪前对软件逻辑和算法的充分验证。SIL 测试具有成本低、速度快、调试方便等优势，同时也存在实时性不足和硬件相关缺陷难以发现等局限。在实际项目中，应根据测试目标和项目阶段，合理选择 MIL、SIL、PIL 和 HIL 等测试方法，构建多层次的验证策略，从而全面提升嵌入式软件的质量与可靠性。

本文系统梳理了 SIL 测试的概念、原理、实施流程、工具链、优缺点、对比方法、应用场景与最佳实践，希望能帮助读者建立起对软件在环测试的完整认知。后续我们还将围绕嵌入式测试体系，持续推出模型在环（MIL）、处理器在环（PIL）、硬件在环（HIL）以及代码覆盖率分析等系列文章，深入剖析每一类测试方法的原理与实战细节。

如果你觉得本文对你有帮助，欢迎点赞、收藏、转发，也欢迎在评论区留言交流你在 SIL 测试实践中的经验与问题。关注我，第一时间获取更多嵌入式软件测试与智能软件工程的干货内容，我们下期再见！