##商業(yè)軟件如需下載安裝使用試用，可以點下面，通過簡介添加

成都創(chuàng)新互聯(lián)公司云計算的互聯(lián)網(wǎng)服務(wù)提供商,擁有超過13年的服務(wù)器租用、棕樹數(shù)據(jù)中心、云服務(wù)器、虛擬主機、網(wǎng)站系統(tǒng)開發(fā)經(jīng)驗，已先后獲得國家工業(yè)和信息化部頒發(fā)的互聯(lián)網(wǎng)數(shù)據(jù)中心業(yè)務(wù)許可證。專業(yè)提供云主機、虛擬主機、申請域名、VPS主機、云服務(wù)器、香港云服務(wù)器、免備案服務(wù)器等。

靜態(tài)測試軟件（QAC、Klocwork、Coverity等）單元測試軟件 集成測試軟件（VectorCAST、TestBED、Tessy、C++Test等）_嗶哩嗶哩_bilibili

Polyspace是matlab中的一個用于靜態(tài)分析代碼的工具箱，可以用于檢查C、C++等代碼的問題（比如死邏輯、可能出現(xiàn)的除零等），主要是針對嵌入式。

事先準(zhǔn)備

和一些Matlab的老軟件一樣，該軟件對于中文目錄會產(chǎn)生錯誤。因此使用前請確認(rèn)[C:\User]目錄中，所使用的的當(dāng)前用戶是否為中文。

如果有的話在運行過程中你可能會看到類似提示:?with non ascii characters

完成步驟后老軟件可能會索引，以管理員權(quán)限運行cmd后，執(zhí)行以下命令:

mklink /j C:\Users\原始用戶名 C:\Users\NewUserName

如何打開PolySpace

Matlab主頁面,如下圖，則可以找到兩個應(yīng)用:

在官網(wǎng)上有介紹。并且還有一個Ada應(yīng)用:

1. Polysapce bug finder

2. Polyspace coder prover

3. Polyspace for Ada（在18b中沒有，但是官網(wǎng)是有該項，如需要可以單獨下載）

三者具體描述如下：

BugFinder：識別嵌入式軟件 C 和 C++ 代碼中的運行時錯誤、并發(fā)問題、安全漏洞和其他缺陷。

CoderProver:可靠的靜態(tài)分析工具，可以證明在 C 和 C++ 源代碼中不存在溢出、被零除、數(shù)組訪問越界和其他運行時錯誤。

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打開軟件，手動導(dǎo)入源碼和庫（*.c&*.h)該方法可以參考Polyspace應(yīng)用：Bug Finder檢測代碼漏洞，另一個方法是由Polyspace應(yīng)用：Simulink中的缺陷檢查。

前一個方法更適合手寫代碼的檢查，而后一個方法則是在MBD開發(fā)工具鏈時，確保生成代碼的質(zhì)量。主要是確保不存在除0、溢出、越界這類操作。否則如果將代碼直接編譯燒錄進嵌入式有可能造成控制器的重啟，一旦出現(xiàn)這類問題很難找到。

你是否還在尋找穩(wěn)定的海外服務(wù)器提供商？創(chuàng)新互聯(lián)www.cdcxhl.cn海外機房具備T級流量清洗系統(tǒng)配攻擊溯源，準(zhǔn)確流量調(diào)度確保服務(wù)器高可用性，企業(yè)級服務(wù)器適合批量采購，新人活動首月15元起，快前往官網(wǎng)查看詳情吧

本文題目：Polyspaces軟件下載安裝使用試用-創(chuàng)新互聯(lián)
地址分享：http://weahome.cn/article/dpiggs.html