It’s all about integration

Requirements-based Testing for Simulink, TargetLink, Embedded Coder and Handwritten Code

BTC EmbeddedTester BASE

It’s all about integration – Requirements-based Testing for Simulink, TargetLink, EmbeddedCoder and handwritten C 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 plug-in 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, TargetLink and Embedded Coder, 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 such as IBM DOORS, PTC Integrity or Siemens Polarion 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 plug-in 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 such as Excel, TestComposer knows all details about the test architecture and protects users against invalid data entry. If enumerations are used, a drop-down menu is provided and allows to directly select the desired values. 

Further features include a signal generator, a graphical viewer, flexible tolerance handling and a formular editor, allowing to calculate the value of a certain signal based on other variables. "Test Macros" and "Calibration Sets" can be used to specify and store reusable sequences, that can be instantiated in multiple test cases. You can finally execute your test case directly within the editor and imediatly 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, therefore 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/Embedded Coder 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.