コード静的解析にて、ドメイン特有のコーディング規則のチェックを自動化するツールで、静的解析時間を短縮し、不具合修正を容易にします。

コード静的解析におけるコーディング規則の検査

  • ドメイン特有のコーディング規則の自動検査
  • 実行時エラーの検出

簡単で迅速な不具合の識別、修正、管理

  • 不具合の位置を特定し、設計変更を行います
  • 不具合フィルターを通じて、迅速な検索と修正のためのガイダンスを提供します
  • 不具合進捗の追跡管理

競合と差別化できる要因

  • パフォーマンス
    • コード静的解析作業に対して、分散コンピューティングを利用した高速解析
  • マネジメント
    • 全体的なプロジェクトの動向と進捗をご提供
  • 利便性
    • ユーザーの推奨に基づく変更ガイドをご提供
  • カスタムズ
    • コード静的解析のクライアント向けのカスタムルール開発(別途相談が必要)

製品の強み

  • 国際認証
    • SGS TÜV認証済
    • CWE互換性を保証
    • ツール認定をご提供
  • 使い易さ
    • ウェブベースのUI
    • 使いやすい解析リクエストユーティリティを提供
    • 継続的インテグレーションとの統

想定される導入メリット

  • 静的解析時間の短縮可能
  • 容易に不具合の解決可能
  • 便利にプロセスの管理

01. 検出可能な不具合の種類(ランタイムエラー)

  • 算数エラー
    • 複雑な算術演算
    • ユーザーの知らないうちに動的に変化する型に対する不正な操作
  • メモリエラー
    • 不適切なメモリアクセス
    • メモリリーク、NULL参照
    • 不正なメモリ解放
  • 配列境界エラー
    • セキュリティ脆弱性に関連するエラー
    • バッファオーバーフロー
    • バッファアンダーフロー

02. 幅広い分野でコーディングルールチェック対応

  • Automotive(自動車)
    • MISRA (C, C++) ISO 26262/ES 95489-23:自動車組込みシステムにおける国際標準コーディングルール
    • AUTOSAR C++14:自動車サイバーセキュリティルール
  • Security(セキュリティ
    • CWE 658(C) / 659(C++) / 660(Java)
    • CERTセキュアコーディングスタンダード
    • 政府のセキュアコーディングガイドライン
    • Aerospace(航空)
      • DO-178CJSF:航空分野のFAA組込みシステムにおける国際標準コーディングルール
    • Electrical/Electronics(電気・電子)
      • IEC 61508:電気/電子システムソフトウェアにおける国際標準ガイドライン
    • Medical(医療)
      • IEC 62304:医療機器ソフトウェア – ソフトウェアライフサイクルプロセス

03. プロジェクトマネージャーや実務者の集中力を向上させる

  • プロジェクトマネージャーや実務者向けに重点領域を明確にした概要
    • マネージャーエリア(プロジェクト概要)
    • 実務者エリア(欠陥)

04. 簡単かつ迅速な欠陥の解決と管理

  • 欠陥箇所の特定および責任者の割り当て/ステータス変更
  • 欠陥解決のためのガイドの提供
  • 欠陥フィルターを使用した迅速な検索
  • 欠陥進捗の追跡による管理

05. プロジェクトマネージャー向けダッシュボード

  • プロジェクト全体の進捗の可視化

06. プロジェクトマネージャー向けのオーバービュー

  • プロジェクトレベルでの情報提供
    • プロジェクトの欠陥トレンド情報
    • 分析結果のサマリー情報

07. プロジェクトマネージャー向けの目標設定機能

  • 関心のある指標に基づいてプロジェクトの目標を設定
  • バーンダウンチャートを使用して達成状況を監視

08. 欠陥ライフサイクルと履歴

  • 欠陥ライフサイクルを使用してステータスを管理
  • 欠陥履歴を使用して進捗を管理

09. さまざまな欠陥フィルターと検証

  • 欠陥フィルターを使用して関心のある
  • 欠陥を簡単に検索する欠陥ステータス、担当者、ルール、機能など、さまざまな組み合わせで検索する
  • 欠陥を特定し、担当者やステータスを変更する
  • ソースコード内の違反を特定する
  • 欠陥の原因追跡のための追加情報を提供する
  • 欠陥の信頼性評価を提供する

10. 修正参照 & 修正アシスタント

  • ユーザー推奨システムによる修正履歴の推奨
  • ユーザーが簡単に欠陥を修正できるようガイドする
  • AIによる欠陥修正ガイド(修正アシスタント)

11. レガシーコード分析機能を除外する

  • 特定の時点以降に発生した欠陥のみを管理するためのベースラインを設定する

12. 品質指標を提供する

  • さまざまな単位(モジュール、ファイル、クラス、関数)に拘る包括的なソフトウェア品質指標セット(約30種類)をご提供
  • 指標違反の設定およびアラート機能

13. 幅広いテストツールとの相互運用性

  • 自社ツールであるVPESおよびV-SPICEとの統合を、自動静的テスト環境の設定時に可能にする
  • 継続的インテグレーションシステム(Jenkinsなど)との互換性ある
項目詳細
対応プログラム言語C/C++, Java, C#
オペレーティングシステムClient : Windows 10 or higher, Ubuntu OS (Inquiries for additional Linux environments)
Server(Was)/Agent(APU) : Windows 10 or higher
対応コンパイラARM Series
Freescale Series
Green Hills Series
Keil Series
Renesas Series
Supports over 100 other platforms
Capable of supporting new toolchains within two weeks
CategoryCPURAMHDD
Server
(Was)
8 Core 3.0GHz or higher 64bit16 GB or moreApproximately
1TB of free space needed
Agent(APU)8 Core 3.0GHz or higher 64bit32 GB or moreApproximately
1TB of free space needed
コード静的解析

プロジェクト全体の進捗の可視化

コード静的解析

修正参照 & 修正アシスタント

コード静的解析
バグ検出ツール

外部製品紹介リンク