VectorCASTによるソフトウェアテストの自動化

テスト比較レポート

2019で導入されたテスト比較レポート機能では、サブプログラム内で選択したテストケースのテストケースデータを比較できます。

 

テスト比較レポートはフィルター可能な表形式で表示され、複数のテストのデータを比較することにより、テストケースの相違を確認できます。VectorCASTではすべてのテストケースデータをCSV形式でエクスポートできます。以下の動画でこの機能のデモをご覧いただけます。

Knowledgebaseの記事を読む

QA実行メニューの改良

VectorCAST 2019 SP2では、[実行]－[対話式] のQAコンテキストメニューが改良されています。このメニューでは、未実行のテストや、合格／不合格だったテストを選択できます。テスト名に基づいてテストケースをフィルターすることも可能です。

テストを選択せずに [実行] ボタンを押すと、現在のビューに表示されているすべてのテストが実行されます。特定のテストをクリックして選択し、[実行] ボタンを押すと、選択されたテストのみが実行されます。

Knowledgebaseの記事を読む

1つのビューアーにカバレッジとプローブポイントを集約

VectorCAST 2019 SP2では、プローブポイントエディターがカバレッジビューアーに統合されました。

 

プローブポイントエディターは複数の方法で開くことができます。

1. 従来と同様にユニットを右クリックし、プローブポイントエディターを選択します
2. 従来と同様にユニットを選択し、ツールバー上のプローブポイントアイコンをクリックします
3. VectorCAST 2019 SP2では新しい操作が追加されました。カバレッジビューアーを開いた後、そのカバレッジビューアーのタブにあるプローブポイントを表す大きい緑色のドットのアイコンをクリックし、カバレッジビューアー内でプローブポイントエディターを開きます。

Knowledgebaseの記事を読む

関数末尾へのプローブポイントの挿入

VectorCAST 2019 SP2では、関数の末尾、すなわちexitポイントの直前にプローブポイントを挿入できるようになりました。具体的には、関数の戻り値がvoid であれば、プローブポイントは実行が終わった後に実行されます。return コールが複数ある関数であれば、プローブポイントはreturn コールの前、つまりreturn関数で何らかの関数が呼び出される前に実行されます。関数末尾のプローブポイントは、QA環境でVCAST_DUMP_COVERAGE_DATA() を呼び出す場合などに便利です。

Knowledgebaseの記事を読む

VectorCAST 2019 SP1で、関数および関数コールがネイティブのカバレッジタイプに

ISO 26262では、関数および関数コールのカバレッジを示すことがASIL C/Dレベルの要求の1つとなっています。SP1では、VectorCASTに2つのカバレッジタイプ、すなわちFUNCTIONとFUNCTION+FUNCTION_CALLカバレッジが追加され、関数および関数コールカバレッジ機能が拡張、更新されました。また、この更新に伴ってこれらのカバレッジタイプのカバレッジを表示するようにカバレッジビューアーが拡張されました。この更新によって計測用コードの追加に要する時間が短縮し、計測用コードが必要とするメモリーフットプリントのサイズも減少します。

 

さらに読みやすくなった新しいレポート形式

VectorCAST 2019では、VectorCAST HTMLレポートの外観が一新されました。

新しいレポートでは書式の設定にカスケーディングスタイルシート（.css）が使用されています。ユーザーは独自のスタイルシートを作成し、色やフォントをカスタマイズできます。

対象となるレポート:

• テストケースデータレポート
• 実行結果レポートとテストケースエディターの実行レポートタブ
• 詳細レポート
• MC/DC等価マトリクスレポート
• 集計カバレッジレポート
• テストケース管理レポートおよびシステムテスト環境の管理レポート
• メトリクスレポート
• 解析によるカバレッジ（CBA）レポート
• 関数コールカバレッジレポート
• 環境概要レポート

• 環境ビルドログ

テスト専用のシンボリック定数を追加できる新しい「テスト値」辞書

VectorCAST 2019には新しくテスト専用のシンボリック定数を扱う機能が実装されました。これにより定数をソースファイルで直接定義するのではなく、可搬性のあるファイル（.xml）に格納して使用することが可能です。この機能によってハードコーディングされたスカラー値を、テストとは別に制御できるシンボルに置き換えられるため、テストケースの移植が容易になります。

この機能の利点:

• テストの可読性の向上。ハードコーディングされた「200」などの値を、「maximumSpeed」のようなシンボル名に置き換えることで、テストが理解しやすくなります
• テストの保守作業の軽減。シンボル名を使用することで、値が使用されるテストをそれぞれ修正するのではなく、シンボルの値を変更するだけで一括で簡単に値を変更できます

• バリアントテストの運用性向上。シンボル名は各テストのコンテキストに合わせて異なる値に変換できます。たとえばあるお客様のコンフィギュレーションと他のお客様のコンフィギュレーションとで、「maximumSpeed」に別の値を指定できます

