证明软件没有运行时错误

概述

代码检查和测试可以发现错误，但仅凭它们无法证明软件没有严重的运行时错误。计算机科学的先驱Edsger Dijkstra曾经说过:“程序测试可以用来显示错误的存在，但永远不能显示它们的不存在!”然而，许多嵌入式项目将没有测试失败解释为质量的证明。

本次网络研讨会将介绍软件开发团队可以采用的技术，以确保他们的软件安全，并证明Polyspace没有漏洞。看看如何找到代码中的错误，更重要的是，证明您的代码没有严重的运行时错误，如溢出、除零和缓冲区溢出。

突出了

探索代码审查、测试和静态分析
证明你的代码没有严重的运行时错误
学习如何使嵌入式软件安全可靠

主讲人简介

Puneet Lal是Polyspace产品的产品营销经理，专门从事软件开发和产品管理。s manbetx 845他拥有加州州立大学(California State University)的计算机科学硕士学位，以及东北大学(Northeastern University)的工商管理硕士学位。三年来，他在伍斯特州立大学担任兼职教授，教授c++和软件工程。

记录日期:2018年12月13日