在下刚接触polyspace工具，请教各位大神，代码测试完成之后如何把结果导出来？
1条回答 默认 最新
- 2022-01-22 14:23回答 2 已采纳 无法运行代码分析，'d:\123.m'为无效的 MATLAB 文件名。出现乱码一般是UTF-8编码的字符被当成ANSI(GB2312)编码进行解析。
- 2022-05-13 11:41回答 1 已采纳 我的matlab里的 gray 是：D:\MATLAB\toolbox\matlab\graphics\color\gray.mgray.m： function g = gray(m) %GRAY
- 2021-05-29 13:37Polyspace Bug Finder 是一种静态分析工具，可以帮助自动执行 STIG。 它检测代码中的多种安全漏洞，例如不安全的加密功能，意外的特权提升，污染的数据和其他安全问题。 使用 Bug Finder 检查器，您可以自动检查...
- 2023-05-26 07:30grey_csdn的博客 在寻找Bug Finder的命令行控制功能的时候发现文档中关于启动方式都做了很详细的描述，在此小结一下。 启动方式大致分为三种：GUI启动模式、命令行模式、MATLAB命令模式。 GUI模式是我们工作中常用的，使用的平台是...
- 2020-02-21 22:05chhttty的博客 Polyspace®Bug Finder，顾名思义是一个查找Bug的工具。它可以识别C和C++嵌入式软件中的运行时错误，并发问题，安全漏洞和其他缺陷。 Bug Finder采用语义分析技术检测软件Bug，因此只需要提供源代码，不需要测试用例...
- 2023-05-27 17:43grey_csdn的博客 在此拿软件的一个示范历程来说明一下： 1，使用示例代码建立以下工程并运行： 2，查看运行结果文件夹如下： 其中标记1处的两个批处理文件为命令行操作的文件，标记2处的文件夹是检测报告的文件夹，标记3画出来的一...
- 2022-08-23 10:33嵌入式软件静态检查工具，Polyspace工具使用说明
- 2019-08-01 11:30是华子哥啊的博客 Polyspace由Bug Finder和Code Prover组成。Bug Finder使用语义分析的方法查找代码中的运行时错误、并发问题、安全漏洞和其他缺陷。Polyspace Code Prover使用抽象解释法证明源代码中不存在溢出、被零除、数组访问...
- 2023-06-25 09:27大道生的博客 7、一般着重“High”和“Medium”类型的错误，点击...1、打开polyspace-bug-finder，新建工程文件：File New Project，命名，选择保存路径，然后点击Next。6、点击运行，等待结果，整理测试报告，详见测试报告示例。
- 2018-06-01 21:33用于嵌入式软件静态分析测试工具-matlab polyspace bug finder
- 2018-06-01 21:32用于嵌入式软件静态分析测试工具-matlab polyspace bug finder
- 2018-06-01 21:35用于嵌入式软件静态分析测试工具-polyspace-bug-finder-nav-root-defect
- 2022-12-27 17:48鱼乐几度雨停的博客 Polyspace是matlab中的一个用于静态分析代码的工具箱，可以用于检查C、C++等代码的问题（比如死逻辑、可能出现的除零等），主要是针对嵌入式。3. Polyspace for Ada（在18b中没有，但是官网是有该项，如需要可以单独...
- 2022-08-25 17:05正在努力的阿青的博客 Polyspace 是一个静态分析工具，可识别、修复或挖掘潜在的运行时错误（如：除以零），并检查源代码是否遵循 MISRA C、MISRA C++ 和 JSF++ 等代码标准。此外，Polyspace 还可以将必须手动审查的未经验证代码突出显示...
- 2021-04-20 05:36weixin_39920397的博客 描述Polyspace 自 2013b 版本起开始集成到 MATLAB 平台，利用其强大的静态分析和形式化验证功能完善基于模型设计的过程，同时 MATLAB 的脚本处理能力也加强了验证的自动化过程，应用场景包括：获取生成代码的规范...
- 2023-10-27 17:47纯情研究生的博客 这一步需要添加.c文件中所需头文件的路径，没有头文件可以不添加，点击browse选择所有头文件所在的include文件夹，然后点击add ...Polyspace可通过MATLAB安装，若仅使用Polyspace功能，在安装时可以只勾选相关选项。
- 2019-12-02 22:18一知半解-老同志的博客 PolySpace测试技术始于1996年，当时欧洲亚丽安娜501火箭由于飞行计算机软件运行错误而导致主/辅计算机全部停机并在飞行升空后爆炸，为此，法国国家计算机与控制研究所、欧洲航天局组织专门的力量研制以抽象解释技术...
- 2021-04-21 19:12三方堂的博客 Polyspace-ver 命令可显示许可信息及已安装的 Polyspace 产品。要确定所用的 Polyspace 产品版本，请输入以下命令：在 UNIX 和 Linux 中：/Verifier/bin/polyspace-ver在 Windows 中：/Verifier/wbin/polyspace-ver....
- 2023-05-24 14:02hahaaiwei的博客 Inputs & stubbing Multitasking Coding rules & code metrics Bug finder analysis Code prover verification：默认勾选。 variables to initialize：public Function to call: unused - Reporting：对生成的报告...
- 没有解决我的问题, 去提问
问题事件
已结题
（查看结题原因） 3月9日
悬赏问题
- ¥15 程序不包含适用于入口点的静态Main方法
- ¥15 素材场景中光线烘焙后灯光失效
- ¥15 请教一下各位，为什么我这个没有实现模拟点击
- ¥15 执行 virtuoso 命令后，界面没有，cadence 启动不起来
- ¥50 comfyui下连接animatediff节点生成视频质量非常差的原因
- ¥20 有关区间dp的问题求解
- ¥15 多电路系统共用电源的串扰问题
- ¥15 slam rangenet++配置
- ¥15 有没有研究水声通信方面的帮我改俩matlab代码
- ¥15 ubuntu子系统密码忘记