다음 코드에 대해 조건 커버리지를 100 % 만족하는 테스트 케이스 집… | [7급 국가직 소프트웨어공학] 25년 1회차 기출문제 상세 페이지
1[7급 국가직 소프트웨어공학] 25년 1회차
다음 코드에 대해 조건 커버리지를 100 % 만족하는 테스트 케이스 집합은? (단, 단축연산(short-circuit evaluation)은 수행하지 않는다)if(a > 5 && b == 0)
printf("첫 번째 조건 충족\n");
if(a == 3 || b < 0)
printf("두 번째 조건 충족\n");
1
{(a ＝ 2, b ＝ 0), (a ＝ 2, b ＝ 1)}2
{(a ＝ 3, b ＝ 0), (a ＝ 4, b ＝ －2)}3
{(a ＝ 6, b ＝ 0), (a ＝ 2, b ＝ 1)}4
{(a ＝ 6, b ＝ 0), (a ＝ 3, b ＝ －1)}해설
조건 커버리지를 만족하는 집합은 {(a=6, b=0), (a=3, b=－1)}이다.
조건 커버리지는 각 개별 조건(a>5, b==0, a==3, b<0)이 참과 거짓을 모두 한 번 이상 가져야 한다. (6, 0)은 a>5·b==0이 참, a==3·b<0이 거짓이고, (3, －1)은 정확히 반대라 네 조건 모두 양쪽 값을 얻는다.
- {(2, 0), (2, 1)}: a>5와 a==3, b<0이 한 번도 참이 되지 않는다.
- {(3, 0), (4, －2)}: a>5가 한 번도 참이 되지 않는다.
- {(6, 0), (2, 1)}: 두 번째 if의 a==3과 b<0이 모두 참이 되지 않는다.
오류나 개정된 내용이 보이면 알려주세요