loader image

Test Solutions for Simulink Models & Production Code

Use Cases
Supported Environments
Products

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
Group 6 Explore
Code Coverage Analysis
In BTC EmbeddedTester, code coverage is automatically calculated and updated in the background.
Group 6 Explore
Formal Specification
Intuitive Formal Specification of Safety Requirements
Group 6 Explore
ISO 26262
The completeness of testing activities cannot be evaluated without measuring structural coverage of the software unit.
Group 6 Explore
Continuous Integration & Cloud
Include unit and integration tests in your CI pipeline to ensure high quality early on!
Group 6 Explore

Migration Test

Ensure that new tool versions don’t introduce unintended changes in the behavior of your software!
Group 6 Explore
Formal Verification
The power of proof for safety-critical systems
Group 6 Explore
Back-to-Back Test
Back-to-Back Tests between model and code are highly recommend by the ISO 26262 standard
Group 6 Explore
Regression Test
Regression Tests between different versions of a software play an important role in A-SPICE and ISO 26262
Group 6 Explore

Support & Contact

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

Contact & Support