Back-to-back Test Package
Smart test generation for an ISO 26262 certified and fully automated Back-to-back Test.
BTC EmbeddedPlatform - Back-to-back Test Package provides an ISO 26262 certified and fully automated Back-to-back Test between Simulink/TargetLink models and production code. In addition to functional test cases that may already exist, Back-to-back Test Package allows you to also generate structural tests for full code coverage up to MC/DC. Thanks to the seamless integration with Simulink/TargetLink, Back-to-back Test Package is able to automatically execute all test cases on any execution level such as MIL, SIL or PIL. For larger models, the inner subsystems can be handled individually without the need to modify the model, making tasks such as test generation or debugging more efficient. Besides the standard Back-to-back Test between model and code, Back-to-back Test Package also supports use cases such as regression testing between different model or code versions as well as the automatic validation of an upgrade to new tool versions (e.g. Matlab or TargetLink).
Smart test generation for full structural coverage
Back-to-back Test Package allows you to automatically generate test cases (so called stimuli vectors) in order to achieve full structural coverage of your production code. This includes coverage goals like statement, decision, condition, MC/DC or domain coverage. The test generator will be able to access all input variables and calibrations, allowing it to detect issues that have not been revealed by functional test cases.
The test generation is based on so-called model checking technology. Unlike random algorithms, this technology not only guarantees that the smallest and shortest set of test cases to cover the desired objectives will be found, but it also performs a dynamic analysis showing that some objectives are unreachable. This means that the tool is able to prove that if no test can be generated, then a particular coverage goal is not reachable.
In addition to structural coverage goals, Back-to-back Test Package also analyzes several robustness goals. This allows you to prove that critical situations such as division by zero or range violations can never occur – saving a significant amount of time in the review process. If Back-to-back Test Package detects that such a goal is reachable, it provides you with a corresponding stimuli vector that can be used for debugging.