정보처리기사 CBT
종목 메뉴

개념 한 쪽

정보처리기사 테스트 지식 체계 — 검증과 확인·테스트 유형

소프트웨어 테스트의 기초가 되는 대조 개념이 두 쌍 있다. 하나는 검증(Verification)과 확인(Validation)이고, 다른 하나는 화이트박스와 블랙박스 테스트다. 정보처리기사에서는 이 구분들이 정의 문장 그대로 반복해서 출제된다.

2026-10-19 기준 · 정보처리기사 대시보드

이 개념을 문제로 확인하고 싶으면 이 개념 문제 10개 풀기 회원용

가입 없이 오늘의 10문제 바로 풀기 →

시험에 이렇게 나온다

출제기준 단원 「테스트 지식 체계」의 공개 문제 3개를 묻는 꼴별로 나누면 이렇습니다.

묻는 꼴문제 수무엇을 묻나
화이트박스 설명 판정(틀린 문장)1화이트박스 특성·기법 중 옳지 않은 문장 찾기
정의 판별(검증·확인 구분)1검증과 확인 정의 중 잘못된 진술 고르기
절차 판정(테스트 케이스 작성 순서)1테스트 케이스 작성의 올바른 순서인지 판단하기

뜻

검증(Verification)은 '제품을 올바르게 만들었는가'를 묻는 활동으로, 개발 과정에서 요구사항 명세나 설계 도안이 제대로 준수되었는지, 즉 명세에 맞게 만들었는지를 확인한다. 확인(Validation)은 '올바른 제품을 만들었는가'를 묻는 활동으로, 최종 산출물이 사용자의 실제 요구사항이나 기대를 충족하는지 평가한다. 요약하면 검증은 명세 준수(과정 중심), 확인은 사용자 요구 적합성(결과 중심)이다. 두 정의를 뒤바꿔 서술한 보기가 단골 오답으로 출제된다.

테스트 방식은 구조를 보느냐에 따라 갈린다. 화이트박스 테스트는 모듈의 논리적 구조를 체계적으로 점검하는 구조 테스트로, 프로그램 원시 코드의 논리적인 구조를 커버하도록 테스트 케이스를 설계하며 기초 경로 검사, 조건 검사, 데이터 흐름 검사, 루프 검사 등의 유형이 있다. 원시코드의 모든 문장이 최소 한 번은 수행되도록 하고 제어 구조(선택, 반복문 등)를 점검하며, 실제 프로그램을 실행하는 동적 테스트에 검증 기준(커버리지) 설정이 따른다. 기본 경로(Basis Path)는 싸이클 허용 여부와 무관하게 논리적으로 독립적인 경로를 의미한다.

블랙박스 테스트는 내부 구조를 고려하지 않고 소프트웨어 산물을 각 기능별로 적절한 정보영역을 정하여, 적합한 입력에 대한 출력의 정확성을 점검한다. 화이트박스의 설명 자리에 이 블랙박스 정의를 끼워 넣은 보기가 '옳지 않은 것'의 정답이 된다. 비교 검사도 외부 결과값을 대조하는 블랙박스 기법이므로 화이트박스 기법으로 분류하면 틀린 설명이 된다.

테스트 케이스는 테스트 목표와 방법을 먼저 결정한 뒤, 그에 따라 설계하고 작성한다. 순서를 뒤집어 테스트 케이스를 먼저 만든다고 서술한 보기는 틀린 설명이 된다.

예제

시험에서는 '검증과 확인에 대한 설명으로 틀린 것은?' 꼴로 두 정의를 뒤섞은 보기가 나온다. '검증이 사용자 요구 적합성을 본다'고 하면 틀린 설명이다. '모듈의 논리적 구조를 체계적으로 점검하는 구조 테스트이며 기초 경로·조건·데이터 흐름·루프 검사가 있는 것은?'의 답은 화이트박스 테스트이고, '기능별 정보영역을 정해 입출력 정확성을 점검한다'는 블랙박스의 정의다. '기본 경로는 싸이클을 허용하지 않는 경로'라는 보기도 정의 오류로 자주 등장한다.

대표 기출 3문항

블랙박스 테스트 기법으로 거리가 먼 것은?

  1. 기초 경로 검사
  2. 동치 클래스 분해
  3. 경계값 분석
  4. 원인 결과 그래프
정답과 해설 보기

정답 ① · 블랙박스 테스트 기법에 해당하지 않는 것을 고르는 문제이다. 기초 경로 검사는 소스 코드의 제어 흐름을 분석해 수행 가능한 경로를 도출하는 화이트박스 테스트 기법이다.

기초 경로 검사는 소스 코드의 구조를 분석하는 화이트박스 테스트 기법이며, 블랙박스 테스트 기법이 아니다.

필드 테스팅(field testing)이라고도 불리며 개발자 없이 고객의 사용 환경에 소프트웨어를 설치하여 검사를 수행하는 인수검사 기법은?

  1. 베타 검사
  2. 알파 검사
  3. 형상 검사
  4. 복구 검사
정답과 해설 보기

정답 ① · 개발자가 아닌 고객의 실제 사용 환경에서 수행하는 인수검사 기법을 묻는 문제이다. 개발자의 입회 없이 실제 사용자 환경에서 수행하는 검사를 베타 검사라 하며, 이를 필드 테스팅이라고도 부른다.

개발자 없이 고객 환경에서 수행하는 검사는 베타 검사(Beta Testing)이다.

개별 모듈을 시험하는 것으로 모듈이 정확하게 구현되었는지, 예정한 기능이 제대로 수행되는지를 점검하는 것이 주요 목적인 테스트는?

  1. 통합 테스트(Integration Test)
  2. 단위 테스트(Unit Test)
  3. 시스템 테스트(System Test)
  4. 인수 테스트(Acceptance Test)
정답과 해설 보기

정답 ② · 소프트웨어 테스트 단계 중 개별 모듈의 구현 정확성과 기능 수행을 점검하는 테스트를 찾는 문제이다. 단위 테스트는 소프트웨어 개발의 최소 단위인 개별 모듈이나 서브루틴이 상세 설계 명세에 맞게 작동하는지 독립적으로 검증하는 단계이다.

개별 모듈의 기능 구현 여부를 점검하는 테스트는 단위 테스트(Unit Test)이다.

자주 묻는 물음

검증(Verification)과 확인(Validation)은 어떻게 다른가요?
검증은 '제품을 올바르게 만들었는가', 즉 명세나 설계를 제대로 준수했는지 보는 과정 중심 활동입니다. 확인은 '올바른 제품을 만들었는가', 즉 최종 산출물이 사용자의 실제 요구를 충족하는지 보는 결과 중심 활동입니다.
구조 테스트란 무엇인가요?
모듈의 논리적 구조를 체계적으로 점검하는 화이트박스 테스트를 뜻합니다. 기초 경로 검사, 조건 검사, 데이터 흐름 검사, 루프 검사 등의 유형이 있습니다.
테스트 케이스는 언제 작성하나요?
테스트 목표와 방법을 결정한 뒤, 그 결정을 바탕으로 설계하고 작성합니다. 테스트 케이스를 먼저 만들고 목표를 나중에 정한다는 설명은 틀린 것입니다.
이 개념 문제 10개 풀기 회원용

정보처리기사 풀이 세트에서 이 개념의 문제 10개를 바로 풀어 보세요.