IDAJ

GlossaryMBD・CAE用語集

Masking MC/DC

Masking MC/DCは、Masking Modified Condition/Decision Coverageの略です。Masking MC/DCは、DO-178BのCertification Authorities Software Team(CAST)が、2001年に発行したポジションペーパーCAST-6で提唱されたテストの網羅度です。”and”演算子の1入力が、falseの場合、もう一方がtrue、falseを取っても、結果に影響しません。このような状況をMasking(マスク)と呼んでいます。Z = (A or B) and (C or D) という判断文(デシジョン)を例に説明します。Aの独立したZへの影響を示すために、MC/DCでは、(C or D)がtrueになるようなCとDの値で固定します。Masking MC/DCでは、(C or D)がtrueになるCとDの値をAとの組で変更することが許されます。このようにして、各条件文(コンディション)に対する組がMC/DCよりも多く選択することが可能です。

関連製品情報

このキーワードでサイト内検索する

アルファベット順索引

50音順索引

その他

キーワード検索

ユーザーサポートセンター 無料で資料請求