概要
高い信頼性が要求されるソフトウエアに対するテストは、認証機関に対して安全性を証明する為にソースコードに対する多大な解析と、相当量のカバレッジを達成することが求められています。LDRAツールのオプションTBsafe は、これらの追加テストに対応します。
TBsafeは、高信頼性システムのソフトウエア開発者、テスト担当者、管理者が、DO-178B、Defstan 00-55やIEC 61508 など厳しい標準規格を満たす為に、一連のテスト・解析機能を提供します。
TBsafeの機能
インフォメーションフロー解析
これは強力な文書化機能であり、また優れた欠陥解析ツールです。ただし欠陥を抽出するには依存性がどうあるべきかを理解している必要があるでしょう。 ちなみに、これらの依存性がメンテナンスにより変更されると、不正な変更としてハイライトされます。 詳細情報は、ここをクリックしてください click here.
厳密なセマンティック解析
動解析と連動して使用された時、アサーションは、極めて広範なセットのパスでチェックされます。また、診断機能にも利用されます。詳細情報は、ここをクリックしてください click here.
MC/DCカバレッジ
DO-178BレベルA認証に必要なこの特別なカバレッジは、コンディションごとでテストされることにより検出される欠陥などに対しての、卓越した信頼性の尺度を意味します。詳細情報は、ここをクリックしてください click here.
安全性への規約
高信頼性システムに対して、プログラミング言語の標準的な用法は危険性を伴う為（ターゲットの固定メモリに対する動的メモリアロケーションなど） 、LDRA Testbedは、禁止された用法を警告する機能を持っています。コーディング規約チェックの詳細な情報は、ここをクリックしてください click here.
ダイナミックデータフローカバレッジ
ダイナミックデータフローカバレッジは、ソースファイルまたはシステムで利用される変数とそのタイプを相互参照できる表（クロスリファレンス）を生成します。そして、カバレッジ情報をテーブル内の各変数に統合し、累積、および最新の動作によるデータの結果を表示します。詳細は、ここをクリックしてください click here.
詳細情報
TBsafeとその対応の詳細に関しては、お問合せ下さい。 info@fuji-setsu.co.jp .
|