制御フローとコードカバレッジをグラフィカルに視覚化して表示する制御フローグラフ

VectorCAST 2019では新たに制御フローとコードカバレッジをグラフィカルに視覚化して表示する機能が追加されました。

 

• 2019-11-26 VectorCAST: Coverage Analysis as the Most Important Metric for...
• 2019-11-26 VectorCAST: l'analisi della copertura come metrica più importante...
• 2019-11-21 VectorCAST: Myths and Truth About Test-Driven Software...
• 2019-10-29 VectorCAST: How to Avoid Safety Defects and Security...
• 2019-10-29 VectorCAST: Wie man Safety-Probleme und Security-Lücken in...
• 2019-10-24 VectorCAST: Software Testing 101 Testing Fundamentals for High...
• 2019-08-22 VectorCAST: Automating Data and Control Coupling
• 2019-07-16 Die Zertifizierung von reinen Softwareprodukten der Funktionalen...
• 2019-07-09 Meeting the Challenges of Large and Complex Multi-Language...
• 2019-06-20 VectorCAST: Using VectorCAST for ISO 26262-6:2018 Testing...

C/C++の場合、VectorCASTで使用するコンパイラーはユーザー環境に合わせて設定が可能です。使用したいコンパイラーが対応するC/C++コンパイラーの一覧に含まれていなくても、お使いのコンパイラのコンパイルおよびリンクコマンドを設定するだけで使用できるようになります。

VectorCAST/Adaが生成したすべてのテストハーネスコンポーネントは、お使いのコンパイラーを使用して自動的にコンパイル、リンクされます。コンパイラーに対応したデバッガーへのインターフェイスが用意されるため、デバッガーの制御下でテストケースを実行できます。追加の設定は必要ありません。

IBM® Rational® ClearCase®

IBM Rational ClearCaseは、高度なバージョン管理、ワークスペース管理、並行開発サポートによるグローバル開発サポートを備え、ビルド監査機能を提供して生産性を向上する、トータルなソフトウェア構成管理（SCM）を実現します。

Polarion®

Polarion Softwareは、製品ライフサイクルを通して完全なトレーサビリティーと透明性を提供する、要求管理、テスト管理、品質保証（QA）、ALMのためのWebベースソリューションを開発および販売しています。Polarionのソリューションは製品開発の効率を高めるとともに、リスクの特定と緩和、品質の向上、コンプライアンスと品質基準の達成をサポートします。

PTC®

PTC Integrityはアプリケーションライフサイクル管理（ALM）ソフトウェアです。チームはこのソフトウェアを通じ、製品とシステムの要求の管理、閉ループでの製品の妥当性確認、グローバルなソフトウェア開発を加速することができます。PTC Integrityにより、今日の製品やアプリケーションの開発に伴う複雑さを解消することができます。

Jama Software®

Jama Softwareを使用することで、QAのプロフェッショナルはテストケースを要求にリンクし、テスト計画を実行し、関連する欠陥を記録することにより、テストカバレッジの確保と品質の向上を図ることができます。Jama Test Managementはその要求管理およびコラボレーション機能と緊密に統合されており、製品プランニングを行うビジネスアナリストやプロダクトマネージャーと、品質保証を行うテスターやエンジニアとの間のシームレスな対話を可能にします。

Intland Software

codeBeamer ALMは、1つに統合された、コラボレーションによるアプリケーションライフサイクル管理プラットフォームです。ライフサイクルに即した多彩な機能セットが要求からテストそしてリリースに至る全工程で緊密に統合され、すべてのチームとプロセスの効率的な連携と統合を可能にします。codeBeamer ALMは俊敏性、柔軟性、拡張性に富むスケーラブルなツールであるため、ウォーターフォール、アジャイル、スケールドアジャイルなどのどの手法を使用している場合でも、あらゆる開発プロセスとツールチェーンに簡単に適合させることができます。円滑なロールアウトが完了すれば、その後はcodeBeamer ALMですべての開発プロセスを合理化し、より優れた製品を、より速く構築できるようになります。

IBM Rational® Rhapsody®

IBM Rational Rhapsodyは、リアルタイム／組込システムおよびソフトウェアを作成するシステムエンジニアやソフトウェア開発者のための、コラボレーションに対応した設計および開発環境です。Rational Rhapsodyを通じて、多様なチームの共同作業による要求の理解と分析、UML、SysML、AUTOSAR、DoDAF、MODAF、UPDMといった業界標準言語の視覚的な使用による複雑さの軽減、開発ライフサイクル初期段階での機能の妥当性確認、革新的で高品質の製品の提供の自動化が可能になります。

MathWorks Simulink®

