明日直播 | 《MISRA C++ 2023指南:不可判定性》

科技   2024-12-04 11:04   中国香港  





演讲主题《MISRA C++ 2023指南:不可判定性》

直播时间:12月5日 14:10-14:55

会议名称:全球C++及系统软件技术大会

演讲人:François Berjonneau,Qt Group质量保证事业部,高级解决方案工程师


演讲摘要:

MISRA 规范是创建安全 C 和 C++ 应用程序时广泛采用的规则集。这些规范涵盖了从专注于语法的规则到涉及更复杂语义属性的规则等一系列内容。

对编程语言语义属性的静态检查复杂且耗费资源,并且本质上具有“不可判定性”。这些不可判定的规则对开发人员和质量保证工作带来了一系列实际的问题。为了使检查结果具有实用性,必须成功理解和适当管理这种“不可判定性”。

演讲前言:《MISRA C++ 2023指南》:不可判定性的复杂性



扫描下方二维码预约直播吧!




相关资料推荐

白皮书 | 确保安全并挽救生命:

医疗器械行业软件测试完全指南

 

白皮书 | 用Qt开发安全有效的医疗设备



END

 往期推荐 

客户案例 | 费森尤斯医疗-为医疗技术领域的长效软件提供软件侵蚀保护

《MISRA C++ 2023指南》:不可判定性的复杂性

直播回放 | Axivion架构验证,解决ISO26262免于干扰问题的有效路径




Qt软件
Qt Group是一家全球软件公司,致力于开发用户喜爱的应用程序和智能设备,深受行业领导者和全球超过 150 万开发人员的信赖。我们帮助客户在整个产品开发生命周期中提高生产力——从 UI 设计和软件开发到质量管理和部署。网址:qt.io
 最新文章