MC/DC 뷰

MC/DC 뷰에서는 변경 조건/결정 커버리지(Modified Condition/Decision Coverage, MC/DC)의 정보를 보여 줍니다.

MC/DC 커버리지

MC/DC란 각 개별 조건식이 다른 개별 조건식에 영향을 받지 않고 전체 조건식의 결과에 독립적으로 영향을 주도록 함으로써 조건/결정 커버리지를 향상시킨 것으로 결정 커버리지, 조건/결정 커버리지 보다 강력합니다.
다른 상태(condition)들의 변동이 없고 자신의 상태가 변경 되었을 때 결과값에 영향을 미치는 경우 해당 상태는 MC/DC를 만족한다 할 수 있고 이때 해당 진리표를 만드는 조건은 다음과 같습니다.

• 해당 디시전(결정문)의 상태는 모든 가능한 결과(참, 거짓)를 적어도 한 번씩 만족해야 한다.
• 디시전에 속한 모든 개별 조건식은 모든 가능한 결과(참, 거짓)를 적어도 한 번씩 만족해야 한다.
• 디시전에 속한 각각의 개별 조건식은 다른 개별 조건식에 영향을 받지 않고 자신이 속한 디시전의 결과값에 독립적으로 영향을 준다.
  

MC/DC 뷰 테이블 설명

• 목표 커버리지를 만족하는 조합 목록 보기
  아래 그림은 목표 커버리지를 달성하기 위해 커버해야 하는 조합을 쉽게 확인할 수 있는 뷰입니다.
  좌측에는 선택한 함수에 대한 Decision 목록이 있고, 그 하위에는 목표 커버리지를 만족하는 조합 목록이 나타납니다.
  우측에서는 선택한 Decision 또는 조합의 진리표와 커버 여부를 보여줍니다. 커버된 조합은 녹색, 커버되지 않은 조합은 빨간색으로 표시됩니다.
  환경 설정 페이지에서 목표 커버리지율과 화면 보기 모드를 변경할 수 있습니다. 그리고 진리표를 전체 선택하여 ‘Ctrl + C’ 또는 컨텍스트 메뉴로 클립보드 복사 기능을 사용할 수 있습니다.
  

• 조건 별 커버리지를 만족하는 조합 목록 보기
  아래 그림은 하나의 조건을 만족하는 한 쌍(Pair)의 조합을 확인할 수 있는 뷰입니다. 좌측 화면에는 각 조건 별 커버리지를 만족하는 조합 목록을 보여줍니다. 우측 화면에는 선택한 조합에 대한 진리표와 커버 여부 정보를 보여줍니다.