Simulinkは、マルチドメインのシミュレーションとモデルベース設計のためのブロックダイアグラム環境です。これは組込システムのシステムレベルの設計、シミュレーション、自動コード生成、継続的なテストと検証をサポートします。Simulinkには動的システムをモデル化するためのグラフィカルエディター、カスタマイズ可能なブロックライブラリー、シミュレーションのためのソルバーが用意されています。

Atego Artisan Studio™

モデリングツールのArtisan Studioは、OMG UMLとSysMLを、1つに統合されたツールセットで完全にサポートします。システムエンジニアやソフトウェアエンジニアは、このツールを使って整合性のある高品質のモデルを作成して、要求、設計の決定事項、代替案などを、メンバーの場所を問わず、チーム全体に伝えることができます。

Esterel SCADE®

Esterel SCADEは、システムエンジニアやソフトウェアエンジニアが、高い信頼性が求められるクリティカルなシステムとソフトウェアアプリケーションを、グラフィカルに設計、検証し、自動的に生成することのできるソフトウェア開発ソリューションです。Esterel TechnologiesのSCADE製品ソリューションは簡単に統合でき、開発の最適化やチームのメンバー間のコミュニケーションの向上に有効です。

IBM Rational Team Concert®

IBM Rational Team Concertは、アジャイル、フォーマル、ハイブリッド型のすべてのプランニングとレポート作成を共通のプラットフォームで実行できる、オールインワンのチーム向けアジャイル開発環境で、よりよいソフトウェアと製品を構築できるよう企業を支援します。Rational Team Concertはコラボレーションに対応した変更管理機能を備えています。これらの機能は個別に利用可能で、一般的なソース管理システムと統合することができます。Rational Team Concertによって、チームは協力してよりスピーディーにソフトウェアをリリースすることができます。

Polarion® REQUIREMENTS™

Polarion REQUIREMENTSは、要求管理とテスト管理の両方をWebベースの1つのプラットフォームに盛り込んだ、一元的なコラボレーションソリューションです。フォレンジックレベルのアーティファクトリンクと、完全に自動化された履歴生成により、トレーサビリティー、アカウンタビリティー、透明性、そして法規制や標準規格へのより簡単な準拠を保証します。

IBM® Rational® DOORS®

IBM Rational DOORSは、複雑なシステムや組込システムの開発のニーズに合わせて最適化された要求管理ソフトウェアです。Rational DOORSによって、要求の変更を収集、追跡、解析、管理し、法規制や標準規格への準拠を実証することができます。

IBM® Rational® RequisitePro®

IBM Rational RequisiteProは要求管理ツールです。Rational RequisiteProは、プロジェクトチームによる要求管理、優れたユースケースの作成、トレーサビリティーの向上、コラボレーションの強化、プロジェクト手戻りの削減、品質の向上を支援します。

Dassault Systèmes® Reqtify®

Reqtifyは、ハードウェアやソフトウェアの開発ライフサイクル全体を通して、要求管理、トレーサビリティー、影響解析を可能にする、使いやすいインタラクティブなツールです。Reqtifyツールは複数のソースから幅広いデータおよびファイル形式を取り込むことができます。

PTC®

PTC Integrityは、カスタマイズ可能なトレース機能により、信頼できる唯一の情報源を提供します。これによって開発プロセス全体を通してすべての利害関係者が要求の変更を常に把握できるようになり、エンジニアリングの各部門と役割の間のコラボレーションが促されます。開発者やその他の利害関係者は、たとえ製品ラインをまたぐ変更であっても、変更の影響を実装前に手軽に評価し、それに対応して、俊敏性を高め、製品品質を向上し、製品リリース遅延のリスクを軽減できます。

Jama Software®

Jama Softwareは、要求管理とエンドツーエンドの製品リリースのための堅牢なソリューションを提供します。コラボレーションに対応した一元的な要求管理のハブとしてJamaツールを使用すれば、製品担当チームはすべての要求を1か所で収集、検討、管理でき、エンドツーエンドのトレーサビリティーと影響解析を通じてあらゆる要素を結び付けていくことができます。

Intland Software codeBeamer

codeBeamer ALMは、開発ライフサイクル全体で堅牢な機能を提供する、コラボレーションに対応した要求管理／ALMツールです。開発プロセス全体を通して要求を定義および管理し、そのカバレッジをトレースできます。ウォーターフォール、アジャイル、スケールドアジャイルなど、codeBeamerは使用する手法を問わず、トレーサビリティー、コラボレーション、コードカバレッジ、テストカバレッジをエンドツーエンドで、途切れることなく提供します。どのようなツール環境にも簡単に統合できるcodeBeamerは、開発プロセスを整合し合理化できる、円滑でスピーディーな、拡張性の高いコラボレーションプラットフォームです。

Jenkins®

