21:02视频长度是21:02。
证明软件没有运行时错误
概述
代码评审和测试可以发现bug,但他们无法证明关键的运行时错误的软件是免费的。Edsger Dijkstra,计算机科学的先驱,曾说过:“程序测试可以用来显示缺陷的存在,但从来没有显示他们的缺席!“然而,许多嵌入式项目没有测试失败的解释为质量的证据。
网络研讨会介绍技术,软件开发团队可以采用他们的软件安全并使用Polyspace证明没有bug。看看你会发现bug的代码,更重要的是,证明你的代码是免费的从溢出等关键运行时错误,除和缓冲区溢出。
突出了
- 探索代码评审、测试和静态分析
- 证明你的代码是免费的从关键的运行时错误
- 学习如何让嵌入式软件安全
的主持人
医学院毕业的产品营销经理是Lal Polyspace产品和专门从事软件开发和产品管理。s manbetx 845他拥有计算机科学硕士学位从加州州立大学奇科,从东北大学工商管理。三年,他教c++和软件工程作为伍斯特州立大学兼职教授。
记录:2018年12月13日
相关产品s manbetx 845
了解更多
你也可以从下面的列表中选择一个网站
表现最好的网站怎么走吗
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。