Francois Berjonneau-MISRA C++ 2023 规范中的不可判定性_2024 全球C++及系统软件技术大会-CSDN在线视频培训

安全与可靠

Francois Berjonneau-MISRA C++ 2023 规范中的不可判定性

课时介绍

Francois Berjonneau
Qt Group高级解决方案工程师，质量保证事业部
演讲主题
MISRA C++ 2023 规范中的不可判定性
MISRA 规范是创建安全 C 和 C++ 应用程序时广泛采用的规则集。这些规范涵盖了从专注于语法的规则到涉及更复杂语义属性的规则等一系列内容。 对编程语言语义属性的静态检查复杂且耗费资源，并且本质上具有“不可判定性”。这些不可判定的规则对开发人员和质量保证工作带来了一系列实际的问题。为了使检查结果具有实用性，必须成功理解和适当管理这种“不可判定性”。

课程介绍

系统级软件是数字世界的基础设施，C++自1985年由Bjarne Stroustrup博士在贝尔实验室发明以来，一直被誉为系统级编程“皇冠上的明珠”。秉承“全球专家、卓越智慧”的理念，我们特邀全球C++和系统级软件技术领域的大师、专家、学者，汇聚一堂。大会围绕现在C++最佳实践、架构与设计、大模型驱动的软件开发、AI 算力与优化、系统级软件及其他编程语言，深度探讨系统级软件技术领域的最佳工程实践和前沿方法。我们致力于将此次大会打造为系统软件领域规模最大、阵容最强、干货最多的高规格技术盛会！