在航空、汽车、医疗等行业，一行编译错误的代价可能是灾难性的。旋极信息与荷兰 Solid Sands 达成战略合作，将全球公认最严格的 C/C++ 编译器验证套件 Plum Hall，正式带入中国市场。
近日，北京旋极信息技术股份有限公司（简称“旋极信息”）获全球安全关键软件编译器验证领域领导者 Solid Sands 官方授权，正式成为旗下产品 Plum Hall C/C++ 编译器验证测试套件的中国区授权代理商，全面负责该产品在中国大陆的品牌推广、渠道销售、技术支持与客户服务全链路业务。
Solid Sands 为什么值得信赖
Solid Sands 2014 年成立于荷兰阿姆斯特丹，是全球公认的 C/C++ 编译器验证与库测试套件领导者，专注为安全关键型行业提供全球最严苛的编译器验证与库测试解决方案。2025 年，Solid Sands 完成对 Plum Hall 进行全资收购，将行业顶尖技术资源进一步整合，打造了覆盖 C/C++ 全标准、全场景的编译器验证体系。
Plum Hall 测试套件用于验证 C/C++ 编译器及库是否符合 ISO 和 ANSI 标准。测试用例套件每年 8 月发布，持续跟踪正在制定中的标准，支持从 C/C++11 到 C++14、C++17、C++20、C++23 乃至 C++26 各版本标准的演进过程。随着标准发展，测试套件会动态调整：新增、禁用或修改测试用例。
Plum Hall 测试套件能做什么
● 标准合规验证
测试用例精确对应标准文档中的单一句子级别，每条有据可查
● 长期历史积累
自 C/C++ 诞生之初即开展验证测试，随语言标准同步演进，测试用例库伴随标准更新持续扩展
● 灵活跨平台架构
单一源代码树，支持为不同编译器、目标机器、发行版本生成任意数量的目标树
● 嵌入式系统支持
专为嵌入式系统独立环境设计，仅需实现底层输出函数即可运行，无需依赖本地 C++ 标准库
● 多标准版本测试
支持选择性针对新旧不同标准年份进行验证，可配置仅测试旧版标准
● 功能模块化控制
通过构建测试标志自由启用或禁用特定语言或库功能，灵活定制测试范围
● 前瞻性标准追踪
测试用例可关联特定标准提案年份（如 C2x/C2y），支持正在开发新版语言的编译器提前验证新特性实现，有效应对语言特性的时效性变化
● 标志文件拆分优化
将 flags.h 拆分为两个文件：flags.h 包含发行年份特定的标志配置，compiler-flags.h 包含针对特定编译器的编译标志，通过 ifdef 条件编译指令启用具体标志配置
Plum Hall三大核心产品，覆盖不同场景
Suite for C — C 语言验证套件
行业首选的 C 编译器及库测试方案，验证ANSI/ISO C 标准的权威测试工具，包含该标准所有要求的正负双向测试用例。作为唯一一次 C 测试套件技术竞赛的获胜者，被业界广泛视为 C 语言的行业标准测试方法。
Suite++ — C++ 语言验证套件
行业首选的 C++ 编译器测试方案，针对 ISO/IEC 14882:2003（ANSI/ISO C++ 标准）提供全面验证。由具有行业权威地位的专家团队开发，核心成员包括：Thomas Plum（曾任 ISO C++ 标准委员会 WG21 召集人，任期 6 年）、Daniel Saks（曾任 ANSI C++ 标准委员会 X3J16 秘书，任期 6 年）。支持 64 位操作系统工业标准测试、POSIX Threads、POSIX Realtime 等。
LibSuite++ — C++ 库验证套件
测试现有 C++ 库或评估其符合 ISO/IEC 14882:2003 标准（ANSI/ISO标准）所需改进的理想工具，测试范围覆盖语言支持、输入输出流类、标准模板库（STL）、本地化对象等。LibSuite++ 与 Suite++ 协同工作，确保语言实现与库实现的双重标准符合性。
套件测试运行结束后，系统将自动创建 HTML 报告，直观呈现每个测试用例的运行结果、问题链接和编译器输出链接，大幅降低问题排查成本。
强强联合，共筑安全关键软件合规底座
作为国内嵌入式系统开发、测试、验证领域的领军企业，旋极信息自九十年代起深耕嵌入式软件测试与功能安全合规，在软件编程规范、软件目标码测试及基于 DO-178C 适航要求的软件验证等方面积累了近三十年的技术沉淀与工程经验，服务覆盖航天航空、汽车电子、轨道交通等安全关键行业。
此次与 Solid Sands 的强强联合，既是旋极信息在嵌入式研发工具链版图上的关键补强，也是双方基于行业共识的深度握手。旋极信息将以 Plum Hall 这一全球标杆级编译器验证产品为核心，为国内客户打通从代码编译到合规认证的全流程安全保障，助力中国企业筑牢安全关键软件的底层基石，在全球功能安全合规赛道上稳步前行。
