It’s all about integration

Requirements-based Testing for Simulink/TargetLink models and production code

BTC EmbeddedTester BASE

It’s all about integration – Requirements-based Testing for Simulink/TargetLink models and production code

BTC EmbeddedTester BASE is a tool for creating, managing and executing test cases on model and code level (MIL/SIL/PIL). With features like the connection to requirements management tools or the integrated coverage analysis, BTC EmbeddedTester BASE is your one-stop solution for Requirements-based Testing of Simulink/TargetLink models and generated or handwritten production code.

Thanks to the tight integration with BTC EmbeddedSpecifier, it is also possible to benefit from the power of formalized requirements directly inside the requirements-based testing process, e.g. by automatically generating test cases from requirements, or by performing a formal test which automatically analyzes all test runs against all requirements.

A complete API combined with a flexible plugin concept allows adaptation and enhancement of BTC EmbeddedTester BASE features in order to address specific project needs.

Integrated with your development tools

BTC EmbeddedTester BASE provides a tight integration with Simulink and TargetLink, making it the perfect tool for the test of models and production code. For larger models, sub-functions can be tested independently without the need for model modification.

A direct connection to requirements management tools like IBM DOORS, PTC Integrity or dSPACE SYNECT ensures reliable traceability of requirements while avoiding error prone exchange formats like Excel. Test cases can be imported/exported in various formats including Excel, MAT, XML, SignalBuilder or MDF. Additional formats can be easily integrated via a plugin mechanism.

Smart and powerful test authoring

With BTC TestComposer we provide a powerful editor for functional test cases directly within BTC EmbeddedTester BASE. In contrast to generic editors like Excel, TestComposer knows all details about the test architecture and protects users against invalid data entry. Further features include a signal generator, a graphical viewer, flexible tolerance handling and verdict functions. You can run test cases directly within the editor, allowing you to visualize the results.

 

Coverage on all levels

For ensuring completeness within a requirements-based testing workflow, different coverage metrics should be measured and documented. While this usually requires a combination of various tools and scripts, BTC EmbeddedTester BASE centralizes the analysis for requirement model and code coverage within one user interface. Code coverage is calculated automatically in the background, so that no instrumentation is needed during the simulation of the production code.

Flexible Debugging

If a test case is failed, BTC EmbeddedTester BASE allows exporting a corresponding debug environment. This can be done either as a Simulink/TargetLink model, or as a Microsoft Visual Studio project. In both cases, the debug environment is self-contained making it easy to exchange with colleagues or 3rd parties.

Formal Test Add-On

With the Formal Test Add-On, the verification of safety critical requirements is taken to a whole new level. After being formalized with BTC EmbeddedSpecifier, the formal requirements are automatically available within BTC EmbeddedTester BASE and shows if a particular requirement is violated by any of the test cases. Additionally, the formal requirements bring a meaningful and smart definition of requirement coverage based on its internal structure. This allows you to easily assure that all requirements are fully tested.

Requirements-based Test Generation Add-On

In case a particular formal requirement is not fully covered by existing test cases, the Requirements-based Test Generation add-on allows generating missing test cases fully automatically.