静的解析ツール
Axivion Suite
静的解析ツールAxivion Suiteは、CIベースのクオリティーゲートにおいて不可欠な要素です。完全にカスタマイズ可能であるため、自動化されたテストツールと組み合わせて、最初から高品質のコードを保証します。
最先端の静的解析ツールを使ってソフトウェアの品質を保証
静的解析ツールのAxivion Suiteは、ソフトウェアプロジェクトの自動解析により、MISRA (MISRA C: 2023およびMISRA C++:2023を含む)およびAUTOSAR C++14に準拠したコーディングガイドラインの違反を特定します。セキュリティに関連する違反は、CERT®、C Secure Coding、CWEに従ったコーディングガイドラインで解析されます。メトリック違反は、クローン、サイクル、到達不可能なコードと同様に表示され、文書化されます。
静的解析ツールのAxivion Suiteは、解析の結果はCおよびC++で作成されたソフトウェアの開発に伴う継続的な品質保証をサポートします。品質チェックを自動化することで、開発者は人間の知性と創造性を必要とする作業に集中できます。繰り返しの作業はAxivionで自動化し、全体のチェックを繰り返し実行し、包括的なレポートを提供します。
静的解析ツールAxivion Suiteは、ソフトウェア劣化を防ぎ、ソフトウェア開発の将来を支えます。
ソフトウェア劣化(技術的負債とも呼ばれる)とは、ソフトウェアの保守性、拡張性、再利用性が、時間の経過とともに困難になる、あるいは不可能になるプロセスのことです。
ソースコードは、新しい要件や変更された要件に適応するために、ソフトウェアの機能を強化するために継続的に修正されます。これはソフトウェアの機能を損なわないかもしれませんが、将来のタスクにさらなる負担を強いる可能性があります。
結果として、ソフトウェア劣化は、システムの観測可能な動作を劣化させ、その機能安全とセキュリティを損なう可能性もあります。その結果、ISO、DOD、MISRAなどの関連基準が満たされなくなり、特定の応用分野での認証取得ができなくなる可能性があります。
クローン検出と管理
クローン検出機能は、ソフトウェア内の重複したコードや似たようなコードを検出し、これらを時間の経過にわたり追跡し、一貫した開発をサポートします。構造体を使用するため、関数名や変数名が変更されたクローンも検出できます。
メトリクス
行やトークンに基づくメトリクス、ネスティング、サイクロマティック複雑度、制御フロー、あるいはHalsteadなどのソフトウェアメトリクスのルールセットが含まれています。HISのようなルールセット全体もサポートされています。HISのようなルールセット全体もサポートされています。
コーディングガイドライン
静的解析ツールAxivion Suiteのコーディングガイドラインの自動チェックにより、開発中にソースコード内の危険な脆弱性を簡単に特定できます。統合されたデルタ解析により、ソースコードに新たに出現したリスクに対して効果的な対応が可能になります。
欠陥解析
欠陥分析では、ソースコードに潜在的なランタイムエラーがないかチェックします。スケーラブルなデータフローと制御フローのチェックが含まれます。これにより、配列の範囲外アクセスやゼロ除算などのエラーを、ソフトウェア開発の初期段階で検出できます。
デッドコード解析
実行されないコードにも注意が必要です。デッドコードや到達不可能なコードは、理解、やテスト、保守性を複雑にします。直接的なフィードバックを通じて、予防的なバグ修正や閾値の低いリファクタリングが最適化されます。
循環依存検知
この解析では、さまざまなレベルにおける循環依存関係を特定します。コールサイクル(再帰)だけでなく、コンポーネントサイクルやインクルードサイクルも特定し、監視することができます。
C、C++のセキュリティ脆弱性を防ぐための
静的アプリケーションセキュリティテスト(SAST)
セキュリティ関連ソフトウェアを開発する際に、静的アプリケーションセキュリティテスト(SAST)は重要な要素です。Axivion Static Code Analysisは、SASTツールを探している場合に理想的な選択肢です。これにより、セキュアなコーディングプラクティスが適切に実装され、開発プロセスの初期段階で脆弱性が除去されることが保証されます。
C/C++を使用する開発者だけでなく、セキュリティとコンプライアンスを重視するあらゆる方にとって、このツールは価値があります。ソフトウェアのセキュリティとコンプライアンスの維持が重要な場合、Axivionはソースコードを保護するための優れた選択肢です。
詳細については、お問い合わせください。
ソフトウェアに潜む問題を見つけ出そう
Axivionを使って自社のコードを評価し、ROIを確認しましょう。
隠れた問題を自動的に発見し、コーディングガイドラインや業界標準に準拠する方法を知ることができます。
Schaeffler
Axivion で保証
「ISO 26262認証を取得したAxivion Suiteにより、Schaeffler Automotive Buehlは、ASIL混合システムの高い品質を維持しています」
Schaeffler Automotive Buehl GmbH & Co. KG
Apex.AI
Axivion で保証
「いくつかの静的解析ツールを評価しましたが、Axivion Suiteは明らかに際立っていました。このツールは、AUTOSAR C++14のカバレッジの点で最高の性能を発揮し、その使いやすさ、制御フロー、データフロー解析、レポート生成を通じて我々を納得させました。Axivion Suiteはすでに私たちの開発ワークフローの主力コンポーネントとなり、DevOpsパイプラインの重要な要素となっています」
Dejan Pangercic
Apex.AI のCTOおよび共同設立者
Jungheinrich
Axivion で保証
「技術的な観点から見ると、Axivion Suiteは自動化されたコードとアーキテクチャ検証のための全ての機能で私たちを魅了しました。しかし、開発者の間で高いレベルで受け入れられ、迅速かつ生産性の高い結果を出すことができたのは、Axivionのプロフェッショナルサービスチームによる優れたサポートがあったからです。新しいツール一式を展開し、ワークフローに統合する方法と、関係者のモチベーションを高めるトレーニングのおかげで、このツール一式は完全に成功しました」
Jan Schröder
Jungheinrich Norderstedt AG & Co. KG のソフトウェアアーキテクチャおよびモジュールを担当するチームリーダー
HENSOLDT
Axivion で保証
「Enterprise Architectとの統合は完璧でした。ようやく、集中的な目視検査なしにモデルを施行できるようになりました!」
Heiko Stehli
HENSOLDT Sensors GmbH のソフトウェアアーキテクト