Different Coverage for after(1, sec) and after(1, msec). My misunderstanding or just a bug?

2 visualizzazioni (ultimi 30 giorni)
Hi,
Simple model is made up for coverage calculation.
State_A <--after(1, sec) --> State_B
In above, the transition is bidirectional. the decision coverage is 100%, and it makes sense since after(1, sec) is evaluated true/false according to time.
if 'sec' is changed to 'msec', then it produces 50% coverage, and the report message is
"Transition "after(1, msec)" from "A" to "B"
after(1, msec) was never false."
Why is that?
Thanks.

Risposte (1)

Arunkumar M
Arunkumar M il 9 Nov 2018
Modificato: Arunkumar M il 9 Nov 2018
What was your step size used in simulation? This could happen when your step size is higher than 1msec as used in this condition.

Categorie

Scopri di più su Verification, Validation, and Test in Help Center e File Exchange

Tag

Prodotti

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by