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

2 ビュー (過去 30 日間)
vinothkannan K
vinothkannan K 2013 年 12 月 10 日
回答済み: 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?

サインインしてこの質問に回答する。

回答 (1 件)

Arunkumar M
Arunkumar M 2018 年 11 月 11 日
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

コミュニティ

カテゴリ

Help Center および File Exchange で Verification, Validation, and Test についてさらに検索

タグ

製品

Community Treasure Hunt

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

Start Hunting!

Translated by