loader image

モデルベース開発向けのテストソリューション

必数百万ものシナリオをどのようにして作成するか?

テスト数の爆発的増大を避けるには?

テストの合格・不合格をどのように見分けるか?

BTC EmbeddedPlatform 23.1p0リリース

BTC EmbeddedPlatform 23.1p0 がリリースされました。

主な新機能
ATGエンジンの高速化
ATGエンジンのパフォーマンスが向上しベクタ生成が、より高速に行えるようになりました。
Dockerコンテナのサポート
EmbeddedPlatformがサポートする全てのユースケースでREST APIを用いたリモート、もしくはローカルのDockerコンテナの利用が可能になりました。

MinGWコンパイラとCデバッグ環境の標準搭載
EmbeddedPlatformにCコードのデバッグ環境が統合されました。これにより、ツール上でデバッグが行えます。

CSVファイル形式のExecution Records参照のサポート
CSVファイル形式のExecution Recordsを必要なタイミングで参照するようになりました。これにより、大規模なExecution Recordsでも効率的にFormal Testが行えます。

MBTのBlock Definitionに対するOverflowチェック機能の拡張
MBTのBlock Definitionで定義されたカバレッジゴールのOverflowがチェックできるようになりました。

コードカバレッジのコメント機能の強化
Unreachable、及びUnknownゴールに追加したコメントは各カバレッジメトリクスに表示されるようになりました。

新しい動作環境のサポート
Windows 11
TargetLink 22.1
MATLAB 2022b

ニュースレターに登録する

あなたのメールアドレスはプライバシー認証を受けたニュースレターソフトウェアNewsletter2Goに送信されます。詳細は当社のプライバシーポリシーをご覧ください。

Videos

Discover some of the main features of our products in these short videos.