VectorCAST

VectorCAST
ホストまたは
リアルタイム組込み環境で作動
VectorCAST/Cover™
組込み開発用コードカバレッジ
>
>
>
>
>
>
>
>
>
テスト済み、および未テストの
ソースを特定
命令網羅、分岐網羅、MC/DC
のカバレッジレポートをサポ
ート
テストケースの任意のサブセ
ット全体の集計カバレッジを
表示
コード複雑度メトリクスを包
含
Windows、Unix、Linux
ホストプラットフォームをサ
ポート
開発テスト、結合テスト、シス
テムテストをサポート
テストケース作成用の基礎パ
ス情報を計算
独立したコンパイラとRTOS
テスト済み、および未テストの
基礎パスを特定
C/C++およびAda言語対応
<VectorCAST/Cover
とは>
により、テスト実行中にアプリケーションのどの領域が使用されているかを識別し、
テスト工数の有効性を測ることができます。VectorCAST/Coverはシステムテストの完全性を分析するための
便利な方法を提供し、未テストのコードを含むアプリケーションがリリースされないよう確認します。
VectorCAST/Coverはアプリケーションの一部、または全体を同時に分析することが可能です。分析される
各ファイルについて、VectorCAST/Cover は以下の情報を含むマルチタブのソースビューアウィジェットを
作成します:
VectorCAST/Cover
>
>
>
>
カバレッジサマリーは、ソースコードが色分け表示されたビューを提供し、完全または部分的に
カバー済みのコード、もしくは未カバーのコードを識別します
メトリクスサマリーは、各サブプログラムについて、コード複雑度と現在達成されたソースコードカバレ
ッジの表形式リストを提供します
基礎パス解析は、各サブプログラムについて、すべての制御パスを示します
変更条件/判定カバレッジ(MC/DC)は、航空用ソフトウェアの標準RTCA DO-178BのレベルAに準拠してい
ます
カバー済みと未カバーのパスのソースベース表示
VectorCAST/Coverの機能
コード複雑度>
コマンドラインインターフェース>
<
<
VectorCAST/Cover
VectorCAST/Cover
はサイクロマティック複雑
度をサポートします。この複雑度メトリクスは、
テストやメンテナンスの問題を起こす可能性
のあるサブプログラムを特定するため、プログ
ラミングとマネジメントのガイドラインとし
て使用されます。複雑度を低くすることで、サ
ブプログラムの実行に必要とされるテストケ
ースは少なくなります。
基礎パス解析>
<
基礎パス解析ツールは各サブプログラムを介
してテストパスの数を識別します。基礎パスの
数はコード複雑度を反映し、それは同様にサブ
プログラムを完全に使用するために実行が必
要なテストケースの数に相当します。
は全機能のスクリプトを可
能にするコマンドラインユーティリティを提
供します。
分析>
分析によれば、各サブ条件は独立して全
体条件の結果に影響する可能性があります。こ
れを証明するため、各サブ条件の値と同様に条
件の結果値を取り込むことが必要です。
VectorCAST/Coverはこの情報を、注釈付きソー
スリストと各ブール条件についての等価ペア
行列、という2 つの形式で取り込みます。
MC/DC
その他のVectorCASTツール>
<
はソフトウェアテストをサ
ポートする
製品ファミリーの各種
ツールの1つです。
そして
は、スタブとドライバ生成、
テストケース生成、テスト実行、コードカバレ
ッジを含む完全な単体および結合テスト機能
を提供します
VectorCAST/Cover
VectorCAST
VectorCAST/Ada
VectorCAST/C++
>
>
>
静的解析>
<
サイクロマティック複雑度や基礎パス解析へ
のサポートの提供に加えて、VectorCAST/Cover
は市場をリードするソースコード静的解析テ
クノロジーを処理します。これらのツールは事
前定義されたコーディング標準(MISRA C/C++
など)に準拠するためソースを分析し、C/C++ソ
ースコードのバグ、不整合、移植性のない構造
を確認します。
組込みターゲットサポート>
>
>
>
>
<
は各種の組込みターゲット
アーキテクチャ上のテストをサポートします。
ご使用中のシステムが業界標準の
INTEGRITY®かVxWorks®、カスタムカーネル、
あるいはベアボードであるかにかかわらず、
VectorCAST/Coverは組込みターゲット用コー
ドカバレッジのソリューションです。
VectorCAST/Cover
<MC/DC
製品特長:
>
使いやすいGUI
コマンドラインによりスクリプトから
回帰テストを実行可能
重複するテストケースや
未テストのコードを特定
DO-178Bフライトソフトウェア用
構造テストをサポート
基礎パス解析レポートがテストケース
生成やパスカバレッジの青写真を用意
カバレッジインストルメンテーション
がサイズや速度に応じて最適化
カバレッジデータはメモリにバッファ
またはリアルタイムでダンプ可能
同じ実行ファイル内で言語の異なるソ
ースファイル上のカバレッジをサポー
ト
カバレッジレポート>
<
が生成するレポート結果は
統合コードカバレッジブラウザーで表示でき、
プロジェクトドキュメンテーションに加える
ためファイルに抽出が可能です。レポート情報
には、カバー済みコード、基礎パス解析、そし
てコード複雑度メトリクスが含まれます。
VectorCAST/Cover
MC/DC分析がDO-178BレベルAに
必要な等価ペア行列を提供
カバレッジデータはシステム要件ベーステス
ト実行中にVectorCAST/Coverが生成し、
VectorCAST/C++ およびVectorCAST/Adaと共
有されます。この共有により、システム、単体、
結合テストの組み合わせでカバレッジ100%が
達成できます。
メトリクスレポートは
プロジェクト、ファイル、サブプログラムにより
要約されたコードカバレッジデータを表示
カバレッジブラウザーはテスト済みまたは
未テストのコードのグラフィカルソースコードビューを提供
www.vectorcast.com
© Vector Software. All rights reserved.
Corporate Headquarters
1351 South County Trail
Suite 310, East Greenwich
RI 02818 USA
t: 401.398.7185
f: 401.398.7186
e: info@vectorcast.com
Asia Headquarters
10F-3, No. 508, Sec. 5
Zhongxiao E. Rd., Xinyi Dist.
Taipei 11083, Taiwan
t: 886.2.7718.2788
f: 886.2.7718.2789
e: info-apac@vectorcast.com