Skip to main content
Subnavigation

静的解析ツールAxivion


静的解析ツール
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のコーディングガイドラインの自動チェックにより、開発中にソースコード内の危険な脆弱性を簡単に特定できます。統合されたデルタ解析により、ソースコードに新たに出現したリスクに対して効果的な対応が可能になります。

詳細を読む

欠陥解析

欠陥分析では、ソースコードに潜在的なランタイムエラーがないかチェックします。スケーラブルなデータフローと制御フローのチェックが含まれます。これにより、配列の範囲外アクセスやゼロ除算などのエラーを、ソフトウェア開発の初期段階で検出できます。

詳細を読む

デッドコード解析

実行されないコードにも注意が必要です。デッドコードや到達不可能なコードは、理解、やテスト、保守性を複雑にします。直接的なフィードバックを通じて、予防的なバグ修正や閾値の低いリファクタリングが最適化されます。

詳細を読む

循環依存検知

この解析では、さまざまなレベルにおける循環依存関係を特定します。コールサイクル(再帰)だけでなく、コンポーネントサイクルやインクルードサイクルも特定し、監視することができます。

詳細を読む

安全なシステム開発のための認証

Axivion Suiteは、SGS-TÜV Saarによって認定され、各規格に含まれる最高レベルの安全要件に対応した安全システムの開発に適していることを証明されました:ISO 26262 ASIL Dまで、IEC 61508 SIL 4まで、IEC 62304 Class Cまで、EN 50657 SIL 4まで。

さらに高度なソフトウェア品質保証をお求めの場合は、ツールチェーンの分類と認定をサポートするAxivionツール資格認定キットをご利用ください。

詳細を見る

Axivion_TUVcertificate7.5_291x210px

C、C++のセキュリティ脆弱性を防ぐための
静的アプリケーションセキュリティテスト(SAST)

セキュリティ関連ソフトウェアを開発する際に、静的アプリケーションセキュリティテスト(SAST)は重要な要素です。Axivion Static Code Analysisは、SASTツールを探している場合に理想的な選択肢です。これにより、セキュアなコーディングプラクティスが適切に実装され、開発プロセスの初期段階で脆弱性が除去されることが保証されます。

C/C++を使用する開発者だけでなく、セキュリティとコンプライアンスを重視するあらゆる方にとって、このツールは価値があります。ソフトウェアのセキュリティとコンプライアンスの維持が重要な場合、Axivionはソースコードを保護するための優れた選択肢です。

詳細については、お問い合わせください。

ソフトウェアに潜む問題を見つけ出そう

Axivionを使って自社のコードを評価し、ROIを確認しましょう。
隠れた問題を自動的に発見し、コーディングガイドラインや業界標準に準拠する方法を知ることができます。

 

PoVワークショップの詳細

 

さまざまな業界からの
静的解析ツールAxivion Suiteの成功事例

成功事例については、QAリソースセンターをご覧ください。

 

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 のソフトウェアアーキテクト

 


成功事例を読む

Axivion 無料デモ

お問い合わせ

Axivion Suite
機能と基本仕様

資料をダウンロードする

Axivionアーキテクチャ検証によるコード品質の向上

詳細を読む

業界特化型の解決策

詳細を読む