从品牌网站建设到网络营销策划,从策略到执行的一站式服务
##商业软件如需下载安装使用试用,可以点下面,通过简介添加
成都创新互联公司云计算的互联网服务提供商,拥有超过13年的服务器租用、棕树数据中心、云服务器、虚拟主机、网站系统开发经验,已先后获得国家工业和信息化部颁发的互联网数据中心业务许可证。专业提供云主机、虚拟主机、申请域名、VPS主机、云服务器、香港云服务器、免备案服务器等。静态测试软件(QAC、Klocwork、Coverity等)单元测试软件 集成测试软件(VectorCAST、TestBED、Tessy、C++Test等)_哔哩哔哩_bilibili
Polyspace是matlab中的一个用于静态分析代码的工具箱,可以用于检查C、C++等代码的问题(比如死逻辑、可能出现的除零等),主要是针对嵌入式。
事先准备
和一些Matlab的老软件一样,该软件对于中文目录会产生错误。因此使用前请确认[C:\User]目录中,所使用的的当前用户是否为中文。
如果有的话在运行过程中你可能会看到类似提示: with non ascii characters
完成步骤后老软件可能会索引,以管理员权限运行cmd后,执行以下命令:
mklink /j C:\Users\原始用户名 C:\Users\NewUserName
如何打开PolySpace
Matlab主页面,如下图,则可以找到两个应用:
在官网上有介绍。并且还有一个Ada应用:
1. Polysapce bug finder
2. Polyspace coder prover
3. Polyspace for Ada(在18b中没有,但是官网是有该项,如需要可以单独下载)
三者具体描述如下:
BugFinder:识别嵌入式软件 C 和 C++ 代码中的运行时错误、并发问题、安全漏洞和其他缺陷。
CoderProver:可靠的静态分析工具,可以证明在 C 和 C++ 源代码中不存在溢出、被零除、数组访问越界和其他运行时错误。
Ada:Ada provide code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in source code.
使用PolySpace有两个方法,一个由Matlab打开软件,手动导入源码和库(*.c&*.h)该方法可以参考Polyspace应用:Bug Finder检测代码漏洞,另一个方法是由Polyspace应用:Simulink中的缺陷检查。
前一个方法更适合手写代码的检查,而后一个方法则是在MBD开发工具链时,确保生成代码的质量。主要是确保不存在除0、溢出、越界这类操作。否则如果将代码直接编译烧录进嵌入式有可能造成控制器的重启,一旦出现这类问题很难找到。
你是否还在寻找稳定的海外服务器提供商?创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源,准确流量调度确保服务器高可用性,企业级服务器适合批量采购,新人活动首月15元起,快前往官网查看详情吧
成都网站建设公司地址:成都市青羊区太升南路288号锦天国际A座10层 建设咨询028-86922220
成都快上网科技有限公司-四川网站建设设计公司 | 蜀ICP备19037934号 Copyright 2020,ALL Rights Reserved cdkjz.cn | 成都网站建设 | © Copyright 2020版权所有.
专家团队为您提供成都网站建设,成都网站设计,成都品牌网站设计,成都营销型网站制作等服务,成都建网站就找快上网! | 成都网站建设哪家好? | 网站建设地图