T-VEC Tool Qualification

提供: T-VEC Wiki
移動: 案内検索

T-VECは、これまでの全ての、FAAやFDAの認証で適用された最新のクォリフィケイションパッケージを提供しています。 T-VECツールは、“検証ツール”に分類されエラーを引き起こすことは有りませんが、エラーの検出に失敗する可能性はあります。このクォリフィケイションスイートは、FAA Software Approval Guidelines, 8110.49, Chapter 9,Qualification of Software Tools Using RTCA/DO-178Bに準拠しています。

T-VECクォリフィケイションパッケージは、“Qualification Plan”(形式的仕様化された要件への検証実施計画)も含みます。一組の機能要件は、T-VEC形式的仕様と、それに関連するテストへとトレースされ、T-VECコンパイラ、テスト生成機能、カバレッジ解析、テストドライバ部品などの検証が行えるようになっています。 加えて、これらコンポーネントが正しい動作を制御する、様々な動作とパラメータでテストすることで確認します。 サポートされているデータタイプ、言語要素、サブシステムの統合に対する包括的なテスト、が検証されていることを裏付ける為の解析が施されています。 出力はマニュアルで検証され、全てのソースの仕様、テスト、テスト結果は、CMシステムで管理されます。 テスト実行結果は、検証結果ファイル(Verification Results)に正式にドキュメント化されます。 Tool Qualification Accomplishment Summary では、ツールのクォリフィケイションプロセスの結果を要約し、ツールのバージョン、利用されている環境を確認し、関連するツールクォリフィケイションデータを記載し、参照できるようにします。

Qualification of TTM

TTMにおいては、その主要な目的であるモデリング機能が、クォリフィケイションの主なる焦点となります。 TTMモデリングに関わる機能、それに統合されたテストベクタ生成、要件ベースのカバレッジ解析、テストドライバ生成、もクォリフィケイションの範囲内です。 テストベクタ、テストドライバ生成に直接関わらない、その他の機能は、クォリフィケイションの範囲外です。(例、モデルのサーチ機能)

TTMのクォリフィケイションに於ける、第一の焦点は、トランスレータが各モデルの構成を正しい形式で提供(変換)しているかの確認です。 TTMモデル変換は、functions, conditions, events, modesテーブルからなるモデルを、テスト仕様モデル(T-VEC形式)に変換します。 TTM言語は、T-VEC形式の仕様言語ほど表現力があるわけでは無いため、TTMモデリング言語、およびそのモデル構成は、T-VECシステムの一部に限られます。

T-VECクォリフィケイションと同様、仕様と、そのテストは、T-VEC仕様言語にマップされる、モデリング言語とデータタイプをカバーします。 これらの構成はT-VECクォリフィケイションで検証されています。 これらの要求に沿ったテストの目的は、各データタイプの各構成が、T-VEC形式に正しく変換されることを証明することです。 各TTMの要件がT-VEC形式に変換され、結果として得られるテストベクタがその要件をカバーすることを確認する為に、要件のトレーサビリティは検証されます。 仕様への基本的なアプローチは、自動結果解析付きで、自動テストをサポートすることです。 結果はマニュアルで検証され、全成果物は構成管理されます。

Qualification of Simulink and Stateflow Translator

SimulinkやStateflowトランスレータのツールクォリフィケイションは、絶えず発展しています。このトランスレータの考え方は、TTMトランスレータと同じです。目的は、SimulinkやStateflowで表される全ての構成が、T-VEC仕様に完全に、そして一貫してトランスレートされることを実現することです。 加えて、SimulinkやStateflow言語の様々なモデル構成に対して、様々なストラクチャル、デシジョンカバレッジを行う為の、様々なトランスレーション機能があります。以下に、クォリフィケイションのテストを行うための、検証事項を要約します:

  • カバレッジオプション付きで行われるプリミティブブロック(モデル部品)へのテスト
  • Stateflowテスト
  • サブシステム統合カバレッジテスト
  • シグナルレンジ伝播テスト
  • インラインテスト
  • テストドライバ生成テスト
  • テストシーケンステスト