loader image

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

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

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

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

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のインストール過程における設定作業を自動化するための手順書

(日本語のみ)

サポートと窓口

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