検証と妥当性確認(Ｖ＆Ｖ: Verification and Validation) -DRIP-
テストハーネス自動生成・テストから未定部の要求確定と値の最適化まで

モデルベース開発

V字右側のプロセスでは、成果物が要求に従っているかどうか、もしくは要求に対するロバスト性をテストします。
テスト仕様は、V字左側の対応する抽象度において書かれた仕様と同一である事が望ましいとされています。
しかし、抽象度の高い文書をそのままの意図通りテスト仕様へ落とす事は容易ではありません。

DRIPは要求の構造化により、プロセス開発における様々なブレークスルーを促します、
ここでは一例として、DRIPが提供する「V字左側に書かれた仕様そのものをテスト仕様として機能させる」機能（S-TALIROを使用する事で要求に対するロバスト性の検証）を紹介しています。

検証と妥当性確認(Ｖ＆Ｖ)

検証に使用するテストハーネスは、DRIPにより自動生成・制御されます。
DRIPからテストの実行操作を行い、テスト結果もDRIPで受け取ります。

マッピングにより実装デザインと要求が繋がる事から、生成されるテストハーネスはテストシナリオの期待結果に対する結果のみではなく、要求に書かれたアサーションに対する結果も得る事が出来ます。

これにより、ツールベースでのＶ＆Ｖ（Verification and Validation:検証と妥当性確認）が容易となります。
詳しくは以下をご覧ください。

実装したモデルをインポート

DRIPは作りこんだSimulinkモデルを分析してインポートする事が可能です。

インポートされたSimulinkモデルの構造情報がDRIP内に書かれたデザイン・アーキテクチャのどの要素に対応する情報かを関連付ける事により、 DRIPは外界（別のプラットフォーム）での実装内容を正確に取り込むことが出来ます。

マッピング

モデルのインポートが完了したら、次はマッピングとなります。
まず、インポートしたモデルの構造情報とデザイン・アーキテクチャによる仕様書をマッピングする事により、実装はアーキテクチャとDRIP内で連結されます。


次に、デザイン・アーキテクチャ仕様書と要求をマッピングします。
これにより、実装はDRIP内で要求と連結した事になります。


マッピングにより、実装が要求とツールベースで繋がりました。

いま、実装モデル内の各要素は、接続された仕様書内の各対応部分に対応付けられ、トレーサビリティがDRIP上で可能となります。
実装内の任意の要素が、アーキテクチャのどこに対応するのか、要求のどこに対応するのかといったトレーサビリティを容易に取る事が可能です。
※　反対方向のトレーサビリティも取る事が出来ます。

マッピングが完了した事で、式や形式言語で書かれた要求や振る舞いの仕様、テストシナリオと共に、デザイン・アーキテクチャ経由で繋がった実装を組み合わせる事で、後述のテストハーネス自動生成事が可能となります。


テストハーネスの自動生成から以降の工程について詳しくは下記ページをご参照ください。

テストハーネスの自動生成

実装の要求に対する品質検証

値の最適化(Optimize)

株式会社 NEAT

Engineered Mechatronics, Inc.