MATLAB的答案

如何生成选项文件使用圣视觉Developer IDE bug仪分析

3视图(30天)
shubham帕特尔
shubham帕特尔 2022年2月3日
评论道: shubham帕特尔2022年2月9日
我使用圣视觉Developer IDE编译和构建我们的项目,我们有宇宙STM8编译器。
我想执行错误仪分析项目,这需要输入选项文件包含编译项目的流程,但是当我们使用圣视觉Developer IDE编译整个工程如何生成选项文件。

在回答这个问题。

答案(1)

Anirban
Anirban 2022年2月4日
请联系MathWorks技术支持帮助建立您的项目。万博1manbetx
我可以给你一个通用工作流的概念,如果你想开始你自己的。IDE构建源代码时,你可能会直接使用编译工具链如上所述在IDE或使用一个构建命令。在这两种情况下,你可能会简单地点击一个菜单项来构建您的源代码。如果你知道背后的基本命令菜单项(大多数ide告诉你在一个控制台命令运行当你点击菜单项为构建),您可以运行 polyspace-configure 这个命令并生成Polyspace选项文件。polyspace-configure工作流程就是:
  • 在命令行构建源代码,并确保它没有错误。可能是常规命令行或IDE提供的命令行(例如,Visual Studio,必须使用Visual Studio开发人员迅速建立您的源代码。常规命令行没有正确设置环境变量。)
  • 预谋polyspace-configure再次,运行这个构建命令。Polyspace项目或生成选项文件给你。
为其他ide可以在这里找到一些例子:
你可以通过选择手动设置您的项目 宇宙 的选项 编译器(编译器) 。但这是可能的你可能会遇到错误Polyspace分析因为其他运行时编译选项不会Polyspace项目中正确模拟。最好是让Polyspace找出哪些选项设置,基于您的构建命令。这是 polyspace-configure 上面描述的工作流。