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?

Test / Verification / Analysis Targets

MathWorks Embedded Coder

Testing model and code in one integrated environment

Introduction

About EmbeddedCoder

EmbeddedCoder® from TheMathworks generates production C code from Simulink/Stateflow models. But to take advantage of EmbeddedCoder in an ISO 26262 compliant development workflow, end-users need to also consider  model-in-the-loop testing (MIL), software-in-the-loop testing, back-to-back testing, and code coverage analysis. BTC EmbeddedPlatform integrates all these different workflows in one simple ISO 26262 certified environment.

BTC EmbeddedPlatform

MIL/SIL Testing for Embedded Coder

The creation of a test project occurs automatically, without need for any manual interaction from the user. BTC EmbeddedPlatform analyzes the architecture of the model to detect subsystems, ports, parameters, test points, data types and ranges.

As we believe that a test tool should never touch or modify the system-under-test, the test harness creation and test execution happen on a temporary copy of the Simulink model. 

This makes it easy to handle model and test data independently. The test harness creation happens in the background and requires no manual input.

For software-in-the-loop (SIL) Testing, BTC EmbeddedPlatform always uses the original production code with a dedicated and automatically-managed test harness

PRODUCT FOR Testing EMBEDDED CODER MODEL & GENERATED CODE

Product Package

Formal Test BASE Package

Advanced requirements-based testing enhanced by formal methods

Formal Test Package

Highly automated and advanced requirements-based testing enhanced by formal methods and automatic test generation

Formal Verification Package

Mathematically complete proof, no effort for writing testcases

Back-to-back Test Package

Software unit testing can be carried out at the model level followed by back-to-Back comparison tests between model and code

Request an Evaluation License

If you would like to try out our tools, we will gladly provide an evaluation license free of chargeEvaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.

Schedule a Meeting with our Engineering Team

Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.

Request an Evaluation License​

If you would like to try out our tools, we will gladly provide an evaluation license free of chargeEvaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.

Schedule a Meeting with our Engineering Team

Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.

BTC EMBEDDED SYSTEMS BLOG

From our Blog​

Sharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.

PRODUCT VIDEOS

Videos

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

Back-to-back Test Package

Fully automated Back-to-back Test, Regression Test and Migration Test incl. Automatic Test Generation