loader image

Test Solutions for Simulink Models & Production Code

Challenges of Virtual Validation for ADAS/AD

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?

Products

BTC EmbeddedTester

Intelligent test generation for automated Back-to-back tests, Regression tests and Migration tests

ISO 26262 certified

100% Completeness
0% Manual Effort

BTC EmbeddedTester is an ISO 26262 certified tool for automatic test generation and test execution.

Many use cases in embedded software development require a set of test cases which deliver 100% structural coverage of the system under test. With manually created test data, this is often impossible to achieve.

While many test solutions on the market rely on incomplete random test generation methods, BTC EmbeddedTester uses a unique “model checking” approach to generate mathematically complete structural test cases for 100% coverage.

Our test generator accesses all input variables and calibration parameters, which allows the user to detect issues that have not yet been revealed by functional test cases. 

info (3)

Includes all Features of BTC EmbeddedTester BASE

Structural Tests

Use Cases

Back-to-Back Test

In a model-based development process, it is important to show that the behavior is the same on both model and corresponding code via back-to-back tests, which are highly recommend by the ISO 26262 standard.

Regression Test

As the development process in embedded software projects becomes increasingly agile, regression tests become even more important in order to automatically compare different versions of model and code.

Migration Test

A migration test automatically ensures that an upgrade to a new version of your development toolchain (e.g. Matlab or TargetLink) does nor change the behavior of your models and production code.

Even more flexibility

Coverage Goals for Automatic Test Generation

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

BTC EmbeddedTester allows you to automatically generate test cases in order to achieve full structural coverage of your production code. 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 functional test cases.

The test generation is based on so-called model checking technology. Unlike random algorithms, this technology not only guarantees that the smallest and shortest set of test cases to cover the desired objectives will be found, but it also performs a dynamic analysis showing that some objectives are unreachable. This means that the tool is able to mathematically prove that some coverage goals is not reachable. 

ADD-ON

User-Defined
Coverage Goals

In addition to the pre-defined coverage metrics, it is possible to create individual coverage goals using the User-Defined Coverage Goals add-on, which makes it easy to describe certain system states.

These coverage goals are defined inside an intuitive editor which has access to all interface variables of the system. After specifying the intended coverage metrics, the tool will automatically analyze and document whether or not existing test cases cover these goals.

Should the goals not be met, the integrated test case generation can be used to automatically create test cases which fulfill these conditions. And, for structural coverage goals, the engine will also provide complete mathematical proofs in cases a user-defined coverage goal is unreachable.

ADD-ON

Test Automation
incl. CI/CD Support

With the BTC EmbeddedTester Test Automation add-on, you are able to run your test workflows completely automatically. The test execution can be triggered by a script or by tools such as Jenkins. When the tests are finished, a comprehensive HTML report is generated, providing a clear overview of the results as well as hyperlinks to the integrated detailed reports. With an off-the-shelf support for Jenkins, a powerful and flexible REST API and the availability of a Linux-based container image, BTC EmbeddedTester is ready for all your future test automation needs, on your own servers or even in the cloud.

The Test Automation add-on also includes the BTC EmbeddedTester Migration Suite, which performs an automated regression test between different tool versions (e.g. Matlab or TargetLink). This makes it easy to document whether or not changing a tool version in a particular project influences the behavior of sotware components on model and/or code.

certified

ISO 26262

BTC EmbeeddedTester (part of BTC EmbeddedPlatform) has been certified by German TÜV Süd as fit for usage in safety critical software development projects.
The certificate addresses different standards including IEC 61508-3:3010, ISO 26262, EN 50128, IEC 62304 as well as ISO 25119. For the automotive standard ISO 26262, the certificate is valid for all ASIL levels including ASIL D. As a verification tool, BTC EmbeddedTester has been classified with the highest tool confidence level of TCL 3.

We provide the certificate and the corresponding report to our customers free of charge upon request, which drmatically reduces or even eliminates any effort for tool qualification measures on the customer side. 

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.

Technology

Model Checking

BTC Embedded Systems pioneered integrating model checking technology with commercial software tools. Delivering this highly automated technology to industry professionals helps our customers significantly increase the efficiency and quality of embedded development projects.

The purpose of a model checker is to extensively anlyze the system behavior against a particular temporal property to automatically determine whether or not this property holds. If it does not hold, the model checker returns a concrete counterexample explicitly showing how to violate the corresponding property. As compared to traditional testing, the model checker analyzes all possible runs of the system with the push of a button and delivers complete mathematical proof of the dynamic behavior of the system. The generation of a counterexample distinguishes model checking from other automated anlysis methods such as abstract interpretation.

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, VIDEO BLOG & WEBINARS

Videos & Webinars

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

BTC EmbeddedTester BASE

Requirements-based Testing for Simulink, TargetLink, Embedded Coder and handwritten code.