Reactis はISO 26262認証を取得しています
TÜV SÜDにより、ReactisはASIL Dまでの ISO 26262に準拠した
安全関連ソフトウェアの開発に適格であると認証されています。
ISO 26262への適合について詳しく →
ISO 26262 ソフトウェアテスト Q&A →
Reactis® で、バグをより早く検出し、規格への対応作業を効率化し、テスト工数を削減します
Reactisは、Reactive Systems, Inc.が提供するツールスイートです。 Simulink®およびStateflow®モデルとCコードのテストスイートを自動的に生成します。 MC/DCを含むカバレッジの計測、ランタイムエラーの検出、要件に対するモデルの検証、 コードとモデルのBack-to-Backテストを行えます。
自動車、航空宇宙、医療機器の開発チームが、不具合の早期発見と、ISO 26262や DO-178Cなどの規格に向けたカバレッジの文書化にReactisを活用しています。
Reactisは、モデルベース開発のためのテスト、検証、バリデーションを エンドツーエンドでサポートするツールを提供します
Cコードのランタイムエラーを解析し、カバレッジの不足を検出して、 ホワイトボックステストを実行します。Simulinkモデル内のC Caller ブロックやS-Function、およびスタンドアロンのCプログラムに 対応しています。
Cコードのテストを見る →ステートメント、デシジョン、コンディション、MC/DC、MCCの 各カバレッジを計測します。詳細なレポートで規制要件に対応 できます。 MC/DCとは？
カバレッジの種類を見る →Simulink、Stateflow®、Cコード、Embedded MATLAB®コードを、 同じ直感的なインターフェースから完全にサポートします。 モデル全体をテストできます。
統合機能を見る →「単純な静的解析を用いるツールとは 対照的に、Reactisの動的なテスト生成技術は、多くの場合、 完全自動で非常に高いカバレッジを達成します。」
「Reactisの導入に要する初期の労力は、 得られるスピードと品質の向上によって大きく上回られます。 この技術は成熟しています。私たちはReactisを全面的に お勧めできます。私たちにとってReactisは、この種の製品の 基準であり、将来の厳しいニーズに対して、ますます大きな 利点をもたらすものです。」
TÜV SÜDにより、ReactisはASIL Dまでの ISO 26262に準拠した
安全関連ソフトウェアの開発に適格であると認証されています。
ISO 26262への適合について詳しく →
ISO 26262 ソフトウェアテスト Q&A →