소프트웨어 테스트란?

앞에서는 소프트웨어 테스트를 소개하고 중요한 이유를 살펴봤습니다. 이제 주제를 더 깊이 살펴보겠습니다. 먼저 정의를 다시 확인하겠습니다.

소프트웨어 테스트는 고객의 요구사항을 기준으로 소프트웨어의 기능을 평가합니다. 크게 두 가지로 나뉩니다.

1. 동적 테스트. 프로그램을 실행해 테스트합니다.
2. 정적 테스트. 코드와 관련 문서를 살펴봅니다.

동적 테스트와 정적 테스트는 함께 사용하는 경우가 많습니다.

블랙박스 테스트

블랙박스 테스트는 내부 구현을 살펴보지 않고 소프트웨어가 무엇을 하는지 확인합니다. 단위, 통합, 시스템, 인수 등 모든 테스트 수준에서 사용할 수 있습니다.

전체 크기 도표 열기 ↗

블랙박스 테스트

블랙박스 테스트에서는 소프트웨어가 해야 하는 일에 집중합니다. 테스트 케이스는 프로그램 내부 로직에 의존하지 않고 명세와 요구사항을 바탕으로 작성합니다. 유효한 입력과 유효하지 않은 입력을 제공한 다음 출력을 확인합니다.

화이트박스 테스트

화이트박스 테스트는 소스 코드의 내부 로직과 구현, 동작을 살펴봅니다. 테스트 케이스는 소프트웨어가 내부에서 어떻게 작동하는지 확인합니다. 단위, 통합 및 시스템 수준에서 사용할 수 있습니다. 다른 방법으로 찾기 어려운 내부 설계 오류를 발견할 수 있지만, 누락된 요구사항이나 명세를 찾아내지는 못합니다.

전체 크기 도표 열기 ↗

화이트박스 테스트

문장 커버리지

문장 커버리지는 각 코드 블록의 모든 문장이 적어도 한 번 실행되는지, 그리고 그 결과를 관찰하는지 확인합니다. 라인 커버리지 또는 세그먼트 커버리지라고도 부릅니다.

모든 문장을 실행한다고 해서 모든 조건을 반드시 확인하는 것은 아닙니다. 따라서 문장 커버리지가 완전해도 일부 오류를 발견하지 못할 수 있습니다.

결정 커버리지

결정 커버리지는 분기 커버리지라고도 합니다. 각 결정의 참과 거짓을 포함해 모든 결과를 테스트합니다. 분기는 결정에서 나올 수 있는 결과 중 하나입니다. 문장 커버리지만 적용할 때보다 더 넓은 범위를 확인합니다. 결정에 사용하는 문장의 예는 다음과 같습니다.

1. IF 문.
2. do-while과 같은 반복 제어문.
3. 가능한 결과가 두 가지 이상인 CASE 문.

결정 커버리지는 코드의 각 분기를 검증합니다. 문장 커버리지만 적용할 때보다 더 철저히 검사할 수 있습니다.

조건 커버리지

조건 커버리지는 개별 불리언 조건의 참과 거짓 결과를 테스트합니다. 이러한 조건은 결정의 결과에 중요한 영향을 줄 수 있습니다. 조건을 모두 확인해도 결정 커버리지가 반드시 완전해지는 것은 아닙니다.

결정 및 조건 커버리지

결정과 그 안에 있는 개별 논리 조건을 함께 테스트하는 방식입니다. 결정과 조건 모두에서 참과 거짓 결과를 확인하므로 소프트웨어를 면밀하게 검증할 수 있습니다.

다중 조건 커버리지

다중 조건 커버리지는 조건 조합 커버리지라고도 하며, 여러 조건 조합에서 출력을 확인합니다. 다음 예를 살펴보겠습니다.
If (x=true OR y=true)
   Then
Print (“Hello”)
   Else
Print (“Bye”)

이 예에는 네 가지 조건 조합이 있습니다.
테스트 케이스 1. x=true; y=true
테스트 케이스 2. x=true; y=false
테스트 케이스 3. x=false; y=true
테스트 케이스 4. x=false; y=false

같은 방식으로 불리언 조건이 세 가지라면 가능한 조합은 여덟 가지입니다.