How to achieve 100% Mc/Dc coverage for model having Temporal logic 'tick'?

Question

vinothkannan K 2013-12-10

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/109274-how-to-achieve-100-mc-dc-coverage-for-model-having-temporal-logic-tick

回答： Arunkumar M 2018-11-11

Hi,

    Am testing Model for MC/DC coverage, That model is having temporal logic 'tick',  Temporal event tick is never false, so I cant able achieve 100% MC/DC. Pls guide me in this?

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Arunkumar M 2018-11-11

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/109274-how-to-achieve-100-mc-dc-coverage-for-model-having-temporal-logic-tick#answer_346338

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