安装matlab2014a怎么多了polyspace code prover和polyspace

安装matlab2014a怎么多了polyspace code prover和polyspace bug finder

这两个基本绝大部分用户都用不上，删除不会影响。
Polyspace Bug  Finder R2014a是查找代码的bug，比如除0，溢出，数组访问超出边界等问题。后面的类似。删除不会影响。

详细信息见下：

Polyspace Bug Finder

通过静态分析找出软件错误

Polyspace Bug Finder™ 可以识别 C 和 C++ 代码中的运行时错误、并发问题、安全漏洞和其他缺陷。Polyspace Bug Finder使用包含语义分析在内的静态分析功能分析软件控制、数据流和程序交互行为。通过在检测到缺陷之后立即高亮显示，可让您在开发过程的早期阶段鉴别和修复错误。

Polyspace Bug Finder 可检查是否符合编码规范，如 MISRA C®、MISRA C++、JSF++ 和用户自定义命名规范。它可以生成包括被发现的错误、代码违规和代码质量指标（（如圈复杂度）等在内的报告。Polyspace Bug Finder 可与 Eclipse™ IDE 结合使用并集成到编译生成系统中。

对于自动生成的代码，Polyspace®的检查结果可以追溯到 Simulink® 模型和 dSPACE® TargetLink® 模块。

通过 IEC Certification Kit（适用于 ISO 26262 和 IEC 61508）和 DO Qualification Kit（适用于DO-178）可提供对行业标准的支持。

Polyspace Code Prover

证明软件中不存在运行时错误

Polyspace Code Prover™ 作为一款可靠的静态分析工具，能够证明在C 和 C++ 源代码中不存在溢出、除零、数组访问越界以及其它运行时错误。整个分析过程无需执行程序、植入代码，或运行测试用例。Polyspace Code Prover 使用基于形式化方法的语义分析和抽象解释验证软件程序交互、控制和数据流的行为。你可以用于手写代码、生成代码或二者的混合代码。每项检查均在代码上着色表示是否无运行时错误、已证明有问题、不可达或有待进一步分析。

Polyspace Code Prover 亦能显示变量和函数返回值的范围信息，并可以证明变量是否超出指定范围限制。这些结果可以发布到看板上，以跟踪质量指标并确保符合软件质量目标。Polyspace Code Prover 还可以集成到编译生成系统中以执行自动验证。

通过IEC Certification Kit（适用于 IEC 61508 和 ISO 26262）和 DO Qualification Kit（适用于 DO-178）可以提供对行业标准的支持。此外，它还可以支持 Ada 语言。

资料：

Polyspace Bug Finder

http://cn.mathworks.com/products/polyspace-bug-finder/

Polyspace Code Prover

http://cn.mathworks.com/products/polyspace-code-prover/