Jenkinsは、ソフトウェアプロジェクトのビルドやcronによるジョブの起動といった、反復して行われるジョブの実行をモニタリングする、数々の受賞歴を持つアプリケーションです。現在のJenkinsは特に、以下の2つのジョブに焦点を合わせています。

• CruiseControlやDamageControlのような、ソフトウェアプロジェクトの継続的なビルド／テスト。すなわち、Jenkinsは使いやすい「継続インテグレーションシステム」を提供し、開発者がプロジェクトへの変更を簡単に統合できるようにしたり、ユーザーが新しいビルドをより簡単に入手できるようにしたりします。自動化された継続的なビルドによって生産性を向上させます

• リモートマシン上で動作するものも含めた、cronジョブやprocmailジョブなどの外部的に起動されるジョブの実行のモニタリング。たとえばcronの場合、ユーザーが受け取るのは出力を収集した定期的なメールのみです。異常を検出できるかは、ユーザーがそれをこまめにチェックするかどうかにかかっています。Jenkinsはそれらの出力を保存し、ユーザーがより簡単に異常を発見できるようにします

Wind River® Simics®

Simicsは、ソフトウェア開発プロセスをより速い、より効率的なものへと変え、それによって企業の生産性向上を支援する、フルシステムシミュレーターです。VectorCASTと組み合わせて使用することにより、開発者は数日ではなく数分でテストを完了できる、大規模並列テスト用のインフラストラクチャーを構築できます。VectorCASTとSimicsによって、各開発者がソースの個別の変更について簡単にテストを実行できるようになり、高品質なハードウェアとソフトウェアアプリケーションを展開するためのシームレスなソリューションが実現します。

VectorCASTとSimicsの統合はJenkinsなどの継続的インテグレーションサーバー上で行われ、そこで複数のSimicsターゲットに対するテストのディスパッチが制御されます。Simicsを使用したこのような統合型アプローチを採用することにより、チームはテストの複雑化やハードウェアの制限から生じるさまざまなテストの課題をクリアできます。テストのための一元的な制御が可能となり、エンジニアはデバイス全体をすばやく簡単にテストできます。この統合型のツールチェーンは、ライフサイクルの長い、複雑な、あるいは安全を最重視するアプリケーションを扱うエンジニアにとって、特に貴重なものといえます。

Bamboo®

コードから顧客に至るまで、JIRAの課題をデリバリーするBambooは、単にビルドとテストを実行するに留まりません。Bambooが課題、コミット、テスト結果、デプロイメントを結び付けるすることで、プロジェクトマネージャーから開発者とテスター、システム管理者に至る製品担当チームの全員が全容を把握できるようになります。

Gimpel Software PC-lint™

VectorCAST/Lintは、VectorCASTにGimpel Softwareを統合した製品です。Gimpel Softwareが提供している高機能なPC-LintおよびFlexeLintの解析エンジンを利用し、VectorCASTの動的テストの製品シリーズに現在統合されている、広範な組込コンパイラーに対応するよう拡張しています。

Coverity SAVE®

Coverity Static Analysis Verification Engine (Coverity SAVE) は、見つけにくく、しかもクラッシュを招く恐れのある欠陥をソフトウェア開発ライフサイクルの早い段階で開発者が発見できるようにし、ソフトウェアのエラーに伴うコスト、時間、リスクの削減を支援します。Coverity SAVE静的解析ツールは、他の手段ではなかなか見つけられない、コード内の欠陥を探し出します

MathWorks Polyspace®

Polyspaceは、ソフトウェアにオーバーフロー、ゼロ除算、配列の範囲外アクセス、その他のランタイムエラーの恐れがないことを証明できる、形式的な手法に基づくコード静的解析ツールです。PolyspaceはTÜV SÜDで認証済みであるため、安全関連やミッションクリティカルなC/C++およびAdaのコードで、DO-178、IEC 61508、ISO 26262などの標準規格の認証を受ける際に使用できます。

Programming Research QA·C++

QA•C++およびQA•Cは、先進的なデータフローソルバーエンジン、コーディング規格の準拠、メトリックの解析／表示を通じて、C (QA•C) とC++ (QA•C++) の各言語に対し、高度な静的解析と洗練されたバグ検出を行います。TÜV SÜDはQA•CとQA•C++を、ISO 26262およびIEC 61508に基づいた安全関連開発の「目的に適合」するツールとして認証しています。

Klocwork® Insight™

Klocwork Insightは、C、C++、Java、C#コードの品質やセキュリティーの問題を特定するための、コードの静的解析ツールです。Klocwork Insightは、オンザフライ解析、ドラッグ＆ドロップのレポート作成、プロジェクト間の影響解析を組み合わせ、より安全で信頼できるソフトウェアを作成できるよう開発者を支援します。この製品には開発者向けの多数のデスクトッププラグイン、アーキテクチャー解析ツール、メトリックおよびレポート作成機能が含まれています。