Скачать или смотреть Structural Test Generation

The automatic test generation of BTC EmbeddedPlatform makes it easy to achieve full structural coverage for many metrics including Statement Coverage, Decision Coverage and MC/DC (as required by ISO 26262). Unlike random algorithms, the underlying model checking 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 videos shows you how to:

Automatially generate tests for full structural coverage results
Analyse the which parts of the system under test are covered or unreachable
Navigate between detailed coverage report, production code and Simulink/TargetLink model

Please also have a look at our other videos. If you have any question or if you are interested in a trial license, please don't hesitate to contact us.

For more information please visit https://www.btc-embedded.com