Polyspace Bug的搜索
静的解析を使用したソフトウェアのバグの特定
Polyspace错误发现者™はCおよびc++組み込みソフトウェアのランタイムエラー,同時実行の問題,セキュリティ脆弱性およびその他の欠陥を特定します。Polyspace错误发现者はセマンティック解析を含む静的解析を使用して,ソフトウェアの制御,データフローおよび手続き間の動作を解析します。欠陥を検出して直ちに強調表示することにより,開発プロセスの初期段階でバグを重大度により順位付けし,修正することができます。
Polyspace错误发现者はMISRA - C®， MISRA c++， JSF++， CERT®C,证书®c++,およびカスタム命名規則などのコーディングルール規約への準拠をチェックします。また,検出されたバグ,コードルール違反および循環的複雑度などのコード品質メトリクスが含まれるレポートを生成します。Polyspace Bug的搜索を Eclipse™ IDE とともに使用して、デスクトップのコードを解析できます。
自動的に生成されたコードの場合,Polyspaceによる解析結果を仿真金宝app软件®モデルおよびdSPACE®TargetLink®ブロックまで遡って追跡することができます。
IEC认证工具包(ISO 26262およびIEC 61508用)および做资格工具包(- 178用)を通じて,業界標準のサポートが可能です。
詳細を見る:
複雑なバグの根本原因の発見
イベント追跡,変数,呼び出しツリーを備えたデバッガーに似たビューでコードを表示できます。
独自のナビゲーションパスを作成。
金宝app仿真软件モデルへのコード解析の追跡
生成されたコードの解析を実行し,ソースモデルブロックへの検証結果を追跡します。
モデルへのコード解析を追跡。
任意のランタイム環境向けに設定可能
Polyspace错误发现者を任意のコンパイラ,ターゲットプロセッサ,およびRTOS環境に統合することができます。
ターゲットオプションおよびコンパイラオプションを設定。
コーディングルールと認証要件に準拠
MISRA - C, MISRA c++, AUTOSAR c++ 14, JSF + +,およびカスタムのルール準拠を適用します。ISO 26262, - 178、IEC 61508 EN 50128、IEC 62304,その他に準拠します。
機能安全規格に準拠。
セキュリティ要件への適合
CERT C / c++, ISO 17961, MISRA - C: 2012(改訂1)に準拠します。
コーディングルールのチェック方法を設定。
プロジェクトのソフトウェア品質を監視
解析结果を品质のしきい値と比较して，ソフトウェアチームが共同作业を容易に行い，プロジェクトのマイルストーンを监视できるようにします。
検証結果をフィルタリング。
統合ビルドを解析
詹金斯や竹などのビルド自動化ツールによって,Polyspace错误发现者服务器™の静的解析エンジンをサーバークラスのマシンで実行します。
Polyspace製品を継続的な統合環境に統合。
共同レビューの結果を通知およびアップロード
問題を重大度により順位付けして解決できるように,自動的に欠陥をコンポーネントの所有者に割り当て,メール通知を送信し,検証結果をPolyspace错误发现者访问にアップロードします。
Polyspace Bug的搜索の検证结果を记载したメール通知を送信。
問題を重大度により順位付けして解決できるように,解析結果を確認
Polyspace Bug的搜索访问™により，中央リポジトリに格纳されているPolyspace静的コード解析结果および品质メトリクスに対する网站ブラウザーインターフェイスが提供されます。静的解析の结果を调查するためのナビゲーションツールがコードの横に表示されます。
検証結果の詳細を表示するウィンドウ。
プロジェクト品質メトリクスとソフトウェア品質メトリクスの監視
ダッシュボードには,ソフトウェアの品質,プロジェクトステータス,欠陥の数,コードメトリクスを監視するために使用できる情報が表示されます。
プロジェクト概要のダッシュボード。
すでに使用しているバグ追跡ツールと統合
Webブラウザーインタフェースを使用して,Jiraなどのバグ追跡ツールでチケットを作成し割り当てます。
チケットを作成。
コンパイラのサポート
Polyspace解析を設定してMPLAB XC16およびXC32コンパイラをエミュレート
金宝app仿真软件のサポート
C函数ブロックから呼び出されるカスタムのコードを解析
反例付き堅牢性チェッカー
より厳密な解析を実行して,数値エッジケースなどのすべてのシステム入力値を考慮し,欠陥につながる値の例を表示
パフォーマンスチェッカー
c++コードでパフォーマンスの問題を引き起こす可能性のあるコードをチェック
CERT Cサポート
スレッド安全性問題やハードコードされた機密データに対する新規チェックなど,CERT C規約の違反をチェック
これらの机能やそれに対応する机能の详细については，リリースノートをご覧ください。
