mc/dc 커버리지 예제

다음 예제에서는 해당 등가 쌍 행렬이 있는 단일 복합 조건부조건을 보여 주며, 테스트 커버리지 분석기 Testwell CTC++는 연방 항공의 DO-178B와 같은 인증을 얻기 위해 “중요한 소프트웨어 개발”을 위해 요청된 모든 종류의 테스트 커버리지 기준(특히 MC/DC 및 MCC)에 대한 측정을 수행할 수 있습니다. 관리 (FAA). 결정 적용 기준을 보장하기 위해 조건(A 또는 B) 및 C는 “true”로 적어도 한 번, 한 번은 “false”로 평가해야 합니다. 실제로, 우리의 이전 테스트 사례에서: 조건 적용을 만족시키기 위하여, 위의 문에서 각 부울 표현 X, Y 및 Z는 적어도 한 번 TRUE 및 FALSE로 평가되어야 합니다. 원래 가장 높은 중요도 소프트웨어를 적절하게 테스트하기 위한 수단으로 항공 전자 산업을 위해 개발된 수정 된 조건 / 의사 결정 범위 (MC / DC)는 DO-178B 및 DO-178C에 의해 지정된 대로 필요한 코드 커버리지 방법입니다. ED-12B 유럽) 표준, 레벨 A 항공 전자 소프트웨어의 개발 중. 이 커버리지 유형의 가장 큰 장점은 효율성입니다: N 조건으로 구성된 의사 결정 지점으로, 일반적으로 MCDC에 N+1 테스트 상황만 필요합니다. 2N의 최대 테스트 상황 수(전체 의사 결정 표)와 비교하면, 특히 N이 큰 경우(복잡한 의사 결정 지점)가 상당히 감소합니다. “철저한 범위”와 “상대적으로 적은 테스트 상황”의 조합은이 범위 유형이 테스터의 무기고에서 강력한 무기를 만든다. 실제로, n 원자 부울 조건으로 결정에 대 한, 우리는 수정 된 조건/결정 범위를 보장 하기 위해 적어도 n +1 테스트를 찾아야 합니다. 이 예제에서 3개의 원자 성 부울 조건(A, B et C)이 있으므로 다음과 같은 테스트 집합을 선택할 수 있습니다. 쌍 A에서 쌍 n 열(n은 하위 조건의 수)은 조건 구성 요소를 증명하기 위한 후보 행 쌍을 표시합니다.

행 번호 옆에 있는 별표는 해당 행이 적용되었음을 나타냅니다. 등가 쌍을 덮으면 Pn 요약 선을 통한 Pa가 해당 정보를 반영합니다. 이것은 다음과 같은 결함이 테스트 중인 시스템에서 감지되는 철저한 범위 수준입니다. 따라서 테스트 세트는 다음과 같습니다: 게다가, 결정 및 조건 적용 기준은 여전히 존중됩니다(각 부울 변수와 결정 결과 자체는 “true” 및 “false” 값을 적어도 한 번 이뤄집니다). 그런 다음 수정된 조건/의사 결정 범위가 보장됩니다. MC/DC 적용 기준을 충족하기 위해 소프트웨어 테스트에서 아래 를 모두 테스트하는 동안 수정된 조건/의사 결정 범위(MC/DC)는 테스트 중에 아래 를 모두 요구하는 코드 검사 기준입니다.[1] MCDC 마스킹 하위 표현식에서 조건 마스킹을 계산하므로 MCDC의 고유한 원인 정의에 비해 만족스러운 MCDC 목표가 증가합니다. 결과적으로 고유한 원인 MCDC 정의를 사용하여 완전한 MCDC 커버리지 미만을 받는 일부 Simulink 모델은 마스킹 MCDC 정의를 사용할 때 더 많은 커버리지를 받습니다. 상태 흐름® 차트, 조건 A 및 조건 C에 대한 두 개의 입력이 독립적으로 변경할 수 없는 다음 예제를 고려하십시오.

한 번은 “진실”로 평가하고 한 번은 “거짓”으로 평가했으며, 이것은 결정의 결과에 영향을 미칩니다. 즉, 테스트 사례에서 다른 원자 조건의 값을 변경하면 결정 결과가 변경됩니다. 이전의 두 테스트만으로는 어떤 조건이 판정의 평가에 영향을 미치는지 알 수 없습니다…

Share on Google+Share on FacebookTweet about this on Twitter
error: Садржај је заштићен !!