loader image

Test Solutions for Model-based Development

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?

BTC EMBEDDED PLATFORM

Download

For BTC EmbeddedPlatform users

BTC Embedded PLATFORM

Dongle Drivers

FLEX ID 9 Driver 64-bit

For dongles which FLEXID in the format 9-xxxxxxxx, manufactured by SafeNet (HASP)

FLEX ID 10 Driver 64-bit

For dongles which FLEXID in the format 10-xxxxxxxx, manufactured by WIBU-Systems AGFor dongles which FLEXID in the format 10-xxxxxxxx, manufactured by WIBU-Systems AG

BTC EMBEDDED PLATFORM

Tool Training Text

Only Japanese documents are currently available. Please contact our support for English documents.

Password is required for downloading

Password is not always the same. The latest password is informed to license administrators as a part of BTC EmbeddedPlatform release announcement by email.

Back-to-back Test

Tool training of Back-to-back testing between model and code

Formal Test & Formal Verification

Tool training of Formal Test and Formal Verification for model and code

Requirements-based Test

Tool training of Requirements-based testing for model

Requirements Analysis

Tool training of Requirements Analysis (Correctness, Consistency, and Completeness check)

BTC EMBEDDED PLATFORM

Sample Scripts

IMPORTANT NOTE:
Multi-Sites license or World Wide license is required for implementation of automated batch execution accessible for multiple users. Please see “MASTER SOFTWARE LICENSE AGREEMENT” in BTC EmbeddedPlatform installer for details.

Password is required for downloading

Password is not always the same. The latest password is informed to license administrators as a part of BTC EmbeddedPlatform release announcement by email.

Batch Execution: Back-to-back Test

Sample script for automatic stimuli vector generation from C-Code and execution of Back-to-back testing on BTC EmbeddedPlatform

Batch Execution: Formal Test

Sample script for automatic testcase generation from requirements and execution of Formal Test on BTC EmbeddedPlatform

Batch Execution: Formal Verification

Sample script for automatic execution for Formal Verification on BTC EmbeddedPlatform

Batch Execution: RTT-Observer Export

Sample script for automatic export of RTT-Observer from BTC EmbeddedPlatform

BTC EMBEDDED PLATFORM

Support Tools

Password is required for downloading

Password is not always the same. The latest password is informed to license administrators as a part of BTC EmbeddedPlatform release announcement by email.

EP Preferences Config

Support tool to configure Preference settings (incl. Hidden Options) from command line

Integration of Preference settings into BTC EmbeddedPlatform installer to change default settings is also supported

BTC EMBEDDED PLATFORM

Supplementary Documents

Password is required for downloading

Password is not always the same. The latest password is informed to license administrators as a part of BTC EmbeddedPlatform release announcement by email.

Floating-point code and Back-to-back Testing

This document exemplifies possible deviations between model and floating-point code, and also proposes best practices to minimize the deviation

Simplified Universal Pattern Syntax and Semantics

This document intoduces syntax and semantics of a formal language “Simplified Universal Pattern”

(English only)

Silent Install

Support document for silent install of BTC EmbeddedPlatform

(Japanese only)

 

Support & Contact

Find the right contact person, no matter where you are located!