Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

I added some Validator assertions into my model, and now the number of coverage targets is different. Why?

April 26, 2017added assertions coverage different model targets Validator

0

Posted

I added some Validator assertions into my model, and now the number of coverage targets is different. Why?

1 Answer

0

Posted

The current version of Validator works by temporarily creating a new model consisting of the old model with subsystems added for the associated diagram-based assertions and user-defined targets. The coverage targets tracked during test generation are then computed for this new model. As a result, some new coverage targets relating to the Simulink/Stateflow structure of assertions are included. Our thought in doing this was that having coverage information about assertions was useful to see “how close” an assertion came to being violated during the execution of a given test suite.