《電子技術應用》
您所在的位置:首頁 > EDA與制造 > 新品快遞 > MathWorks 引入兩款 Polyspace 代碼驗證新產品

MathWorks 引入兩款 Polyspace 代碼驗證新產品

驗證功能更加完善,小到快速查找缺陷大到驗證嵌入式軟件的高完整性
2013-09-11

MathWorks近日宣布引入兩款新的代碼驗證工具以擴充其Polyspace 產品系列:Polyspace Code Prover 和Polyspace Bug Finder。此外,公司還于同時宣布推出2013b 版。新增的這兩款產品提供了端到端軟件驗證功能,供早期開發階段使用,其中涵蓋了查找缺陷、檢查代碼規則以及證明不存在運行時錯誤。由此便可確保嵌入式軟件的穩健性,使其能夠以最高級別的質量和安全性運行。

 

Polyspace Code Prover是一款基于形式化方法的驗證工具,用于證明代碼的正確性。負責代碼安全和認證的工程師可以使用Polyspace Code Prover 來確定何處會發生或不會發生運行時錯誤。顏色編碼和基于證明的結果簡化了驗證任務,使得軟件開發流程更加高效和優質。此外,Polyspace Code Prover 還利用MATLAB 平臺,使用戶可以訪問強大的MATLAB 功能,例如穩健的計算機集群間工作分配、自動化腳本編寫、結果可視化以及認證報告生成。Polyspace Code Prover 融入了先前在Polyspace Client for C/C++ 和Polyspace Server for C/C++ 中提供的功能。

 

Polyspace Bug Finder可識別嵌入式軟件中的運行時錯誤、數據流問題以及其他缺陷。Polyspace Bug Finder 可以利用靜態分析方法來分析軟件控件、數據流以及過程間行為。此軟件還能夠查找各種缺陷,例如數值、內存以及其他編程錯誤。與傳統的人工審驗不同,Polyspace Bug Finder 使工程師可以快速識別、診斷和修復代碼缺陷,從而簡化開發流程。此工具不僅可檢查是否符合代碼規則標準(例如MISRA 和JSF++、自定義規則),而且能夠生成衡量代碼質量和復雜度的指標。與Polyspace Code Prover 一樣,Polyspace Bug Finder 可利用MATLAB 平臺進行工作分配、腳本編寫和結果可視化。這兩款產品都與Simulink 集成在一起以便用于自動生成代碼。

 

MathWorks 公司的設計自動化營銷總監Paul Barnard 說:“Polyspace 產品系列可提供全面的代碼驗證解決方案,使工程師在整個開發流程中對嵌入式軟件的質量和安全性更加充滿自信。Polyspace Bug Finder 和Polyspace Code Prover 將靜態分析和形式化方法代碼驗證技術融于一體,可幫助工程師在開發流程早期找出缺陷,證實其軟件的關鍵環節是安全的,從而加以部署。”

 

上市時間

Polyspace Code Prover 和Polyspace Bug Finder已經上市。

 

更多信息,請訪問

官方網站:http://www.mathworks.com/products/new_products/latest_features.html

關注MathWorks官方中文微博  www.weibo.com/mathworks

本站內容除特別聲明的原創文章之外,轉載內容只為傳遞更多信息,并不代表本網站贊同其觀點。轉載的所有的文章、圖片、音/視頻文件等資料的版權歸版權所有權人所有。本站采用的非本站原創文章及圖片等內容無法一一聯系確認版權者。如涉及作品內容、版權和其它問題,請及時通過電子郵件或電話通知我們,以便迅速采取適當措施,避免給雙方造成不必要的經濟損失。聯系電話:010-82306118;郵箱:aet@chinaaet.com。
主站蜘蛛池模板: 免费乱理伦片在线观看影院| 国产精品对白刺激久久久| 国产中文字幕乱人伦在线观看| chinese体育男白袜videogay| 日韩成人免费在线| 亚洲精品美女久久久久9999| 腿打开一下一会就不疼了| 国产特级毛片AAAAAA| h在线观看视频免费网站| 欧美日韩生活片| 又色又爽又黄的视频网站| 欧美丝袜高跟鞋一区二区| 天堂电影在线免费观看| 久久6这里只有精品| 欧美一区二区三区久久综| 国产三区视频在线观看| 香蕉视频一区二区| 好吊妞在线新免费视频| 久久久国产99久久国产久| 欧美人与动zoz0大全| 伊人久久精品亚洲午夜| 美女被羞羞网站免费下载| 国产麻豆精品入口在线观看| 东北女人奶大毛多水多| 日韩不卡中文字幕| 亚洲另类激情综合偷自拍图| 用电动玩具玩自己小视频| 囯产精品一品二区三区| 99视频精品国在线视频艾草| 国产精品视频h| a在线观看免费| 性xxxxx大片免费视频| 久久精品九九亚洲精品| 欧美人妻精品一区二区三区| 亚洲综合色一区| 第四色播日韩第一页| 四虎影院一级片| 黑人巨大战冲田杏梨| 国产精品免费视频网站| 99re99热| 日本三级韩国三级三级a级播放|