设计安全可靠的嵌入式系统最佳实践

　　时间限制使开发人员面临压力，需要在严格且在许多情况下不充分的时间表内完成项目要求。此外，对嵌入式软件的可靠性、准确性和性能的期望高于对实时计算的期望。我们还需要考虑运行嵌入式软件的实际目标硬件的约束。软件合规性和认证要求通常由行业强加，以解决安全性问题。

　　过程标准提供过程、验证方法和最佳实践，以确保软件的安全、安全和质量具有足够的信心。这些包括：

　　DO-178B/C（航空电子设备）

　　ISO 26262（汽车）

　　IEC 62304（医疗）

　　IEC 61508（工业）

　　EN 50128（导轨）

　　以及更多

　　软件验证和确认是遵守过程标准的关键组成部分。这是一个涉及不同软件测试技术的过程，这些技术可能非常严格，昂贵且耗时。

　　采用一两种软件测试技术不会削减它。在开发生命周期中使用各种自动化方法将节省您的时间和金钱。它还将有助于建立可靠性声誉，这是无价的。

　　嵌入式软件开发的自动化测试方法

　　自动化对于测试嵌入式软件至关重要，因为手动方法容易出错且耗时。让我们讨论一下对您的团队有帮助的重要自动化测试方法。

　　静态代码分析

　　首先，我强烈建议始终使用静态代码分析作为第一种测试方法。执行静态分析的一个绝妙优势是，您可以在项目的任何阶段引入和使用它。即使项目不完整且部分编码，静态代码分析也是有效的，因为不需要执行代码。

　　引入静态分析的最大挑战是，大量代码可能会产生大量警告。将静态分析集成到项目中时，建议关注以下几点：

　　让团队尽快提高工作效率。

　　最大限度地减少团队被所有静态分析警告淹没的机会。

　　这并不是要降低这些警告的重要性。但是，大多数开发人员都没有修复现有或遗留代码的奢侈。至少不是立即。

　　因为有各种编码合规性标准（MISRA C：2012，自动sar C++14，SEI CERT，CWE等）从目标开始。如果安全性是关键目标，则启用所有与安全相关的规则，禁用不太重要的规则并启用内置安全编码标准之一（如 CERT C/C++）是有意义的。

　　动态分析方法或运行时错误检测

　　如前所述，一种测试方法是不够的。仅通过静态分析无法识别所有错误或缺陷。动态分析方法或运行时错误检测也是一种测试实践。

　　此测试应与要求相关联。它检查正在运行的代码，暴露架构和行为缺陷，其他弱点和/或安全漏洞，包括内存泄漏等。

　　团队可以在软件抽象的各个级别应用这种类型的测试。从测试每个单独的单元或功能开始，然后集成其他软件部件。最终，软件将系统作为一个整体或黑匣子进行测试。这通常表现在众所周知的V模型软件生命周期中。

　　结构代码覆盖率

　　在动态分析方法中，可以应用其他技术的叠加，例如结构代码覆盖率。

　　简而言之，结构覆盖是识别已执行和记录的代码，以确定系统是否已经过充分测试。如果可以通过测试用例执行确定已执行的代码，则未发现或未执行的代码将公开对其他测试的需求。

　　如果您的合规性要求是获得 100% 的代码覆盖率，则至少需要通过单元测试和手动测试来执行覆盖率。虽然我们可以继续沿着揭示其他测试方法（如回归、性能、压力、API、UI、验收等）的路径前进，但让我们深入研究用于测试嵌入式系统的现代部署。

　　持续集成和持续交付

　　在过去几年中，一个越来越受欢迎的主题是持续集成和持续交付（CI / CD）。CI/CD 是夜间集成的软件开发实践（将较小的构建单元合并到应用程序、库或组件中），目的是构建可测试的软件以实现持续交付并及早发现构建/集成问题和错误。

　　嵌入式软件开发中的 CI/CD 通常以应用程序开发不然的方式受到限制。除了目标硬件平台的物理和计算约束外，还有合规性约束。嵌入式软件市场对安全性和安全性有独特的要求，并且具有极长的生命周期。产品可以在市场上保留数十年。

　　如今，一些组织将静态分析纳入其 CI/CD 现代开发工作流。适应通常围绕基于Git的开发环境，采用动态的分支和合并方法，开发人员可以指定父/参考分支来与他们当前的开发分支进行比较，并自动比较和计算增量以进行分析。

　　因此，无需对整个项目运行分析（这可能需要相当长的时间，甚至数小时），而是可以在最小的文件集上运行。这减少了评估会话和重点的持续时间。然后，可以解决和纠正编码违规，以实现干净、安全且可靠的构建。

　　容器化开发环境

　　另一种类型的现代化来自容器化开发环境。开发工具的容器化部署正在成为嵌入式开发团队的面包和黄油。

　　尽管容器最初是为解决微服务和基于Web的应用程序的部署问题而开发的，但它们最近在嵌入式团队中越来越受欢迎。特别是对于使用容器来管理复杂工具链的大型团队。

　　在管理复杂的开发环境时，特别是在安全关键领域，团队通常会面临以下挑战，这些挑战很容易用容器解决：

　　将整个团队的升级同步到最新版本的工具（如编译器、生成工具链等）。

　　动态响应库或软件开发工具包 （SDK） 等的新安全补丁。

　　确保所有团队成员的工具链和自动化基础结构 （CI/CD） 的一致性。

　　能够对开发环境进行版本控制并对其进行还原，以便为使用特定工具链认证的旧版本产品提供服务。

　　入职和设置新的开发人员。

　　在下面的示例中，您让 Parasoft C/C++测试访问容器化编译器 （GNU GCC） 和运行时环境。有两个单独的 Docker 容器，一个用于编译器和构建工具，另一个用于执行环境（例如，嵌入式 Linux 的剥离版本）。

　　在这个例子中，Parasoft C/C++测试标准可以用作基于命令行的工具，适用于容器内部署。它可以与编译器和构建系统打包到一个容器映像中，用于 CI/CD，并部署到开发人员的桌面上进行本地命令行扫描。

　　以下示例可以通过自动化完成，或者每个团队成员都可以拉取一致的开发环境，其中容器化提供以下内容：

　　开发环境版本控制

　　集中管理和部署

　　对安全漏洞的即时反应

　　更低的入职成本

　　了解行业领导者如何交付安全可靠的软件

　　如果您想简化团队工作流程、削减成本并缩短上市时间，那么了解嵌入式安全和安保关键型系统开发中的挑战、解决方案和现代方法对您来说非常重要。

　　审核编辑：郭婷