How to achieve 100% Mc/Dc coverage for model having Temporal logic 'tick'?
4 views (last 30 days)
Arunkumar M on 11 Nov 2018
for example you have use temporal logic in condition say after(10,tick), then one test case should test this condition and pass 10 ticks and other test case should terminate before completion of 10 ticks. In this case, you would have achieved once TRUE and FALSE for this temporal logic condition, which should give you 100% coverage
More Answers in the Power Electronics Control