Loading article…
| 開発者 | マスワークス[1] |
|---|---|
| 安定リリース | R2022b / 2022年9月15日 |
| オペレーティング·システム | クロスプラットフォーム[2] |
| タイプ | 静的コード分析 |
| ライセンス | 独自 |
| Webサイト | www.mathworks.com/products/polyspace.html |
Polyspaceは、 C、C++、Adaプログラミング言語のソースコード内の特定の実行時エラーを検出したり、存在しないことを証明したりするために、抽象解釈による大規模な解析を行う静的コード解析ツールです。このツールは、ソースコードが適切なコード標準に準拠しているかどうかもチェックします。[3]
歴史
PolyspaceはもともとフランスのPolySpace Technologies社によって開発され、2007年にMathWorks社に買収されました。[4]その後、この製品はMATLABに統合されました。
一般的な用途
Polyspace はソースコードを検査して、算術オーバーフロー、バッファオーバーラン、ゼロ除算などの潜在的な実行時エラーが発生する可能性がある場所を特定します。ソフトウェア開発者と品質保証マネージャーは、この情報を使用して、コードのどの部分に欠陥があるか、または信頼性が証明されているかを特定します。コードの他の部分は未証明チェックとしてマークされ、個別にレビューする必要があります。[5] [6]
MISRA Cなどのコード標準やガイドラインは、コードの品質、移植性、信頼性に対処しようとします。この製品は、CおよびC++のソースコードがこれらのコーディング標準のルールのサブセットに準拠しているかどうかをチェックします。[7]
機能
製品ファミリーは、Polyspace Code Prover と Polyspace Bug Finder で構成されています。Code Prover モジュールは、ソースコードに色分けスキームで注釈を付け、コード内の各要素の状態を示します。[8]形式手法に基づく静的コード解析を使用して、言語レベルでプログラムの実行を検証します。[6]このツールは、コード内のすべてのポイントですべての変数のすべての可能な値を考慮して各コード命令をチェックし、通常の使用条件と異常な使用条件の両方でコード内の各操作の正式な診断を提供します。[9]
Bug Finderモジュールは、ソースコードに対して静的プログラム解析を実行してソフトウェアのバグを特定します。数値計算、プログラミング、メモリ、その他のエラーなどの欠陥を検出します。また、ソースファイルのコメント密度、循環的複雑度、関数内の行数、パラメータ数、呼び出しレベル数などのソフトウェアメトリックも生成します。ソフトウェアで特定された実行時エラー。[10]
参照
参考文献
- ^ Pele, Anne-Francoise (2007-04-25). 「The Mathworks acquires PolySpace Technologies」. EETimes. 2012-02-11 にオリジナルからアーカイブ。2010-08-13に取得。
- ^ MathWorks - Polyspace - 要件
- ^ Deutsch, Alain (2003-11-27). 「動的プロパティの静的検証」(PDF) 。Polyspace Technologies。2012-03-13のオリジナル(PDF)からアーカイブ。2014-05-17に取得。
- ^ Pelé, Anne-Françoise (2007-04-25). 「MathworksがPolySpace Technologiesを買収」. EE Times . 2024年7月12日閲覧。
- ^ Brat, Guillaume (2004). 「火星探査車ソフトウェアの検証および妥当性確認ツールの実験的評価」システム設計における形式手法25 (2/3): 167–198. doi : 10.1023/B:FORM.0000040027.28662.a4. hdl : 2060/20040010327 .
- ^ ab Exponent (2012-09-24). 「ExponentによるトヨタETCS-i車両ハードウェアおよびソフトウェアの調査」Exponent。2014-07-27時点のオリジナルよりアーカイブ。2010-09-07に閲覧。
- ^ MathWorks: 静的コード解析。
- ^ Jones, Paul; Jetley, Raoul; Abraham, Jay ( 2010-02-09 ). 「医療機器ソフトウェア分析に対する形式手法ベースの検証アプローチ」。Embedded Systems Design。2010-08-16閲覧。
- ^ Wissing, Klaus (2007-09-27). 「動的プロパティの静的分析 - 動的実行時エラーがないことを証明するための自動プログラム検証」(PDF)。応用プログラム分析ワークショップ。2010-08-13に取得。
- ^ 「ソフトウェアメトリクス-MATLAB」。インド：MathWorks 。 2015年8月27日閲覧。
外部リンク
- 公式サイト