BTC EmbeddedPlatform 23.2p0リリースのご案内

主な新機能

形式要求のグラフィカルなデバッグ環境のサポート
形式記述のValidation、Formal Testの実行結果およびFormal Verificationの解析結果においてUniversal Patternの各フェーズの状態をグラフィカルにご確認頂けるようになりました。これにより、Universal Patternの各フェーズがどのステップで満たされているのかをご確認出来ますので、より簡単にデバッグが行えます。

生成済みCコードの再利用のサポート
Embedded Coderアーキテクチャのインポートで既に生成されたCコードを再利用できるようになりました。

テストケース生成およびモデルチェック実行中の進捗状況表示の拡張
要求からのテストケース生成およびモデルチェックの実行においてプログレスバーに加え各要求に対するテストケースの生成状況またはモデルチェックの解析結果をご覧頂けるようになりました。

MATLAB 2023aのサポート

Polarion 2304のサポート