ECU ソフトウェア開発
Reactis for C
概要
Cコードからテストベクターを自動生成、同時にカバレッジを計測しモデルの検証効率を大幅に向上させる。更に、監視によりコントローラが仕様に違反しないか監視させる事により,形式的に検証が可能。
特徴
Cコードの検証を静的、動的に行う。 ソフトの違反を設定した条件に基づき自動検出。
ECU ソフトウェア開発
Cコードからテストベクターを自動生成、同時にカバレッジを計測しモデルの検証効率を大幅に向上させる。更に、監視によりコントローラが仕様に違反しないか監視させる事により,形式的に検証が可能。
Cコードの検証を静的、動的に行う。 ソフトの違反を設定した条件に基づき自動検出。