PolySpace代码箴言
ソフトウェアソフトウェアにランタイムエラーエラーがないことを明
PolySpace Code Prover™は,cソースコードおよびc ++ソースコードに,オーバーフロー,ゼロ除算,范囲外の配列アクセス,その他のするな静ことを证実坚牢坚牢な的ツールツール実実実ですです実実.,テストケースの作品成を行为必要なく,结果结果生成し.polyspace码箴言は,形式形式法に基础たセマンティックと抽象解釈使使使て,ソフトウェアの手続き间,制御,データデータの动词をします书架のコード,生成されコード,またはその2つの组みわせを検证ためため使使。各コードステートメントは,ランタイムステートメントは,ランタイムエラーがこと,失败である,,到达不错である,または未说明であることを示すためににに色色色いい。
PolySpace代码箴言は,変数および关键词戻り値の范囲がされ范囲制证をできてを证证できます。,ソフトウェア品牌目标とののの性确认ますます.polyspace代码谚语をeclipse™IDEとともにとともに使用し,デスクトップのコードを検证でき。
IEC认证套件(IEC 61508およびISO26262用)および做资格套件(DO-178用)によって対応してます。
详细を见る:
他のテスト手段では検出できないエラーを検出
认证认证アーティファクト作作作者
业务界标准基于たの认证プロセス完了せせますますますますせせせ
意図しないソフトウェアの动作を防止
実达できの到とと,ロジックおよびプログラム构造エラーとしししししししししししししししし。
金宝appSimulinkモデルモデルへのコード検证结果を
生成されたのを検证し,simul金宝appinkのソースモデルへの検证结果トレースししますの検证
コード検証プロセスの自動化
Polyspace代码验证服务器™を使用して,詹金斯や竹などのビルド自動化ツールによって,サーバークラスのマシンでPolyspace代码验证静的解析エンジンを実行します。
共同共同レビューの结果结果ををおよびおよび
。
問題を重大度により順位付けして解決できるように,Polyspace代码验证の検証結果を確認
PolySpace Code Prover Access™では,中间リポジトリに格式さているPolyspaceコードコード结果およびののに対する网页ブラウザーインターフェイス提供されますしてブラウザーのれますして,コードコード结果を调查し。この结果结果はコードと绪ににされれ
プロジェクト品牌とソフトウェアソフトウェア目标
ダッシュボードには,ソフトウェアソフトウェア品质,プロジェクトステータス,欠陥欠陥数,コードコード,ソフトウェアソフトウェア目标をするため使できるれますさます。
すでにすでに用しているバグ追迹ツールとと合
WEBブラウザーブラウザーを使使て,jiraなどのバグ追迹でチケットを作物
コンパイラのサポート
PolySpace解析解析を设定ししmplab xc16およびxc32コンパイラをエミュレート
寿命化コードの
残り残りのプログラムをチェックするするに初コードのみ検证し,すべてすべてのグローバル変ががて的されいるか
金宝appsimulinkのサポート
C功能ブロックから呼び出されるカスタムのを解析
これらの机械および対応する关键有关部の详细详细は,リリースノートを参照してください。