カバレッジ測定ツール Testwell CTC++ RAM 消費量はごくわずか。メモリリソースの少ない組込み環境でもカバレッジの測定を実現

Testwell CTC++ は、組込みシステム向けのカバレッジ計測ツールです。

組込みシステムのターゲット環境では、メモリリソースの不足が原因でカバレッジの測定が難しいことが少なくありません。カバレッジを測定するために必要なインスツルメント(ソースコードに付加するプログラム)およびRAM消費量が非常に小さい Testwell CTC++ を使用することで、メモリリソースの少ない組込みターゲット環境でもカバレッジの測定が可能になります。

RAM 消費量例
関数カバレッジ1 Bit
ブランチカバレッジ4 Bit
条件カバレッジ7 Bit

※多くの組込み用クロスコンパイラに対応済みです。
未対応のサポートコンパイラでも、短期間で対応可能です。

主な特長

  • 計測可能なカバレッジ
    • ステートメントカバレッジ
    • 関数カバレッジ
    • ディシジョン/ブランチカバレッジ
    • コンディションカバレッジ
    • Modified Condition/Decision Coverage (MC/DC)
    • Multicondition Coverage (MCC)
  • ドライバ、スタブ不要
    • カバレッジ計測を行うためにドライバ、スタブを作成する必要はありません
  • 各関数の実行時間測定(プロファイラ機能)
    • 関数の実行時間を測定することで、処理のボトルネックになる個所の発見が可能
  • HTML 形式、テキスト形式の結果レポート
    • わかりやすい HTML 形式、テキスト形式の結果レポート出力
    • カバレッジ率(テスト実行率)、未実行個所の表示

レポート例

  • ツール連携
    • ユビキタスAI - GSIL
    • ダッソーシステムズ社 CATIA - AUTOSAR Builder
    • Synopsys社 TestWeaver
    • dSpace SystemDesk
    • dSpace TargetLink
    • PikeTech TPT
  • 各種開発プロセス向け資格認定用キットの提供
    • ISO26262(自動車機能安全)
    • IEC61508(機能安全基本規格)
    • DO-178C/ED-12C(航空機)
    • EN50128(鉄道)

ターゲット製品 / 対応製品 / 互換性など

対応ホスト環境Windows
Solaris
HP-UX
Linux
AIX
FreeBSD
MacOSX
対応言語C、C++、Java、C#
対応コンパイラGCC / g++
Renesas / HEW
Softune
GreenHills MULTI
Tornado / VxWorks
TI / Code Composer Studio
IAR
Win CE / Embedded Visual C++
Keil
ARM Developer Studio
Cosmic
Freescale/Metrowerks
WindRiver Compiler

※上記のコンパイラ以外にも対応可能です。詳しくは、別途ご相談ください。

技術サポート体制

電話、FAX、E-mail によるサポート、有償トレーニング、コンサルティング。