Subnavigation
Axivion
Tool Qualification Kit
适用于符合ISO 26262、IEC 61508、IEC 62304 标准的安全项目
在特定环境中对分析进行认证。
Axivion Tool Qualification Kit支持工具链的分类和认证。其中包括预制测试套件(用于 HIS 指标以及 MISRA、AUTOSAR C++14 和 CERT 规则),以及可自动化的执行和结果评估流程。
这使您能够专门检查和验证 Axivion Static Code Analysis 在具有功能安全要求的环境中的适用性。
集成到 CI/DevOps 管道
Axivion Tool Qualification Kit可以集成到您的持续集成(CI )流程中。
验证测试的技术自动化使您可以在进行更改(例如更新或升级)后高效重复这些测试,以便从改进和创新中获益,并且可以重复进行适用性检查。
在这方面,所提供的测试驱动程序对相关规则集和 C/C++ 语言版本执行一项或多项测试,并报告测试状态。
经认证可确保软件质量
Axivion Tool Qualification Kit可帮助您达到ISO 26262、IEC 62304、IEC 61508、EN 50128 和 EN 50657 要求的工具置信度 (TCL)。
Axivion Static Code Analysis (SCA)已通过 SGS-TÜV Saar GmbH的认证,符合上述各项标准的最高安全完整性等级。该解决方案附带一份安全手册,阐述了其在安全项目中的预期用途。安全手册要求在使用经认证的 SCA 包时使用 Axivion Tool Qualification Kit。