Axivion Suite:
静的コード解析とアーキテクチャ検証

Axivion静的コード解析は、ソフトウェアプロジェクトにスタイルやコーディングの違反がないかをチェックします。 クローン、デッドコード、ゼロ除算などのコードの不具合を初期段階で検出することで、その後の段階でバグの修正に要する時間とコストを削減することができます。

詳細を読む

Axivionアーキテクチャ検証を実施することで、システムの構造を明瞭かつクリーンに維持できます。ソフトウェアアーキテクチャの構造モデルを作成するには、手動で設定するか、UMLモデルやその他の形式のグラフ構造からインポートする方法があります。

詳細を読む

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

詳細を読む

行やトークンに基づくメトリクス、ネスティング、サイクロマティック複雑度、制御フロー、あるいはHalsteadなどのソフトウェアメトリクスのルールセットが含まれています。HISのようなルールセット全体もサポートされています。HISのようなルールセット全体もサポートされています。

詳細を読む

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

詳細を読む

Axivionツール認定キットは、ツールチェーンの分類と認定をサポートします。これは、自動化可能な実行およびと結果評価プロセスを備えた、プレハブ化されたテストスイートで構成されます。

詳細を読む