突出了
- 探索代码审查、测试和静态分析
- 证明您的代码没有严重的运行时错误
- 学习如何使嵌入式软件安全和安全
的主持人
Puneet Lal是Polyspace产品的产品营销经理,专门从事软件开发和产品管理。s manbetx 845他拥有加州州立大学计算机科学硕士学位和东北大学工商管理硕士学位。他在伍斯特州立大学(Worcester State University)担任兼职教授,教了三年c++和软件工程。
医学院毕业Lal, MathWorks
代码审查和测试可以发现bug,但是它们不能单独证明软件没有严重的运行时bug。计算机科学的先驱Edsger Dijkstra曾经说过:“程序测试可以用来显示bug的存在,但永远不能显示bug的不存在!”然而,许多嵌入式项目将测试失败的缺失解释为质量的证明。
本次网络研讨会介绍了软件开发团队可以采用的技术,以使他们的软件安全,并使用Polyspace证明没有错误。了解如何在代码中找到错误,更重要的是,证明您的代码没有严重的运行时错误,如溢出、除零和缓冲区溢出。
Puneet Lal是Polyspace产品的产品营销经理,专门从事软件开发和产品管理。s manbetx 845他拥有加州州立大学计算机科学硕士学位和东北大学工商管理硕士学位。他在伍斯特州立大学(Worcester State University)担任兼职教授,教了三年c++和软件工程。
记录:2018年12月13日