Reactis は、モデルベース開発において
多くの重要な役割を果たします。モデルのテスト・検証を行い、
自動生成するソースコードがモデルの動作と一致しているかどうかをチェックし、
ユーザーがモデルとコードの理解を深めるためのツールを提供します。
詳細はこちら testing
and validation of Simulink models.
Reactis for EML Plugin は、Reactisからシームレスに利用でき、 MATLAB Functionブロックや、Stateflow内のMATLABアクション言語などを使った組込み用のMATLAB言語 ®の ホワイトボックステストを可能にします。
Reactis for C Plugin は、Reactisからシームレスに利用でき、 モデルに組み込まれたCコード(C Callerブロック、S-Function、 Stateflowカスタムコード等)のホワイトボックステストを可能にします。 詳細はこちら C Caller block, S-Function, and custom code debug.
Reactis と C Plugin は testing TargetLink® models and C codeをサポートします。
Reactis Model Inspector は、独立した低価格で軽快に動作するビューアーです。
ReactisのファイルとSimulinkモデルを表示します。
Reactis for C Cコードから包括的、かつ効率的な
テスト生成を行い、実行時エラーの検出、カバレッジ計測(ステートメント、デシジョン、
コンディション、MC/DC、MCC) を行います。エラーが検出されると、バグの原因、分析、修正をするために、
エラーの再現を容易に行うことができます。詳細はこちら
testing C code.
