静的コード分析 Axivion Static The Qt Company Oy

この製品について

■次世代の静的コード分析を使用してソフトウェアの品質を保証します。当社の静的コード分析では、MISRA、AUTOSAR C++14、CERT、またはC Securecodingに従ってソフトウェア プロジェクトのスタイル違反がチェックされます。メトリクス違反は、コーディングガイドラインの違反と同じ方法で表示および文書化されます。潜在的な実行時エラーは、欠陥分析によって検出されます。クローン解析により、冗長・重複したコードを検出・管理します。

■コーディング ガイドラインAxivion Suite は、自動的にテスト可能なMISRA C:2004、C:2012  (修正 1 セキュリティ ルールおよび修正 2 を含む)  、C++:2008、および AUTOSAR C++14   (17.03、17.10、18.03、18.10 を含む)  のルールを100%カバレッジすることを保証します。および 19.03)  。さらに、CERT C、CERT C++、ISO/IEC TS 17961  (C Securecoding Checker)  の決定可能なルールの多くもカバーしています。

静的解析の側面に直接関連するCWE の多くのルールをチェックできます。評価の基礎としてより高度なセキュリティ設計が必要なルールの場合は、カスタム チェックを作成できます。コーディング ガイドラインは、お客様の環境で非常に高いパフォーマンスでチェックされるため、継続的かつ自動コード レビューのメリットをすぐに得ることができます。

■メトリクスAxivion Suite の静的コード分析は、多くのよく知られたソフトウェア指標の基礎を形成します。これらには、ファイルまたは関数のコード行に基づく単純なメトリクスが含まれます。他のメトリクスは、関数のネストの深さ  (ネスト)  や関数の循環的複雑さなどの制御フローのプロパティに基づいています。

Halstead メトリクスなどのトークンベースのメトリクスも、コードメトリクスの標準セットに含まれています。Axivion Suite には、自動車業界で頻繁に使用される HIS メトリクスも含まれています。

■欠陥解析Axivion Suite の静的コード分析を使用して、ソース コードに実行時エラーがないか確認してください。当社の分析には、境界外アクセスやゼロ除算などのエラーを早期に検出するのに役立つスケーラブルなデータと制御フローのチェックが含まれています。テスト前に検出されたプログラム エラーは、早期に修復することでフォローアップ コストを削減します。欠陥分析により、開発者は、開発の初期段階では考慮されないことが多い、プログラムフローの特殊なケースに気づくことができます。