21:02视频长度是21:02。
证明软件中没有运行时错误
概述
代码审查和测试可以发现错误,但它们本身并不能证明软件没有关键的运行时错误。计算机科学的先驱Edsger Dijkstra曾经说过:“程序测试可以用来显示错误的存在,但绝不可以用来显示错误的不存在!”然而,许多嵌入式项目将没有测试失败解释为质量的证明。
这次网络研讨会展示了软件开发团队可以采用的技术,这些技术可以使他们的软件变得安全,并证明使用Polyspace没有bug。了解如何查找代码中的错误,更重要的是,证明代码没有严重的运行时错误,例如溢出、除以零和缓冲区溢出。
突出了
- 探索代码评审、测试和静态分析
- 证明您的代码没有严重的运行时错误
- 学习如何使嵌入式软件安全可靠
的主持人
Puneet Lal是Polyspace产品的产品营销经理,擅长软件开发和产品管理。2022世界杯八强谁会赢?他拥有加州州立大学计算机科学硕士学位,东北大学Chico和工商管理硕士学位。他在伍斯特州立大学担任了三年的兼职教授,教授c++和软件工程。
记录:2018年12月13日
相关产品2022世界杯八强谁会赢?
了解更多
您也可以从以下列表中选择网站:
如何获得最佳的网站性能
选择中国网站(中文或英文)以获得最佳的网站表现。其他MathWorks国家网站没有针对从您的位置访问进行优化。