上传者: lll78
|
上传时间: 2025-10-16 11:33:09
|
文件大小: 20.68MB
|
文件类型: PDF
本书深入讲解Polyspace Code Prover在嵌入式软件静态分析中的应用,涵盖从规则配置、并发建模到结果解读的完整流程。重点介绍如何利用Polyspace检测运行时错误、违反编码标准(如MISRA、JSF++)等问题,并支持自定义注解与多格式结果导出。结合桌面与Web界面操作,帮助开发者实现高效缺陷排查与软件质量目标认证,适用于高安全性要求的航空、汽车等领域。