错误发现者

Polyspace^®错误发现者™识别C和c++嵌入式软件中的运行时错误、并发性问题、安全漏洞和其他缺陷。使用静态分析，包括语义分析，Polyspace错误发现者分析软件控制、数据流和过程间行为。通过在检测到缺陷时立即突出显示它们，可以让您在开发过程的早期对缺陷进行分类和修复。

Polyspace错误发现者检查是否符合编码规则标准，如MISRA C^®,MISRA^®c++, JSF^®和自定义命名约定。它生成的报告由发现的bug、代码规则违反和代码质量度量(包括圈复杂度)组成。Polyspace错误发现者可以与Eclipse™IDE一起使用并集成到构建系统中。

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

完整的Bug查找器文档 查看所有工作流程，例如: 设置分析。 审查结果并生成报告。	分析选项(Polyspace错误发现者) 在分析之前查找配置选项，例如: 目标和编译器选项。 寻找缺陷。	结果(Polyspace错误发现者) 查找你从分析中得到的结果，例如: 缺陷。 编码规则。	发布说明(Polyspace错误发现者) 查看每个版本的新内容。

另请参阅Polyspace错误查找程序和Polyspace代码验证程序之间的选择。

代码验证

Polyspace代码验证™是一个可靠的静态分析工具，它证明了C和c++源代码中不存在溢出、按0除、数组越界访问和其他运行时错误。它产生的结果不需要程序执行、代码插装或测试用例。Polyspace代码验证使用语义分析和基于形式化方法的抽象解释来验证软件的过程间、控制和数据流行为。您可以使用它来验证手写代码、生成代码或两者的组合。每个代码语句都用不同的颜色进行编码，以指示它是否没有运行时错误、已证实失败、不可到达或未证实。

Polyspace代码验证显示变量和函数返回值的范围信息，并可以证明哪些变量超出了指定的范围限制。代码验证结果可用于跟踪质量指标并检查与软件质量目标的一致性。Polyspace代码验证可以与Eclipse IDE一起使用，以验证桌面上的代码。

完整的代码证明文档 查看所有工作流程，例如: 设置分析。 审查结果并生成报告。	分析选项(Polyspace代码验证) 在分析之前查找配置选项，例如: 目标和编译器选项。 与验证假设相关的选项。	结果(Polyspace代码验证) 查找你从分析中得到的结果，例如: 运行时检查。 全局变量的使用。	发布说明(Polyspace代码验证) 查看每个版本的新内容。

另请参阅Polyspace错误查找程序和Polyspace代码验证程序之间的选择。

其他Polyspace下载188bet金宝搏

Polyspace的其他产品包括下载188bet金宝搏:

您可以在web上或从相应的产品中查看此文档。下载188bet金宝搏