Qt客户案例：符合医疗软件架构要求的高标准源代码检查解决方案

Cruise 2023年9月21日浏览：1164

作为全球领先的医疗技术公司之一，西门子医疗（Siemens Healthineers）在七十多个国家拥有约66,000名员工。公司主要提供诊断与治疗成像、实验室诊断以及分子医学等领域的多类产品。这些产品系列的软件由公司分布在全球各地的开发团队负责设计、开发和维护。

为在如此庞大的团队中始终保持高质量的软件品质，西门子医疗的计算机断层扫描（CT）嵌入式软件团队需要一款自动分析和验证软件架构及源代码的自动化工具，同时需要与现有系统保持兼容。他们在Axivion Suite中找到了答案：Axivion工具套件完全契合高标准的要求。

“得益于在实施过程中的支持以及专业服务团队的出色支持，我们很快就轻松地将Axivion Suite集成到我们的开发环境中。现在软件中几乎不存在架构违例，而且在全球范围内，我们的开发团队都实现了更高标准的架构符合性代码。”

面对挑战

遵守全球标准是至关重要的，尤其是在医疗技术领域。西门子医疗的CT设备嵌入式软件团队所使用的任何验证架构和代码的工具，不仅需要满足IEC 62304国际标准所涵盖的医疗器械软件开发规范，还必须满足客户的高要求，例如确保遵守美国国防部的要求。除了遵循通用的标准之外，还需将CT设备嵌入式软件团队的个人编码准则纳入检查。在此方面，任何新工具都应确保自动化分析和检查能无缝地融入全球分布的团队工作流程中，对现有代码与新代码进行系统性化检查。

其中一个必不可少的前提条件是，新工具必须与开发者已经熟悉的专有系统兼容，如IDE、构建环境、编译器和配置管理系统。此外，开发过程是在虚拟机中使用原生Linux构建，然后通过Windows启动，所以任何新工具都需要能够适应这种配置。

在选择工具时，软件架构是一个需要重点考虑的关键因素，因为西门子医疗的CT设备嵌入式软件团队正借助UML工具不断改进这一架构。

作为自动化分析和检查过程的一部分，该工具必须能够持续确保与这些工具建模的软件架构以及设计准则的一致性。

解决方案

在对市场上可用的工具进行全面评估后，西门子医疗的CT设备嵌入式软件团队选择了Axivion Suite，该套件满足了所有规定的标准。来自Axivion的专业服务团队在将验证过的架构和代码分析工具与公司自有系统环境融合的过程中提供了支持。在初步配置的过程中，该团队与CT设备嵌入式软件团队的开发者共同简化和标准化了编码规则，并将它们应用于开发和分析环境以进行自动检查。除了确保无缝部署，Axivion还负责员工培训和提供即时支持。这样一来，员工会更容易接受新工具，因为快速的集成和实用的培训让整个全球开发团队很快取得了积极的成果，提升了他们的积极性。

代码分析会在微软Team Foundation Server（TFS）上自动运行。随着全球各地的开发团队的新项目不断增加，这些项目会立即在Axivion套件上使用一致的方式进行分析。

成功实践

通过应用Axivion套件，西门子医疗CT设备嵌入式软件团队拥有了一个可进行代码分析和架构验证的高度集成工具，用于确保设备软件的高质量。遍及全球的团队开发者依赖自动化分析在提交代码前本地检查并在必要时修正他们的新代码，或发起进一步的架构调整。本地代码检查避免了与在全球范围内实施的统一架构模型产生偏差。

这几乎杜绝了架构违例问题，尤其是因为员工能够立刻获得关于他们编写代码的反馈，这有助于他们更好地理解新的架构指南，从而在长期内更有效地实施这些需求。

检查特定编码准则也明显提高了软件质量，目前已经满足了最高标准要求，并符合例如美国国防部对源代码检查的标准。

关于西门子医疗

西门子医疗股份公司（于德国法兰克福上市，股票代码SHL）正塑造着医疗行业的未来。作为一家总部位于德国埃朗根的领先医疗技术公司，西门子医疗通过其分布在全球各地的分公司，帮助医疗供应商在发展精准医学、改进护理服务、提升患者体验以及推行医疗数字化上创造更高的价值。西门子医疗将持续发展其产品和服务系列，推动人工智能应用和数字化服务为下一代医疗技术赋能。

这些新应用将加强公司在体外诊断、影像引导疗法、体内诊断以及创新癌症护理领域的竞争力。西门子医疗还提供了一系列服务和解决方案，以增强医疗供应商的能力，为患者提供高质量、高效的医疗护理。

在截至2020年9月30日（2020年财年），西门子医疗的营收为145亿欧元，调整后息税前利润（EBIT）为22亿欧元。在收购瓦里安医疗系统有限公司（Varian Medical Systems, Inc.）后，公司全球员工增长至约66,000名。

关于Axivion

Axivion公司总部位于德国斯图加特，是一家为静态代码分析和防止软件腐化提供创新软件解决方案的供应商。Axivion的核心产品是Axivion Suite，这是一款用于提高用C、C++和C＃编程语言实现的软件系统的软件质量和可维护性的工具套件。除了静态代码分析之外，该工具套件还包括用于架构验证和代码克-隆管理的软件工具。

Axivion的MISRA检查器支持100%的所有可自动测试的MISRA规则，此外，还支持AUTOSAR C++14风格指南、CERT®编程规则（用于安全软件开发）、ISO/IEC TS 17961规则以及CWE规则。根据IEC 62304标准，Axivion套件的静态代码分析功能已通过认证，可用于安全等级高达C类的医疗系统。同时，Axivion的专业服务团队致力于为客户在工具配置和集成方面提供支持。

自2022年8月起，Axivion公司已加入Qt Group旗下。

深圳市优飞迪科技有限公司成立于2010年，是一家专注于产品开发平台解决方案与物联网技术开发的国家级高新技术企业。

十多年来，优飞迪科技在数字孪生、工业软件尤其仿真技术、物联网技术开发等领域积累了丰富的经验，并在这些领域拥有数十项独立自主的知识产权。同时，优飞迪科技也与国际和国内的主要头部工业软件厂商建立了战略合作关系，能够为客户提供完整的产品开发平台解决方案。

优飞迪科技技术团队实力雄厚，主要成员均来自于国内外顶尖学府、并在相关领域有丰富的工作经验，能为客户提供“全心U+端到端服务”。

Qt客户案例：符合医疗软件架构要求的高标准源代码检查解决方案的图3