网络研讨会 · 2026.07.09

验证关键系统中的 AI 生成代码

AI-Generated Code for Critical Systems: Can We Trust It?

Parasoft · Parasoft · English

机器学习安全论证验证与确认

资料概述

公开讲座讨论如何用工程证据验证 AI 生成代码和自动修复结果，介绍静态分析、自动质量门禁与人工审查相结合的开发流程。