Francois Berjonneau
Qt Group高级解决方案工程师,质量保证事业部
Francois Berjonneau拥有法国国立工艺学院工程与信息技术集成专业计算机技术学位:他是Qt Group质量保证事业部的高级解决方案工程师。作为公司质量保证服务的一部分,他为静态代码分析的现有以及潜在客户提供技术交流和研讨。Berjonneau先生长期担任不同领域的嵌入式软件顾问,主要负责汽车领域安全方面的软件开发。
演讲主题
MISRA C++ 2023 规范中的不可判定性
MISRA 规范是创建安全 C 和 C++ 应用程序时广泛采用的规则集。这些规范涵盖了从专注于语法的规则到涉及更复杂语义属性的规则等一系列内容。 对编程语言语义属性的静态检查复杂且耗费资源,并且本质上具有“不可判定性”。这些不可判定的规则对开发人员和质量保证工作带来了一系列实际的问题。为了使检查结果具有实用性,必须成功理解和适当管理这种“不可判定性”。