화이트 박스 테스팅

• 모듈의 원시 코드를 오픈 시킨 상태에서 수행하는 테스트

• 원시 코드의 논리적인 경로들을 고려하여 테스트 케이스를 설계하는 방법

• 구조적 테스트: 설계된 절차에 초점을 두는 테스트 방법

• 테스트 과정 초기에 적용

• 모듈 안 동작을 직접 관찰

• 원시 코드(모듈)의 모든 문장을 한번 이상 실행함으로써 수행

• 프로그램 제어 구조에 따라 선택, 반복 등의 분기점 부분들을 수행

• 제어 흐름 그래프

  • 소스 코드를 입력하여 코드의 실행 시작부터 종료까지 제어 흐름을 플로우 차트로 표현
  • 화이트 박스 테스트 수행 전 제어 흐름 그래프를 먼저 작성해야함

기법들

• 기초 경로 검사(Base path testing)

  • 대표적인 화이트 박스 테스팅 기법
  • 테스트 케이스 설계자가 절차적 설계의 논리적 복잡성을 측정하게 해줌
  • 측정 결과는 실행 경로의 기초를 정의하는데 지침으로 사용

• 제어 구조 검사(Control structure testing)

  • 조건 검사: 프로그램 모듈 내에 있는 논리적 조건을 활용하는 테스트
  • 루프 검사: 프로그램의 반복 구조에 초점을 맞춰 테스트
  • 데이터 흐름 검사: 프로그램에서 변수의 정의와 변수 사용 위치에 초점을 맞춰 테스트

• 문장 검증 기준(statement coverage)

  • 경로 기반 테스트 케이스를 선정하는 첫 번째 방법

  • 프로그램 내의 모든 문장이 최소한 한번은 실행될 수 있는 테스트 데이터를 갖는 테스트 케이스 선정

    

  • 테스팅 순서

    1. 원시코드 → 제어 흐름 그래프로 바꿈

       

    2. 가능한 모든 경로 구함

       1. 프로그램 내의 모든 문장이 최소한 한번 실행될 수 있는 테스트 케이스 선정

       

    3. 모든 경로 중 문자 검증 기준을 만족하는 경로 선택

       

    4. 선택한 경로에 해당하는 테스트 데이터를 가지고 실행

       

  • 문제점

    • 원래는 and인데 실수로 or로 코딩한 경우 이 방법으로는 오류를 찾지 못함
    • and, or인 경우 모두 (나) 부분을 지나가기 때문
    • Z>1식을 Z>0으로 잘못 코딩해도 오류 찾지 못함
    • or의 특성이 둘 중 하나만 만족하면 다른 조건식은 결과에 영향을 안주기 때문

• 분기 검증 기준(결정 검증 기준)

  • 모든 분기를 적어도 한번 거쳐 가도록 경로를 선정
  • 조건문에 대해 T, F가 최소 한번은 실행되는 입력 데이터를 테스트 케이스로 사용
  • 분기 시점 또는 합류 위치에서 조건과 관련된 오류를 발견할 가능성이 높음
  • switch문에서 모든 case문과 default문이 선정되어야 함
  • for문이나 while문에서 적어도 한번 루프 내부가 실행되어야 함

  

  • 테스팅 순서

    1. 원시코드 → 제어 흐름 그래프

    2. 가능한 모든 경로 구함

    3. 모든 경로 중 분기 검증 기준을 만족하는 경로 선택

       1. 네 개의 경로 중 하나만으로는 분기 검증 기준을 만족시키지 못함
       2. 두개의 경로 묶어서 분기 검증 기준을 만족시키는 경우 찾음
       3. ( 1 , 2 ), ( 1 , 3 ), ( 1 , 4 ), ( 2 , 3 ), ( 2 , 4 ), ( 3 , 4 ) → ( 1 , 4 ) 또는 ( 2 , 3 )

       

  • 문제점

    • 경로 1,4: (다) 에서 Z>1를 Z<1로 코딩 실수 해도 오류를 발견하지 못함
    • 조건식이 or로 연결되어 있어 둘 중 하나라도 T이면 다른 식이 무엇이든 관계없이 조건문의 결과 값에 영향을 주지 않기 때문

    

    • and 연산에서 오류 발생할 수 있음 주의

• 조건 검증 기준(condition coverage)

  • 두 개의 개별 조건식이 존재할 때 개별 조건식의 T와 F를 최소한 한번은 테스트 할 수 있도록 테스트 케이스 선정
  • 분기 검증 기준에서 발견하지 못한 오류(개별 조건식에 존재하는 오류)를 발견할 수 있음
  • 조건 검증 기준의 테스트 케이스 4가지

    • (가)의 개별 조건식을 만족하는 테스트 케이스: (T,T), (F,F) / (T,F), (F,T)

      

    • (다)의 개별 조건식을 만족하는 테스트 케이스: (T,T), (F,F) / (T,F), (F,T)