White Box Testing 데이터 흐름 테스팅

Data Flow Testing (데이터 흐름 테스팅) 정의

- Data가 정의되고 사용된 위치에 따라서 Path를 선택하는 기법

 

 

 

데이터 흐름 테스트 이론

 

 

특징

- Data Flow Test는 Data에 의해서 발생하는 오류를 파악하기 위해 Control Flow Graph를 사용한다.

- Path Teating, Branch Teating, Statement Testing 과의 갭 차이를 메우는 Path 선택 기법이다.

read(x,y):
	z = x + 2;
	if (x < y )
		w = x + 1;
	else
		y = y + 1;
	print (x,y,w,z)

 

- 위와 같은 코드가 있을 때, y의 흐름에 따라 테스트를 진행할 수 있다. (x, z도 가능하다)

 

Data Flow Test은
Data의 "Define"과 "Use"를 중심으로 테스트케이스를 도출한다.

---

 

 

Define Use Testing - DU Testing

- Data Flow Testing 기법 중 하나

- CFG의 변수와 관련한 path를 사용

 

 

a. 구성요소

 

1. 정의(Define node) : d, Defined, Created, Initalized

ㄴ 사용하기 위해 정의하는 것

 

 

2. 사용(Use node) : u, Used

ㄴ 계산에 사용 : c-use ( a=a+1 와 같은 계산, p-use 이외에는 모두 c-use)

ㄴ 결정에 사용 : p-use (n!=0과 같은 조건문)

 

 

 

 

b. 사용하는 기법/방법

 

- All-Edges & All-Nodes : 프로그램의 모든 edge가 포함되도록 path를 선정 (Branch Test와 비슷)

- All-Path : 프로그램의 모든 path ( Path Test와 비슷)

- All-defs : define 된 후, 적어도 한 번은 사용(c-use, p-use) 되는 path

- All-p-use : define된 후, 값이 변하지 않고 p-use 되는 path

- All-c-use : define된 후, 값이 변하지 않고 c-use 되는 path

- All-c-use/Some-p-use : All-c-use를 적용시킨 후, c-use가 존재하지 않는 변수에 대해 p-use를 적용시킨 path

- All-p-use/Some-c-use: All-c-use를 적용시킨 후, p-use가 존재하지 않는 변수에 대해 c-use를 적용시킨 path

- All-uses : define-> c-use, define-> p-use를 만족하는 모든 path

- All-du-path : 모든 define 노드로부터 definition clear path(d, u 사이에 또 다른 d를 포함하지 않는 경로)를 가지는 경우

 

c. 커버리지 강도 비교

All-du-path > All-uses > All-c-use/Some-p-use > All-p-use/Some-c-use > All-defs > All-p-use (All-c-use)

 

출처 : https://www.youtube.com/watch?v=m_TQ-jsfRwM

 

 

 

---

함께 공부해볼 만한 테스팅 개념

 

 

Whith Box Testing 제어 흐름 테스팅