突出了
- 探索代码评审、测试和静态分析
- 证明你的代码没有严重的运行时错误
- 学习如何使嵌入式软件安全可靠
的主持人
Puneet Lal是Polyspace产品的产品营销经理,专门从事软件开发和产品管理。下载188bet金宝搏他拥有加州州立大学计算机科学硕士学位和东北大学工商管理硕士学位。他在伍斯特州立大学(Worcester State University)担任兼职教授,教了三年c++和软件工程。
医学院毕业Lal, MathWorks
代码检查和测试可以发现错误,但是它们本身不能证明软件没有关键的运行时错误。计算机科学的先驱Edsger Dijkstra曾经说过:“程序测试可以用来显示bug的存在,但永远不能显示它们的缺失!”然而,许多嵌入式项目将没有测试失败解释为质量的证明。
这个网络研讨会展示了软件开发团队可以采用的技术,使他们的软件安全,并证明使用Polyspace没有bug。看看如何在代码中找到bug,更重要的是,证明代码没有关键的运行时错误,如溢出、0除以0和缓冲区溢出。
Puneet Lal是Polyspace产品的产品营销经理,专门从事软件开发和产品管理。下载188bet金宝搏他拥有加州州立大学计算机科学硕士学位和东北大学工商管理硕士学位。他在伍斯特州立大学(Worcester State University)担任兼职教授,教了三年c++和软件工程。
记录:2018年12月13日
您也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。
本网站使用Cookies来改善您的用户体验,个性化的内容和广告,并分析网站流量。通过继续使用本网站,您同意我们使用Cookie。请参阅我们的隐私政策以了解更多有关cookies及如何更改您的设置。