[소프트웨어 공학] 11. 검사방법, 검사전략
테스트 (검사) 검사기법 1) 화이트박스 테스트 : 내부구조 테스트, 주로 개발자가 행하는 (자료구조 X) – 내부작업 검사 - 선택, 반복 등의 부분을 수행함으로써 논리적 경로를 제어 - 모듈 내 작동을 직접 관찰 - 원시 코드의 모든 문장을 한번 이상 수행한다.
① 기초 경로 검사: 기초 논리 흐름 생성 논리 복잡도 측정 ② 조건 검사: 프로그램의 각 조건을 시험 ③ 루프 검사: 프로그램 반복 구조 검사 ④
2) 블랙박스 테스트: 기능 테스트, 내부 구조를 몰라 테스트 - 기능이 완전히 작동되는지 검사. 정확성 점검 외적인 면 검사 - 발견할 수 있는 오류 : 성능, 부정확한 기능, 인터페이스 오류, (논리 구조상의 오류 X)
① 동치분할검사: 입력조건에 맞는 값과 맞지 않는 값을 설정하고 동급 클래스내 임의의 값을 시험 ② 문턱치분석: 입력조건의 중간값이 아닌 문턱값에서의 시험 ③ 원인-결과 그래프 검사: 원인(입력)과 결과(출력)를 그래프로 표현하여 시험결과 유도 ④ 오류 예측검사: 소프트웨어 비교 또는 검사자의 감각으로 검사 ⑤ 원인-결과 그래프 검사: 동치 검사: 동치 검사: 동치 검사 결과들을 그래프로 표현하고, 시험 결과들을 통해 실험 결과들을 통해 수행한 결과들을 통해 표현하고 ⑤
* Rainbow test 옐로우 박스 테스트: 알파, 베타 테스트 레드 박스 테스트: 네트워크 및 프로토콜 테스트 그레이 박스 테스트: 화이트 박스 + 블랙 박스 테스트
검사전략검사절차: 단위(코드) → 통합(설계) → 검증(요구사항) → 시스템
1) 단위 검사 : 모듈에 대한 검사 (화이트 박스 테스트 기법 사용) stub, driver 필요 * driver : 모듈을 호출하는 가짜 메인 프로그램, stub : 입출력용 무기능 모듈
2) 통합검사 : 모듈을 연결하여 검사 ① 하향식(Top-down) 통합검사 : Stub 필요. 임시 시험용 모듈 ② 상향식 (Bottom-up) 통합 검사 : 하위 모듈 클러스터에 결합 → Driver 작성 → 클러스터 검사 → 드라이버를 제거하고 클러스터 상위에 결합
3) 검증 검사 : 요구 사항 충족 검사 (블랙 박스 테스트 기법 사용) ① 알파 검사 : 개발자의 장소에서 사용자가 시험하고 개발자는 뒤에서 지켜보는 검사 ② 베타 검사 : 사용자가 여러 사용자 앞에서 시험하는 검사
넷. 시스템 검사 : 해당 컴퓨터 시스템에서 수행되고 있는지를 검사 ① 복구 검사 : 여러 결함을 주어 실패시킨 후 복구하고 있는지 확인 ② 보안 검사 : 시스템 내에 설치된 보호 도구가 침투로부터 시스템을 보호할 수 있는지 검사 ③ 강도 검사 : 비정상적인 상황에서 소프트웨어를 실행시키기 위한 검사 ④ 성능 검사 : 실시간 성능 검사
McCabecyclomatic complexity 매케이브 순환 복잡도: Start에서 End로 가는 경우의 수, 화살표 수 - 노드 수 + 2
