Axivion 7.11通过减少手动检查代码安全违规所需时间,助力开发者在受监管行业专注于构建稳健的GPU与AI密集型应用程序。
芬兰埃斯波2025年11月18日 美通社 -- Qt Group(Nasdaq, Helsinki: QTCOM)于11月17日推出全新工具,能够自动检测使用英伟达加速计算的程序是否遵循英伟达 CUDA编码安全规则。该功能集成于新发布的Axivion 7.11,旨在帮助安全关键行业的开发者更高效地开发符合指南、具备先进图形和AI功能的可靠应用程序,覆盖自动驾驶汽车、医疗扫描仪以及机器人等领域。
英伟达 CUDA作为领先的GPU加速计算平台,广泛应用于AI、深度学习、3D图形与高性能计算。全球数百万开发者借助该平台开发汽车、医疗和工业自动化等对质量与安全要求严苛的软件。近期,英伟达发布了面向稳健与安全关键型编程的CUDA C++指南,旨在帮助开发者强化安全实践,从而提升使用CUDA软件的安全性和稳健性。
Axivion是一套用于执行CC++静态代码分析与架构验证的工具集,其7.10版已支持CUDA环境,而最新的7.11版本进一步实现了对英伟达 CUDA C++编码指南的自动化强制执行。此项原生支持将使企业能够在安全认证项目中依据行业标准快速验证代码。从长远来看,这将有助于早期发现缺陷、最小化技术债务,并缩小GPU加速代码的合规差距。
Axivion for CUDA现在支持以下功能:
- 自动检查CUDA代码是否符合行业标准的安全指南(例如MISRA、CERT、英伟达的 CUDA C++编码指南)以及企业自定义指南。
- 提供完整可追溯、基于证据的审计轨迹,及早发现标准C++与CUDA源代码中的死代码、代码重复、不安全依赖关系及免于干扰(FFI)等问题,确保符合ISO 26262、IEC 62304与IEC 61508等严格的安全标准。
- 确保软件架构在受监管环境中持续保持一致性与安全性。
“仅靠质量保证发现缺陷已远远不够,开发者现在必须证明软件未受到侵蚀,即防止当前的政策违规行为从开发环节渗透至未来的项目代码中。随着英伟达CUDA C++编码指南的发布,CUDA开发者现在可以使用强制执行且标准化的代码安全与稳健性度量标准来避免软件侵蚀,”Qt Group高级副总裁Juhapekka Niemi表示,“Axivion现已能够自动执行该指南,使开发者无需过度担忧代码是否符合安全规则,无论他们是正在构建新软件还是更新旧系统。”
Axivion已广泛应用于各受监管行业,可自动检测软件代码与架构中的错误、复杂性和安全标准合规问题。未来还将持续增强内存安全检查与数据流分析等相关功能。
关于Qt Group
Qt Group(Nasdaq, Helsinki: QTCOM)是一家跨国软件公司,深受各行业领导者及全球150多万开发者的信赖,助力他们打造用户衷爱的应用程序和智能设备。我们帮助客户提升整个产品开发生命周期的生产力:包括UI设计、软件开发到质量管理和部署。我们的客户遍及全球180多个国家地区的70多个行业。Qt Group拥有约900名员工,截至2024年,净销售额为2.09亿欧元。更多信息,请访问www.qt.io。
