loader image

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

BTC EmbeddedPlatform - 製品パッケージ
ユースケース
テスト / 検証 / 分析ターゲット

ADAS/AD バーチャルバリデーション

トラフィックシナリオの作成

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

"必要なだけ"のテストケースの生成

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

シミュレーション結果の分析

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

BTC EMBEDDED PLATFORM

ダウンロード

BTC EmbeddedPlatformユーザ向け

BTC Embedded PLATFORM

ドングルドライバ

FLEX ID 9 Driver 64-bit

ダウンロード

FLEXID=9-で始まるドングル(SafeNet社製)用のドライバ

FLEX ID 10 Driver 64-bit

ダウンロード

FLEXid=10-で始まるドングル(WIBU-Systems AG社製)用のドライバ

BTC EMBEDDED PLATFORM

ツールトレーニングテキスト

現在日本語の資料のみの準備となっております。英語版を御希望の方は当社のサポート窓口まで御問い合わせください。

ダウンロードにはパスワードが必要です

パスワードは定期的に変更されます。

最新のパスワードはライセンス管理者として御登録いただいた方に宛ててBTC EmbeddedPlatformのリリース案内でお伝えいたします。

Back-to-back テスト

ダウンロード

モデルとコード間のBack-to-Backテストの概要と、ツール操作の資料

フォーマルテスト & 形式検証

ダウンロード

モデルやコードに対して行うフォーマルテスト及び形式検証の概要と、

ツール操作の資料

Requirements-based テスト

ダウンロード

モデルに対して行うRequirements-based テスト(期待値テスト)の概要と、

ツール操作の資料

要求分析

ダウンロード

形式化した要求群に対し、要求の正当性、一貫性、完全性のチェックを行う

技法の概要と、ツールの操作の資料

BTC EMBEDDED PLATFORM

サンプルスクリプト

IMPORTANT NOTE:
複数のユーザがアクセス可能な環境でこのスクリプトを利用するにはマルチサイト版のライセンスが必要です。規約の詳細は製品付属のMASTER SOFTWARE LICENSE AGREEMENTをご参照ください。

ダウンロードにはパスワードが必要です

パスワードは定期的に変更されます。

最新のパスワードはライセンス管理者として御登録いただいた方に宛ててBTC EmbeddedPlatformのリリース案内でお伝えいたします。

自動実行: Back-to-backテスト

ダウンロード

Back-to-back Testを、BTC EmbeddedPlatform上で自動化するためのサンプルスクリプト

自動実行: フォーマルテスト

ダウンロード

自動テストケース生成を伴なったフォーマルテストを、BTC EmbeddedPlatform上で自動化するためのサンプルスクリプト

自動実行: 形式検証

ダウンロード

形式検証をBTC EmbeddedPlatform上で自動化するためのサンプルスクリプト

自動実行: RTT-Observerエクスポート

ダウンロード

BTC EmbeddedPlatformからのRTT-Observer Exportを、自動化するためのサンプルスクリプト

BTC EMBEDDED PLATFORM

サポートツール

ダウンロードにはパスワードが必要です

パスワードは定期的に変更されます。

最新のパスワードはライセンス管理者として御登録いただいた方に宛ててBTC EmbeddedPlatformのリリース案内でお伝えいたします。

EP Preferences Config

ダウンロード

BTC EmbeddedPlatformのPreferences設定を、コマンドラインから編集するためのツール
既存のBTC Embedded PlatformのPreferences設定を、デフォルト設定にしたインストーラを作成する機能も搭載

BTC EMBEDDED PLATFORM

補足資料

ダウンロードにはパスワードが必要です

パスワードは定期的に変更されます。

最新のパスワードはライセンス管理者として御登録いただいた方に宛ててBTC EmbeddedPlatformのリリース案内でお伝えいたします。

浮動小数点を含むコードのBack-to-backテスト

ダウンロード

浮動小数点同士のモデルとコードの比較で発生し得る誤差の種類と、その対処方法を提案する資料

Simplified Universal Pattern Syntax and Semantics

ダウンロード

形式言語であるSimplified Universal Patternのシンタックスとセマンティクスを紹介する資料

(英語のみ)

インストール自動化(サイレントインストール)手順書

ダウンロード

BTC EmbeddedPlatformのインストール過程における設定作業を自動化するための手順書

(日本語のみ)

サポートと窓口

あなたに適した担当者を見つけてください。世界のどこからでも大丈夫です。

サポートと窓口

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

製品
会社紹介
ニュース
技術情報
窓口
Youtube Linkedin
製品
会社紹介
ニュース
技術情報
窓口
Line Youtube Linkedin

Copyright © 2022 BTC Embedded Systems & BTC Japan