登錄 | 注冊 | English

新聞中心

首頁  >  新聞中心  >  產品動態

PolySpace — 嵌入式軟件運行時靜態檢查工具

概述

        PolySpace 是 MathWorks 公司產品,主要用于分析軟件運行時錯誤工具。它包括PolySpace Bug Finder 和PolySpace Code Prover 兩個模塊。

 

產品介紹
PolySpace Bug Finder
        PolySpace Bug Finder 是靜態代碼分析軟件,可以發現 C/C++ 代碼中的各類缺陷,包括運行時錯誤,數據流問題,編程問題等各類代碼缺陷。PolySpace Bug Finder 使用靜態分析的方法分析軟件控制,數據流和過程間的行為。可以在軟件開發階段就幫助開發人員發現并修正軟件缺陷。

        PolySpace Bug Finder 可以生成軟件代碼靜態度量報告,包括發現的缺陷,編碼規范不合規項和代碼質量信息比如圈復雜度。為了方便使用,PolySpace Bug Finder 還提供了和 Eclipse IDE 開發環境及用戶的構建系統集成的功能。

        通過 IEC Certifcation Kit(IEC 61508和 ISO 26262)和 DO Qualifcation Kit (DO178),PolySpace 提供對相關工業標準認證的支持。同時,PolySpace 支持 Ada 語言的代碼檢查。

 

 

PolySpace Code Prover
        PolySpace Code Prover 證明 C/C++ 代碼中不含有溢出,除零,數組越界等特定的運行時錯誤。它不需要運行代碼,代碼插裝和測試用例。PolySpace Code Prover 使用靜態分析和形式化的抽象解釋方法,適用于手寫代碼,自動生成代碼和兩者都有的混合代碼。結果采用顏色表示代碼中是否沒有運行時錯誤,被證明的錯誤,不可達代碼和未經證明的代碼。

        PolySpace Code Prover 使用抽象解釋和靜態分析方法來證明,識別和分析運行時錯誤,例如溢出,除零和指針的越界。這個技術綜合完整的驗證所有的運行條件并自動的證明代碼是被證明的(安全的,錯誤的,不可達的)和未經證明的。PolySpace Code Prover 的檢查結果用顏色來標識。

        能夠發現的錯誤包括:
    ♦ 溢出,除零及其它的數學錯誤
    ♦ 數組訪問越界和非法的指針取消引用
    ♦ 總是 True/False 的語句
    ♦ 類成員無初始化 (C++)
    ♦ 讀取未初始化的數據
    ♦ 訪問 null this 指針 (C++)
    ♦ 死代碼
    ♦ 與面向對象編程,繼承和錯誤處理有關的動態錯誤 (C++)

 

關于恒潤
企業簡介
企業理念
企業資質
新聞中心
恒潤在全球
誠聘英才
校園招聘
實習生招聘
社會招聘
走進恒潤
常見問題
市場活動
在線研討會
線下活動
微信課堂
用戶社區
資料下載
恒潤月刊
用戶留言
個人中心
相關鏈接
達索公司
IBM-中國
聯系我們
電話:010-64840808
郵箱:[email protected]
版權所有 ? 北京經緯恒潤科技有限公司 京ICP備11037710號 京公網安備11010802017344號 網站地圖 | 招聘信息 | 法律聲明 | 隱私保護
陕西十一选五投注