| LDRA Testbed® による動的解析 |
| |
|
動的解析とは？
動的解析は、ソフトウエアを実行し振舞いを観測する為のテストデータにより、テストのカバレッジレポートを生成することです。このソースコードに対する評価により、テストに対する高い品質、キャプチャ/プレイバック・ツールの正しい使用が確認されます。
LDRA Testbed の動的解析により、高信頼性向けコードの品質基準を達成し、コード効率を改選し、リグレッション・テストにかかるコストを最小にし、ソフトウエアの欠陥を検出することができます。
ソフトウエア開発、メインテナンスで動的解析を行うことで、プログラムは堅牢で信頼性の高いものになります。
その利点?
- 高品質のテストを実現できる
- リグレッションテストにかかる工数・コストを削減
- ソフトウエアの欠陥・異常を検出
- 品質を測定可能にする包括的なテスト結果を生成
- メインテナンスのコストを最小限にできる
- システム/プログラムにとって不必要な箇所を特定し、排除できる
- 安定し、エラーのないコードであることを確かにする
いつ用いるか？
動的解析により、テスト項目を介してアプリケーションの動作を評価します。コントロールフロー、データフローのモデルは、静的解析で得られ、ランタイム時の動作と比較検証されます。結果として、静的解析と動的解析の融合による評価ができることとなります。
高い信頼性を求める場合に、動的解析は特に効果を発揮します。高安全性を求める航空電子機器搭載ソフトウエアでは必須であり、その他、全防衛システム、高信頼性システム開発に広く用いられています。
上記に加えて、金融、通信機器関連でも採用されています。開発プロセスを効率化し、工数を削減できるからであり、顧客の投資対効果に関して、競合上優位な提案ができるようになります。
LDRA ツールスイートによる動的カバレッジ解析?
動的解析の結果は、求められるレベルに準じます。最も多いのは、コントロールフローカバレッジです。LDRAツールスイートでは、あらゆるレベルのカバレッジ解析に対応しています:
次のカバレッジ・レベル:
- Statement Coverage
- Branch/Decision Coverage
- LCSAJ Coverage
- MC/DC Coverage
- Dynamic Data Flow Coverage
|
|
