TBrun®

Features & Benefits

テストドライバーとハーネスを自動生成

TBrun は高度なコントロールフロー解析とデータフロー解析技術を活用し、ユニットテスト（単体テスト）対象コードのインターフェイスを完全に解析します。そしてこの情報を基にTBrun によってテストドライバーを自動生成させることができます。自動生成されるドライバーに制約は無くC/C++、Ada 83/95、Java　など対応言語に合わせてホスト環境、実ターゲット環境でコンパイル・実行できます。

例外処理

テスト対象で発生する例外は自動的にキャッチされて、その結果次第でテストのパス・フェイルの判定処理が行われます。このような例外処理の扱いは設定可能です。また例外処理自身も単体テストの対象にすることができます。そして割込みを意図的に発生させてカバレッジを上げるようなことも可能です。

要件トレーサビリティ

要件トレーサビリティを支援する LDRA の TBreq を併用することで、ユニットテスト（単体テスト）の結果をソフトウエアの要求仕様書にトレーサビリティさせることができます。IBM Rational DOORS, MS Word and MS Excel　など様々な形式の要求仕様書に対応しています。またDO-178B スタンダードの Level Aの認証に必要となるオブジェクトコードからのトレーサビリティも、アセンブラコードとそのソースコードとの一貫性の解析を介して行えます。

TBreq によってトレーサビリティマトリクス情報の収集は自動化され、どの担当者によってテストが完了したかという情報や、変更によって再テストが求められる箇所が特定されます。TBrun のテストを TBreq のユーザインターフェイスから開始することで、当該要件に関わるソフトウエアを適切に割り当てることができるようになります。

Stub Creation

関数、コンポーネント、メソッド、コンストラクター、システムコール、パッケージ、ジェネリクスなどのスタブを自動生成することができます（ハンドコーディングも可能）。自動生成されるスタブは、そのままテストハーネスと合わせてビルドして実行することができます。

自動生成されるスタブの戻り値やグローバルパラメータなど振る舞いは、GUIを介して設定することができます。例えばスタブ化される関数がコールされる回数に応じて戻り値を変更させるなど、渡されるパラメータ値が単体テストのパス/フェイル判定に関わる場合など。

Test Case Files / Test Case Management / Storage

TBrun では一連のテストケースをシーケンスとして保管します。そしテストの再実行に必要な全情報を含んだTCFファイル（Test Case File）にエクスポートすることができます。各TCFはリグレッションレポートと合わせてグループ化され、構成管理ツールを介してソースファイルと合わせて管理することなどで、リグレッションの検証に活用されます。

要件ベースのテストドキュメント（特定の値が選択された理由、要件管理システムへマップするためのタグなどを含んだ）も保管されます。ソフトウエア構成管理の注釈とすることで、開発者がチェックイン時にテストできるようにすることができます。TCF はコマンドからバッチ実行や再実行できるので、ソースコードの変更時にモジュールのインターフェイスやアウトプットの検証が行えます。

Structural Coverage Metrics

TBrun はLDRA tool suite でサポートされる全てのカバレッジ解析レベルに対応しています。関数コールカバレッジ、ステートメントカバレッジ、ブランチ/デシジョンカバレッジ、MC/DCカバレッジ、LCSAJ（テストパス）カバレッジなど。

テスト対象に求められる安全性やそれに関わる業界標準などに応じて適切な尺度のセットを選択することができます。例えば MC/DC カバレッジは入力の各コンディションの判定には不可欠であり、LCSAJ カバレッジではループを包括的に評価することができます。これら全てのカバレッジ尺度はグラフィカルに表示可能であり、TBrun のファイルビューからコールグラフやフローグラフを介して表示させることもできます。また DO-178B などのスタンダードへの準拠をpass/fail で評価できるオーバービューもあります。各ステートメント、ブランチ、コンディションごとの実行結果表示もこれらのレポートから表示させられます。

Object Code Verification / Assembly Level Coverage

TBrun はLDRAツールスイートのObject Code Verification機能（オプション）と併用することで、テストケース実行結果をアセンブラレベルでカバレッジ解析することができます。DO-178B などセーフティクリティカルなスタンダードで求められるこの機能は、MC/DC カバレッジ解析を補完し、ソースコードとオブジェクトコードの一致の確認作業を軽減します。複雑な論理条件の徹底的な解析とコンパイラによって生成されるコードの識別が自動化されます。

eXtreme Testing

eXtreme Testing機能はTBrun でユニットテスト（単体テスト）のテストケースを自動生成します。ユニットテストやモジュールテストのテストハーネス生成と相まってテストの自動化が促進されます。

手動のテストで実行されなかった箇所を補完することでカバレッジ率を改善すること、テストケース考察時のテンプレートとして、あるいはレガシーコードで実行できるテストケースを生成させて変更後の確認などに活用できます。

Obtaining Further Information

TBrun についての詳しい情報は、LDRA reply form あるいはinfo@fuji-setsu.co.jp （国内代理店：富士設備）までお問合せください。