如何使用Polyspace提升软件开发过程中的质量

随着软件定义汽车的概念被提出，汽车上的软件复杂度越来越高，随之带来的是软件质量的巨大挑战。相信很多团队都有过这样的经历，一个现象十分奇怪的偶现问题，花了大量人力和时间调查了月余，最后发现就是一个数组越界，或者是函数传参超过范围这种并不是很高级的原因导致；团队成员们都很有个性，代码风格千奇百怪无法统一，或是并不知道正确的代码风格是什么样。针对这两个问题，Polyspace^®的工具都给出了很好的解决方案。

在软件开发节奏越来越快的背景下，很多时候已经没有条件让团队做单元测试的工作，来找到代码当中的潜在风险。Polyspace在提供静态代码的扫描的同时，还有动态的扫描功能，可以识别到如数组越界，指针跑飞等问题，帮助团队更早的识别问题，避免时候花人力和时间去解决bug。另外Polyspace依托于MISRA C™的规则，也可以适当的约束团队的代码风格，形成一定的统一，增加代码的整体性和易读性。