前一篇文章介绍了堆栈和内存的一些背景知识。本次介绍如何使用 Polyspace Code Prover来统计堆栈，如何使用这些数据为软件优化服务。
2024-07-25 14:06
在当今汽车的安全性、可靠性和效率方面，汽车软件系统发挥着日益重要的作用。为此，工程团队需要专注于为高级驾驶辅助系统 (ADAS)、电池管理系统、稳定性控制和类似应用提供创新功能。此外，他们往往还需要证明符合 ISO 26262 和 ISO/SAE 21434 标准，以此确保满足功能安全和网络安全要求。
2023-10-26 10:16
对于 Sum 模块的 MISRA 10.3 违规是为了满足 S 函数接口要求有意为之，我们可以在验证之前就在模型中添加说明，相应的说明会反应到 Polyspace 的结果中（左图），避免了重复
2019-09-16 15:31
这一范围还体现在市场上各种各样的静态分析工具。例如，一些高级编译器有一个采用静态分析形式的内置语法检查器。在该范围的另一端是基于形式化方法的工具，如可以执行语义分析的 Polyspace，为您的软件提供详细的运行行为。
2019-09-18 15:41
自动生成的main函数中同时调用Function_top和Function_sub：Function_sub除了在Function_top的上下文中被分析，也会在直接在main函数上下文中被分析。对应的可能场景是Function_sub会被其他函数调用，需要更为鲁棒地分析其安全性。
2019-09-16 16:28
另外还可以设定编码规范(如MISRA)和自定义代码风格，违反之处以紫色显示；同时可以看到代码变量随控制流的数据范围变化情况，快速查找和定位问题原因。
2019-09-16 17:15
Polyspace工具可产生并合成有用的代码指标，准确地反映代码的质量。这些指标可以使用基于Web的仪表板查看。使用这一内置功能，您可以访问各种指标，如运行时错误、代码复杂度，以及编码违规。使用这些指标，您可以在从第一次迭代到最终交付版本的代码进化过程中跟踪达到预定义的软件质量目标的进度。
2019-09-18 15:30
开发软件定义汽车 (SDV) 时，开发团队必须具备新的能力，例如进行连续的软件发布，减少软件更改的交付周期以及尽可能减少部署失败。同时，平台团队需要为车载计算机和区域控制器创建新软件开发环境，设置持续集成/持续交付 (CI/CD) 系统，并协助系统和软件开发人员之间的协作。
2024-09-05 09:57
许多沃尔沃汽车软件工程师用 C 或 C++ 进行开发，但这些语言颇为复杂，可能导致难以发现的错误，修复成本也很高。在过去，沃尔沃汽车使用开源工具来检查和调试代码。然而，这些工具都无法识别源代码中的一个下溢错误，而该错误导致了车辆上出现偶发问题。
2022-11-03 16:10
利用Embedded Coder，该团队通过其软件模型生成了大约17,000行C代码并使用Polyspace静态分析工具检查代码中是否存在运行时错误，确保符合MISRA C编码标准，并创建用于取证
2019-09-17 15:23
