9장 구조 기반 테스트 - 9.6 조건 테스트

9.6 조건 테스트

DO-178B에 따르면

조건: 논리 연산자(and, or)를 포함하지 않은 boolean 식

결정: 이러한 조건들이 논리 연산잘르 사용하여 구성된 boolean 식

 

그러나 switch문과 같이 true, false가 아닌 여러 값을 가질 수도 있기 때문에 반드시 boolean식으로 한정하진 않음

if (x>0 && y<=-3) {
    x=y+4;
    y=y-1;
}

 

x>0과 y<=-3은 식에 논리 연산자가 관여되지 않은 더 이상 분할될 수 없음

➡️ 관계 연산자(=, > <)만을 적용하거나 boolean 변수만으로 이루어진 식이 조건

 

 

결정 테스트 요건을 만족하는 테스트 집합 - true와 false가 되는 경우를 모두 실행했음

그러나 조건 y<=-3이 false가 되는 경우는 테스트하지 못 하고 있음

➡️ 조건 테스트는 모든 조건이 true가 되는 경우, false가 되는 경우를 테스트 집합으로 사용해야 함

 

조건 커버리지

 

 

조건 테스트와 결정 테스트의 관계

결정 테스트의 테스트 집합으로 조건 테스트를 만족할 수 없음

조건 테스트의 테스트 집합으로 결정 테스트를 만족할 수 없음

➡️ 서로 포용 관계가 아님