MathWorks Polyspace产品用于您的C/C ++编写的嵌入式软件静态验证。 它可以找到错误并证明没有溢出、零除、越界、数组访问和其他运行时错误。
本次演讲聚焦在新的产品功能，其通过以下方式提高开发组织的软件质量和安全性
- 使用诸如Jenkins之类的持续集成系统工具执行自动化分析
- 发布基于Web浏览器的代码审查的结果，以便对自动识别的编码错误进行分类和解决
- 与JIRA等缺陷跟踪工具集成，可帮助管理已发现的缺陷
- 提供展板显示信息，为开发经理监控软件质量、项目状态、缺陷数量和代码度量的信息。
