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?

Release of BTC EmbeddedPlatform 22.2

BTC EmbeddedPlatform 22.2 is now available.

Highlights

Tool Configuraion
MATLAB 2022a is supported for Simulink and Embedded Coder use cases.

Formal Secification Editor
Filter for “Functions and Operators” is added.

Automatic Vector Generation
Import/Export Environmental Assumptions is supported.

Coverage
Model Coverage goals for Lookup tables are supported.

Embedded Coder Architecture
Model workspace parameters are supported for Simulink and EmbeddedCoder models.

Testcase Editor
Import/Export Calibration Variants and Calibration Variant Testcase as a JSON file is supported.

Join our newsletter

Your email address will be submitted to the privacy-certified newsletter software CleverReach for technical distribution. For further information go to our privacy policy.

Videos

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