Use Cases

Test solutions for Simulink Models and Production Code

Requirements-based Testing

Requirements-based Testing for Simulink, TargetLink, EmbeddedCoder and handwritten code

Code Coverage Analysis

In BTC EmbeddedTester, code coverage is automatically calculated and updated in the background.

Formal Specification

Intuitive Formal Specification of Safety Requirements

ISO 26262

The completeness of testing activities cannot be evaluated without measuring structural coverage of the software unit.

Continuous Integration & Cloud

Include unit and integration tests in your CI pipeline to ensure high quality early on!

Migration Test

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

Formal Verification

The power of proof for safety-critical systems

Back-to-Back Test

Back-to-Back Tests between model and code are highly recommend by the ISO 26262 standard

Regression Test

Regression Tests between different versions of a software play an important role in A-SPICE and ISO 26262

Support & Contact

Find the right contact person, no matter where you are located!