White-Box Testing (=Structural Testing구조적테스팅) / 화이트박스 테스트

White-Box Testing (=Structural Testing구조적테스팅) / 화이트박스 테스트

White-Box Testing (=Structural Testing구조적테스팅)

: 원시코드를 직접 참조하면서 시험을 수행하는 것-프로그램구조를 따라가면서 테스트

(블랙박스와는 반대로 프로그램 구조를 알아야함))

White-Box Testing 방법 (4가지)

문장 검증 기준 (Statement Coverage) : 모든 실행문의 수행 조사

분기 검증 기준 (Branch Coverage) : 분기점 조사

조건 검증 기준 (Condition Coverage) : 개별 조건 조사

경로 검증 기준 (Path Coverage) : 경로 검사

<s>
</s>

<s>다중 조건 검증 기준 </s><s>(Multiple Condition Coverage) : </s><s>전체 조건 검사</s>

White-Box Testing의 필요성

① 블랙박스 시험만으로는 프로그램의 모든 실행 문이 실제로 실행되는지 알 수 없음

② 블랙박스 시험만으로는 부작용을 예측하기 어려움

③ 화이트박스 시험으로 프로그램 내에 불필요한 기능이 있는 경우 이를 찾아낼 수 있음

④ 화이트박스 시험으로 프로그램에 오자(Type Error)가 있는 경우 이를 찾아낼 수 있음

블랙박스가 화이트박스보다 이득이 더많음( 노력에비해 검출능력이 더좋음)

1)문장 검증 기준 (Statement Coverage) : 모든 실행문의 수행 조사

: 프로그램을 구성하는 모든 문장들이 최소한 한번은 실행될 수 있는 입력 값을 Test

Case로 선정하는 방법

[예제] 아래 프로그램을 테스트할 때 문장 범위를 적용하여 추출한 테스트 케이스

2)분기 검증 기준 (Branch Coverage) : 분기점 조사

​

3)조건 검증 기준 (Condition Coverage) : 개별 조건 조사

조건 조사(Condition Testing)란 충분한 시험 사례를 설계하여 조건문의 모든 조건식

(IF, WHILE문)을 만족하는 경우와 만족하지 않는 경우를 검사하는 것

(각 개별 조건식이 참 한 번, 거짓 한 번을 갖도록 테스트 케이스를 만드는 방법)

​

​

조건 검증 기준이 각 개별 조건식의 조건(참 한번, 거짓 한번)을 검사하는 것이라면,

다중조건 검증 기준은 전체 조건식의 조건을 검사하는 테스트 케이스를 만드는방법

[예제] 조건 검증 기준의 예제를 다중조건 커버리지를 적용하여 추출한 테스트 케이스와 진리표

​

4)경로 검증 기준 (Path Coverage) : 경로 검사