< 소프트웨어 테스트 >
- 개발된 응용 애플리케이션이나 시스템이 사용자가 요구하는 기능성과 성능, 사용성, 안정성 등을 만족하는지 확인하고, 노출되지 않은 숨어있는 소프트웨어의 결함을 찾아내는 활동
< 소프트웨어 테스트 필요성 >
- 오류 발견 관점
- 프로그램에 잠재된 오류를 발견하고 이를 수정하여 올바른 프로그램을 개발하기 위해 필요
- 오류 예방 관점
- 프로그램 실행 전에 동료 검토, 워크스루, 인스펙션 등을 통해 오류를 사전에 발견하는 예방 차원의 필요
- 품질 향상 관점
- 사용자의 요구사항 및 기대 수준을 만족하도록 반복적인 테스트를 거쳐 제품의 신뢰도를 향상하는 품질 보증을 위해 필요
< 소프트웨어 테스트 원리 >
- 테스팅은 결함이 존재함을 밝히는 것
- 결함이 존재함을 밝히는 활동
- 결함이 없다는 것을 증명할 수는 없음
- 결함을 줄이는 활동
- 완벽한 테스팅은 불가능
- 완벽하게 테스팅하려는 시도는 불필요한 시간과 자원낭비
- 무한경로, 무한입력값으로 인한 테스트 어려움
- 개발 초기에 테스팅 시작
- 조기 테스트 설계 시 장점: 테스팅 결과를 단시간에 알 수있고, 테스팅 기간 단축, 재작업을 줄여 개발 기간 단축 및 결함 예방
- SW 개발 초기 체계적인 분석 및 설계가 수행되지 못하면 그 결과가 프로젝트 후반에 영향을 미치게 되어 비용키 커진다는 요르돈의 법칙 적용
- 결함 집중
- 적은 수의 모듈에서 대다수의 결함이 발견됨
- 소프트웨어 테스트에서 오류의 80%는 전체 모듈의 20% 내에서 발견
- 파레토 법칙의 내용인 80 대 20 법칙 적용
- 살충제 패러독스
- 동일한 테스트 케이스에 의한 반복적 테스트는 새로운 버그를 찾지 못함
- 테스트 케이스의 정기적 리뷰와 개선 및 다른 시각에서의 접근이 필요
- 테스팅은 정황에 의존적
- 소프트웨어의 성격에 맞게 테스트 실시
- 정황과 비즈니스 도메인에 따라 테스트를 다르게 수행
- 오류-부재의 궤변
- 요구사항을 충족시켜주지 못한다면, 결함이 없다고 해도 품질이 높다고 볼 수 없음
< 테스트 기법에 따른 분류 >
< 화이트박스 테스트 – 구조 기반 >
- 각 응용 프로그램의 내부 구조와 동작을 검사하는 소프트웨어 테스트
< 화이트박스 테스트 유형 >
- 구문 커버리지 = 문장 커버리지 (Statement Coverage)
- 구문 커버리지는 프로그램 내의 모든 명령문을 적어도 한 번 수행하는 커버리지
- 조건문 결과와 관계없이 구문 실행 개수로 계산
- 결정 커버리지 = 선택 커버리지 (Decision Coverage) = 분기 커버리지 (Branch Coverage)
- 결정 커버리지는 결정 포인트 내의 전체 조건식이 적어도 한 번은 참과 거짓의 결과를 수행하는 테스트 커버리지
- 구문 커버리지를 포함
- 조건 커버리지 (Condition Coverage)
- 결정 포인트 내의 각 개별 조건식이 적어도 한 번은 참과 거짓의 결과가 되도록 수행하는 테스트 커버리지
- 구문 커버리지를 포함
- 조건/결정 커버리지 (Condition/Decision Coverage)
- 전체 조건식뿐만 아니라 개별 조건식도 참 한 번, 거짓 한 번 결과가 되도록 수행하는 테스트 커버리지
- 변경 조건/결정 커버리지 (Modified Condition/Decisipn Ceverage)
- 개별 조건식이 다른 개별 조건식에 영향을 받지 않고 전체 조건식에 독립적으로 영향을 주도록 함으로써 조건/결정 커버리지를 향상시킨 커버리지
- 다중조건 커버리지 (Multiple Condition Coverage)
- 결정 조건 내 모든 개별 조건식의 모든 가능한 조합을 100% 보장하는 커버리지
- 기본 경로 커버리지 = 경로 커버리지 (Base Path Coverage)
- 기본 경로 커버리지는 수행 가능한 모든 경로를 테스트하는 기법
- 제어 흐름 테스트 (Control Flow Testing)
- 프로그램 제어 구조를 그래프 형태로 나타내어 내부로직을 테스트하는 기법
- 데이터 흐름 테스트 (Data Flow Testing)
- 제어 흐름 그래프에 데이터 사용현황을 추가한 그래프를 통해 테스트하는 기법
< 블랙박스 테스트 – 경험 기반 >
- 외부 사용자의 요구사항 명세를 보면서 수행하는 테스트
< 블랙박스 테스트 유형 >
- 동등분할 테스트 = 동치분할, 균등분할, 동치클래스 분해 (Equivalence Partitioning Testing)
- 입력 데이터의 영역을 유사한 도메인별로 유효값/무효값을 그룹핑하여 대푯값 테스트 케이스를 도출하여 테스트하는 기법
- 경계값 분석 테스트 = 한곗값 테스트 (Boundary Value Analysis Testing)
- 경곗값 분석 테스트는 등가 분할 후 경곗값 부분에서 오류 발생 확률이 높기 때문에 경곗값을 포함하여 테스트 케이스를 설계하여 테스트하는 기법
- 최솟값 바로 위, 최대치 바로 아래 등 입력값의 극한 한계를 테스트하는 기법
- 결정 테이블 테스트 (Decision Table Testing)
- 결정 테이블 테스트는 요구사항의 논리와 발생조건을 테이블 형태로 나열하여, 조건과 행위를 모두 조합하여 테스트하는 기법
- 상태 전이 테스트 (State transition testing)
- 대산 시스템이나 객체의 상태를 구분하고 이벤트에 의해 어느 한 상태에서 다른 상태로 전이되는 경우의 수를 수행하는 테스트 기법
- 유스케이스 테스트 (Use Case Testing)
- 시스템이 실제 사용되는 유스케이스로 모델링 되어 있을 때 프로세스 흐름을 기반으로 테스트 케이스를 명세화하여 수행하는 테스트 기법
- 분류 트리 테스트 (Classification Tree Graphing Testing)
- SW의 일부 또는 전체를 트리 구조로 분석 및 표현하여 테스트 케이스를 설계하여 테스트하는 기법
- 페어와이즈 테스트 (Pairwise Testing)
- 테스트 데이터값들 간에 최소한 한 번씩을 조합하는 방식이며, 이는 커버해야 할 기능적 범위를 모든 조합에 비해 상대적으로 적은 양의 테스트 세트를 구성하기 위한 테스트 기법
- 원인-결과 그래프 테스트 (Cause-Effect Graphing Testing)
- 그래프를 활용하여 입력 데이터 간의 관계 및 출력에 미치는 영향을 분석하여 효용성이 높은 테스트 케이스를 선정하여 테스트하는 기법
- 비교 테스트 (Comparison Testing)
- 여러 버전의 프로그램에 같은 입력값을 넣어서 동일한 결과 데이터가 나오는지 비교해 보는 테스트 기법
< 테스트 오라클 >
- 테스트의 결과가 참인지 거짓인지를 판단하기 위해서 사전에 정의된 참값을 입력하여 비교하는 기법
< 테스트 오라클 종류 >
- 참 오라클
- 모든 입력값에 대하여 기대하는 결과를 생성함으로써 발생된 오류를 모두 검출할 수 있는 오라클
- 샘플링 오라클
- 특정한 몇 개의 입력값에 대해서만 기대하는 결과를 제공해 주는 오라클
- 휴리스틱 오라클
- 샘플링 오라클을 개선한 오라클, 특정 입력값에 대해 올바른 결과를 제공하고 나머지 값들에 대해서는 휴리스틱으로 처리하는 오라클
- 일관성 검사 오라클
- 애플리케이션 변경이 있을 때 수행 전과 후의 결괏값이 동일한지 확인하는 오라클
< 테스트 레벨 종류 >
- 단위 테스트
- 사용자 요구사항에 대한 단위 모듈, 서브루틴 등을 테스트하는 단계
- 자료 구조 테스트, 실행경로 테스트, 오류 처리 테스트, 인터페이스 테스트
- 통합 테스트
- 단위 테스트를 통과한 모듈 사이의 인터페이스, 통합된 컴포넌트 간의 상호작용을 검증하는 테스트
- 빅뱅 테스트, 샌드위치 테스트, 상향식 테스트, 하향식 테스트
- 시스템테스트
- 통합된 단위 시스템의 기능이 시스템에서 정상적으로 수행되는지를 검증하는 테스트 단계
- 기능∙비기능 요구사항 테스트
- 인수 테스트
- 계약상의 요구사항이 만족되었는지 확인하기 위한 테스트 단계
- 계약 인수, 규정 인수, 사용자 인수, 운영상의 인수, 알파 베타 테스트