强调
- 探索代码审查,测试和静态分析
- 证明您的代码免于关键的运行时错误
- 了解如何使嵌入式软件安全安全安全
关于演示者
Puneet Lal是PolySpace产品的产品营销经理,专门从事软件开发和产品管理。下载188bet金宝搏他拥有来自东北大学的加州州立大学,奇科和工商管理的计算机科学学位。三年来,他教授C ++和软件工程作为伍斯特州立大学的辅助教授。
Puneet Lal,Mathworks
代码审查和测试可以找到错误,但他们独自无法证明该软件免于关键的运行时错误。电脑科学的先驱edsger dijkstra一旦说:“程序测试可以用来展示错误,但从来没有展示他们的缺席!”然而,许多嵌入式项目将没有测试故障视为质量证明。
本网络研讨会提供了技术,即软件开发团队可以采用的软件安全,并证明使用PolySpace缺乏错误。请参阅如何在代码中找到错误,更重要的是,请证明您的代码源于关键运行时错误,例如溢出,逐零和缓冲区溢出。
Puneet Lal是PolySpace产品的产品营销经理,专门从事软件开发和产品管理。下载188bet金宝搏他拥有来自东北大学的加州州立大学,奇科和工商管理的计算机科学学位。三年来,他教授C ++和软件工程作为伍斯特州立大学的辅助教授。
记录时间:2018年12月13日
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。