[7급 국가직 소프트웨어공학 2012년 18번]

다음 C 프로그램이 조건 커버리지(condition coverage)를 100 % 만족하기 위한 테스트 데이터 집합은? (단, short-circuit evaluation은 수행하지 않는다)
void foo(int x, int y, int z) {
   if (x>10 && y==10) z=5;
   if (x==10 || z>3) z=z+10;
 
   printf("%d", z);
}
소프트웨어공학
  1. ①(x: 10, y: 10, z:10), (x: 20, y: 10, z: 3)
  2. ②(x: 10, y: 20, z: 0), (x: 20, y: 20, z: 20)
  3. ③(x: 20, y: 10, z: 3), (x: 20, y: 20, z: 20)
  4. ④(x: 20, y: 10, z:10), (x: 10, y: 20, z: 0)

선지를 골라 바로 채점해 보세요.

정답 ④

출처: 인사혁신처 공개 기출(공공데이터포털, 이용허락 제한 없음)

신고가 접수됐습니다. 감사합니다.

오류 신고