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.1

BTC EmbeddedPlatform 22.1 is now available.


Tool Configuraion
MATLAB 2021b is supported.
TargetLink5.2 is supported.

Formal Secification Editor
Templates creation and sharing is supported for Universal Pattern.

Automatic Vector Generation
New option for ATG engine to generate new vectors based on existing vectors is introduced.
sqrtf, ceilf, floorf and powf in math.h is supported for automatic vector generation.
Initialization of automatic vector generation engines with an existing vector is introduced.

Formal Verification
Overflow/Underflow check for Formal Requirements is supported.

Formal Test
Overflow/Underflow check for Formal Requirements is supported.

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

Testcase Editor
Import/Export export testcases in JSON format is supported.

Join our newsletter

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


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