Products

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

Back-to-Back Test誤差分析機能の追加
TargetLinkモデルのB2BテストでFailedが得られた際に誤差の原因を特定することが可能になりました。

Formal Verification実行失敗時に利用可能なデバッグ機能の追加
Formal Verification実行時Failedになった場合、Failed発生時点までのテストケースを用いて原因を分析することが可能になりました。

マクロ検索機能の追加
Formal Specificationエディタ上で特定のインタフェースを参照するマクロの検索が可能になりました。

REST-API機能の強化
REST-APIを用いてFormal Testの結果を取得できるようになりました。

Microsoft Visual Studio 2022のサポート

TargetLink 23.1のサポート

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

Videos

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

インテリジェントで自動化されたテストソリューションにより、複雑度の増大が続くソフトウェアへの対処とISO26262に準拠した高いソフトウェア品質獲得をサポートします。