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
© Copyright 2024 Paperzz