loader image

Test Solutions for Simulink Models & Production Code

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?

BTC EMBEDDED systems

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!