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?

Use Cases

Migration Test

Ensure that new tool versions don’t introduce unintended changes in the behavior of your software

No Risk - More Fun

Migration Test

In a Model-based development process, our choice in tools and tool versions for modeling, code generation, and even the compiler can impact the behavior of the software. This is why changing tool versions always comes with a risk, especially in larger projects.

Chances are high that, for example, the generated code looks different after you upgrade your code generator. So how can we know if the software still works in the same way as before? What we need is a Migration Test.

Play now
Play Video
Play now
Play Video

SAFE MIGRATION To NEW TOOL CONFIGURATION

Highly Automated Migration Test

A complete Migration Test workflow also involves some environmental challenges, like setting up containers or virtual machines with the different versions of tools and even Operation Systems.

BTC EmbeddedPlatform automates Migration Test to get confidence on your new tool configuration. The needed test cases for Migration Tests are generated automatically, making Migration Tests with BTC EmbeddedPlatform a true push-button solution.

NO EFFORT

Coverage Goals for Automatic Test Generation

Needed testcases for Migration Test is automatically generated by BTC EmbeddedPlatform. You can achieve full structural coverage of your production code without manual effort. This includes coverage goals like statement, decision, condition, MC/DC or domain coverage. The test generator will be able to access all input variables and calibrations, allowing it to detect issues that have not been revealed by manually created test cases.

Toogle

Statement Coverage

Toogle

Decision/ Branch Coverage

Toogle

Condition Coverage

Toogle

MC/DC Coverage

Toogle

Function Coverage

Toogle

Function Call Coverage

Toogle

Relational Operator Coverage

Toogle

Division by 0 Coverage

Toogle

Downcast Coverage

Toogle

Switch Case Coverage

Toogle

Equivalence Class coverage

Toogle

Boundary Value Coverage

Toogle

User-Defined Coverage

Toogle

Relational Operator Coverage

Divide and Conquer

Hierarchical Approach

BTC EmbeddedPlatform supports “Hierarchical approach” which makes test and verification (incl. Automatic Test Generation, Formal Verification) more efficient & effective especially when working with large software.

You can test/verify child subsystems without additional effort. After the testing/verification, aggregated reports are automatically generated.

FOR MODELS AND CODE

Flexible Debugging

BTC EmbeddedPlatform includes a unique debugging approach by generating self-contained sandboxes. These sandboxes contain a copy of the system-under-test as well as the test case incl. the corresponding calibration values. Depending on the use case, this sandbox can either be a Simulink model, a Microsoft Visual Studio project file or a generic code-based sandbox for other IDEs. These sandboxes can be easily shared with colleagues or customers and make it easy to try out modifications without harming the original files.

Play now
Play Video
Play now
Play Video

FULL AUTOMATION

Test Automation & Cloud

With m-API and/or REST-API, you are able to run your test workflows completely automatically. Fully automated Migration Test can be executed sequentially without user interaction.

With an off-the-shelf support for Continuous Integration/Continuous Deployment such as Jenkins, a powerful and flexible REST API and the availability of a Linux-based container image, BTC EmbeddedPlatform is ready for all your future test automation needs, on your own servers or even in the cloud.

PRODUCT FOR MIGRATION TEST

Product Package

Back-to-back Test Package

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

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