质量和可靠性在飞行控制、医疗设备、动力传动系统和其他高功能安全要求的嵌入式系统是极其关键的。但是在有限的开发时间内,开发者常常需要权衡验证的工作量。静态分析技术可以帮助开发者在不运行代码的方式下进行早期地自动代码检查,而不需要到系统或硬件集成阶段再进行代码验证。Polyspace®提供了静态分析所需的完整能力,包括:

  • MISRA C®和C++的编码规范检查;
  • 包含代码复杂度、堆栈大小估计等在内的软件代码质量度量和分析;
  • C和C++代码中潜在的软件错误检查,如程序、数据、内存和嵌入式软件信息安全等问题;
  • 软件代码的安全性证明,即查找并排除所有可能的关键运行时错误。

Polyspace特殊的代码安全证明能力,帮助开发者实现类似于穷举式的嵌入式白盒测试效果,如结合适当的流程用于嵌入式单元测试和集成测试阶段,可以极大的提高代码验证效率。下载此白皮书,了解Polyspace产品如何帮助您:

  • 降低20%的测试工作,尤其是鲁棒性测试;
  • 减少40%的人工代码检查时间;
  • 避免软件错误的发布而节省百倍的查找和修复工时。

30 天免费试用

使用Polyspace Bug Finder™ 和 Polyspace Code Prover™ 免费试用版,将这些概念应用到实际中。