Whith Box Testing 제어 흐름 테스팅

Control Flow Testing 제어 흐름 테스팅 이란?

- 프로그램의 제어 흐름을 이용하는 모델

- 구조적 테스팅 기법에 속한다.

- 프로그램 내의 모든 path를 적절하게 선택하는 것을 기반으로 한다.

 

 

제어 흐름 테스팅 이론

 

---

전제조건

 

1. 설계 명세서가 정확해야 한다.

2. Data는 올바르게 정의/접근되어야 한다.

3. Control Flow에 영향을 미치는 것을 제외하고 버그가 없어야 한다.

 

---

 

Control Structure 제어 구조

 

- Control Flow Test는 "Control Structure"를 중심으로 테스트케이스를 도출
- Sequence : a → b → c로 가는 경로
- Branching(Selection) : a에서 b로 갈지 c로 갈지 고르는 조건문
- Iteration : for, while 등의 반복문
​

---

Control Flow Graph 제어 흐름 그래프

 

- CFG: 제어 흐름 그래프
- 프로그램의 제어 흐름을 그래프로 표현

Three Premitives

1. Decision(branch) :  제어 흐름이 분기되는 지점 (if, case)

2. Junction(join) :  제어 흐름이 합쳐지는 지점 (end if, end loop)

3. Process Block :  흐름이 연속적인 상태, 하나의 입구(Entry)와 하나의 출구(Exit)를 가짐.

 

제어 흐름 그래프의 예시

---

 

Path 경로

- Entry, Decision, Junction에서 시작하여, 다른 Decision, Junction, Exit에서 끝나는 상태(statement)의 순서
- Link(edge)는 가장 작은 구분으로 두 Node 사이를 연결하는 프로세스이다.
- Complete Path(Entry/Exit path)는 어떤 처리 순서의 시작점에서 시작하고, 동일한 처리 순서의 종료점에서 끝나는 path이다. ☞완전한 경로를 말함.

 

 

---

Complete Path 완전한 경로

Complete Path가 테스트에 유용하다.
- 임의의 statement에서 시작하는 것은 어렵다.
- 임의의 statement에서 중지하는 것은 어렵다.
- 일반적으로 input/output에 따라 처리 순서를 생각한다.

 

 

---

Testing Criteria 테스팅 기준

1. Path Testing (Pinf)

- 가능한 모든 path에 대해 test를 수행한다.
- 모든 가능한 Entry/Exit에 제한된다.
- Loop가 존재하는 경우 무한 수의 path가 존재할 수 있다.

2. Statement Testing (P1)

- 모든 Statement에 대해 최소 1회의 test를 수행한다.

3. Branch Testing (P2)

- 모든 분기문에 대해 최소 1회의 test를 수행

​테스팅 강도

P1 < P2 < ..... < Pinf
 - 테스트에 따라 강도를 높여가는 test를 수행

 

 

 

 

 

 

---

예제 코드

절대값을 구하는 프로그램 코드

Int ABS(int x)
{
     if(x < 0)
         x = -x;
     return 0 ;
}

 

1. Flow Graph

2. Statement Testing

- node를 한 번씩만 지나면 된다.

- acde 경로 하나만 지나면 100% 만족한다.

 

3. Branch Testing

- 분기가 되는 T, F를 꼭 한 번씩 지나야 한다.

- acde, ade 두 개의 경로를 지나면 100% 만족한다.

 

 

---

함께 공부 해볼 만한 테스팅 이론

White Box Testing 데이터 흐름 테스팅