静态程序代码分析 文章 进入静态程序代码分析技术社区

Polyspace静态程序代码分析 高效遵循多重规范

• 当软件质量目标明确规定了分析指针、编程指南，以及运行时错误的接受标准和阈值，车用软件系统透过这些标准会自动进行评估，软件变更时执行，就成为软件开发流程中完整的一部分。如何降低程序代码质量评估的主观性，并改善软件开发周期的整体开发效率，就成为当中要点。车用软件系统在现今车辆的安全性、可靠性及效率扮演着愈来愈重要的角色。因此，工程团队专注于提供先进驾驶辅助系统（advanced driver assistance systems；ADAS）、电池管理系统、稳定控制及其他类似的创新功能。通常，他们也需要透过证明
• 关键字： Polyspace  静态程序代码分析  车用软件