Reactis for Simulink

Reactis Tester は、guided simulation と呼ばれる特許技術に基づいて テストスイートを生成します。ツールは、様々な カバレッジメトリクスをテストデータの生成と同時に計測し、 未到達のターゲットを使って、以降のテストステップの生成を誘導します。

カバレッジメトリクスとは、一般的な Decision, Condition, と Modified Condition/Decision Coverage (MC/DC), Simulink 特有のブランチやサブシステム、そして Stateflow 特有のステート、コンディションアクション、 トランジションアクション等です。 MC/DC とは？

モデルに対する生成されたコード（自動生成、ハンドコード）のテストは、 Reactis なら容易に行う事が可能です:

1. モデルからテストスイートを生成
2. テストスイートをコード上で実行
3. 出力値の差分を自動的に検出し、フラグを立てる

Validator はテストスイートを使用し、モデルの検証作業を行います。ユーザは、 まず初めにモデルを監視するための条件（モデルや式）を装着します。 Validator は、次にテストスイート生成コンポーネントの Tester を使いデータを生成し、 違反を引き起こすデータが無いか確認します。このテストは、検出された異常動作の 原因を診断するためにも利用できます。

監視するための条件とは、assertions や user-defined targets の事です。 Assertions の条件は、モデルの機能が正しく動作する場合、常に true であることが求められます。 User-defined targets の条件は、要求事項が満たされている事を検証するために、 常にテストされなくてはなりません。テストスイート生成の間、Reactis は assertions の違反を 引き起こす事を試み、user-defined targets をカバーする事を試みます。assertions と user-defined targets は、C 言語風の式、又は Simulink/Stateflow を使った オブザーバーダイアグラムとして記述します。