库安全认证套件 SuperGuard
SuperGuard库安全认证套件是一款专为C和C++标准库设计的基于需求驱动的测试套件。它可用于支持C和C++标准库实现方案在安全关键型应用中的合规性验证，既适用于未经修改的第三方（COTS）库实现方案，也适用于自主开发或自主维护的库实现方案。
SuperGuard能够全面实现从ISO C及C++语言规范中推导出的需求与各独立库测试之间的可追溯性关联。该套件旨在支持对面向安全关键型应用的C/C++标准库实现方案进行认证评估，适用于第三方商用产品（COTS）以及自主开发或维护的库实现方案。
SuperGuard可将ISO C和C++库规范详细分解为库实现必须满足的具体需求，并将这些需求与描述测试验证方式的测试规范相链接。相应地，测试规范与SuperGuard中的测试项相互关联。通过这种方式，从规范到测试项之间建立了清晰易懂且易于验证的详细路径，从而有助于确保库实现方案符合规范要求。
SuperGuard的构建是为了获得目标库实现的高结构代码覆盖率。除了需求可追溯性之外，它提供了证明测试套件完整性的第二条途径。该套件还包括一个软件工具，报告库实现满足和不满足的要求，并通过运行特定用例或配置的测试套件进行验证。
SuperGuard在软件开发V模型中的作用
SuperGuard功能
• 基于需求的C和C++标准库测试
• 高结构代码覆盖率及MC/DC
• 连接了需求、测试规范及测试结果的CSV格式报告
• 符合功能安全标准的要求
测试平台功能
• 多处理加速
• 支持裸机环境
• 满足需求可追溯性要求
• 兼容Windows和Linux主机
• 对测试集拥有完全控制权
• 提供Python配置插件
• 配备报告工具
合规证书
• ISO 26262
• IEC 61508
• EN 50128 / EN 50716
• IEC 62304
