本书深入讲解Polyspace Code Prover在嵌入式软件静态分析中的应用，涵盖从规则配置、并发建模到结果解读的完整流程。重点介绍如何利用Polyspace检测运行时错误、违反编码标准（如MISRA、JSF++）等问题，并支持自定义注解与多格式结果导出。结合桌面与Web界面操作，帮助开发者实现高效缺陷排查与软件质量目标认证，适用于高安全性要求的航空、汽车等领域。
2025-10-16 11:33:09
20.68MB
1
本书深入解析Polyspace Bug Finder工具在C/C++代码静态分析中的应用，涵盖常见编程缺陷的识别与修复，如内存溢出、空指针使用和字符串操作错误。通过实际代码示例，展示如何利用Polyspace进行代码审查，提升软件可靠性与安全性。内容涉及MISRA、CERT等编码规范的合规性检查，适用于嵌入式系统和高安全要求领域的开发团队。同时介绍如何生成质量报告、设置软件质量目标（SQO），并通过自动化流程集成到开发环境中，助力实现高效、可追溯的代码验证过程。
2025-10-16 10:37:57
29.36MB
1
最新版本破解文件，支持polyspace，测试完美运行。MATLAB/Simulink R2019a 可用。
2022-08-28 13:21:54
31KB
1
用于嵌入式软件静态分析测试工具-matlab polyspace bug finder
2022-06-10 10:37:41
513KB
1
该课程是mathwork公司官方培训资料（资料讲解时长16H）。培训资料涵盖：模型需求管理，模型代码生成，模型测试方法，2018新功能演示，四个部分。每个部分分为ppt讲解部分和工程实例部分。用户可以根据ppt的讲解，结合工程实例一步一步的操作。以完全掌握以上功能。非常适合基于模型的嵌入式开发用户。
2021-09-23 09:04:12
16.24MB
1
polyspace 官方培训资料。在MBD开发过程中，将生成的代码进行静态测试能够在早期以最小的代价发现并解决bug。通过polyspace能够以一种更加便捷的手段验证simulink模型生成的代码。该资料不仅对polyspace的使用方法进行了详细的介绍，并在过程中提供多个上机练习工程，以加深用户对该课程的理解。
2021-02-22 14:57:03
7.9MB
1