Axivion Suite:
静的コード解析とアーキテクチャ検証
Qt Groupは、業界をリードする静的コード解析とソフトウェアアーキテクチャ検証ツールを提供するAxivionを統合しました。
Axivion静的コード解析とAxivionアーキテクチャ検証を組み合わせることで、コードの全体的で詳細な解析が可能になります。より詳細な情報をご希望の方、または評価の可能性についてご相談されたい方は、弊社にご連絡ください。
静的コード解析とアーキテクチャ検証ツールAxivion Suiteで
品質を追求し、お客様の期待に応えます。
Axivion Suite - ソフトウェアの品質を保証する包括的ソリューション
Axivion静的コード解析とアーキテクチャ検証を組み合わせることで、お客様から期待される高い基準にソフトウェアコードを確実に適合させるための強力なツールセットが提供されます。Axivion Suiteは、ソフトウェアの劣化(技術的負債とも呼ばれる)を特定するだけでなく、それを未然に防ぐのにも役立ち、将来の保守性と拡張性を確保します。
安全志向の環境でソフトウェアを開発する場合、Axivionツール認定キットは、必要なツール信頼性レベル(TCL)を達成するための追加サポートを提供します。
抽象的解釈とポインタ解析によるスケーラブルな静的コード解析
Axivion Suite – 主要機能
すべての機能を一度に利用したい場合でも、一部の機能から始めたい場合でも、既存の開発環境へのスムーズに統合できます。
お客様の個々のユースケースをどのようにサポートできるかについては、弊社にお問い合わせください。
Axivion 静的コード解析
Axivion静的コード解析は、ソフトウェアプロジェクトにスタイルやコーディングの違反がないかをチェックします。 クローン、デッドコード、ゼロ除算などのコードの不具合を初期段階で検出することで、その後の段階でバグの修正に要する時間とコストを削減することができます。
Axivionアーキテクチャ検証
Axivionアーキテクチャ検証を実施することで、システムの構造を明瞭かつクリーンに維持できます。ソフトウェアアーキテクチャの構造モデルを作成するには、手動で設定するか、UMLモデルやその他の形式のグラフ構造からインポートする方法があります。
コーディングガイドライン
Axivion Suiteのコーディングガイドラインの自動チェックにより、開発中にソースコード内の危険な脆弱性を簡単に特定できます。統合されたデルタ解析により、ソースコードに新たに出現したリスクに対して効果的な対応が可能になります。
メトリクス
行やトークンに基づくメトリクス、ネスティング、サイクロマティック複雑度、制御フロー、あるいはHalsteadなどのソフトウェアメトリクスのルールセットが含まれています。HISのようなルールセット全体もサポートされています。HISのようなルールセット全体もサポートされています。
欠陥解析
欠陥解析では、ソースコードに潜在的なランタイムエラーがないかチェックします。スケーラブルなデータフローと制御フローのチェックが含まれます。これにより、配列の範囲外アクセスやゼロ除算などのエラーを、ソフトウェア開発の初期段階で検出できます。
Axivionツール認定キット
Axivionツール認定キットは、ツールチェーンの分類と認定をサポートします。これは、自動化可能な実行およびと結果評価プロセスを備えた、プレハブ化されたテストスイートで構成されます。
開発環境へのシームレスな統合を実現
Axivion静的コード解析とAxivionアーキテクチャ検証は、既存の開発環境にシームレスに統合します。
ツールは高度にカスタマイズ可能で、個々のニーズに適応します。
Qt Groupのエキスパートは、ロールアウトから完全にサポートします。
CI プロセスの一環として、コードがコミットされる前や、改善のモニタリング、ソフトウェアの劣化を防ぐための、詳細なデルタ解析によるターゲットレビュー
CERT、CWE、その他のセキュリティガイドラインに準拠したコードをチェックし、サイバーセキュリティの確保を支援
リスク軽減によるソフトウェアの機能リリースのオンタイムデリバリー
ロールアウトから効果的なサービスとサポートを提供
PoVワークショップ
静的コード解析とアーキテクチャ検証ツールAxivionのPoVワークショップで、ソフトウェア劣化を防ぎ、健全なソースコードを維持するAxivion Suiteをご紹介します。実際の開発環境でテストし、隠れた問題を発見します。Axivionで時間、コスト、リソースを大幅に節約できることを実証します。
Apex.AI
Axivion で保証
「いくつかの静的コード解析ツールを評価しましたが、Axivion Suiteは明らかに際立っていました。このツールは、AUTOSAR C++14のカバレッジの点で最高の性能を発揮し、その使いやすさ、制御フロー、データフロー解析、レポート生成によって我々を納得させました。Axivion Suiteはすでに私たちの開発ワークフローの主力コンポーネントとなり、DevOpsパイプラインの重要な要素となっています」
Dejan Pangercic氏
Apex.AI のCTOおよび共同設立者
Elektrobit
Axivion で保証
「Axivion Suiteは、EBストリートディレクターに新機能を実装する際に重要なサポートを提供し、長期的にソフトウェアソリューションの品質を保証します」
Jakob Schmidt氏
Elektrobit のソフトウェアアーキテクト
フレゼニウス メディカル ケア
Axivion で保証
「Axivion Suiteのおかげで、ソフトウェアの保守性をコントロールできており、長期的なイノベーション能力を確保しています」
Thomas Stahl氏
Fresenius Medical Care のソフトウェアエンジニアリングのディレクター
HENSOLDT
Axivion で保証
「Axivion Suiteによって、統合の労力と統合リスクを大幅に削減できました」
Daniel Zimmermann氏
HENSOLDT Sensors GmbH のOSSソフトウェア責任者