49. (소프트웨어공학/SoftwareEngineering) 검사 기법 설명

---

[학습 구분]

​

과목 : 소프트웨어 공학

​

 

---

[설 명]

 

1. 소프트웨어 공학 검사 란 ? 소프트웨어 품질 보증 활동 중 하나로, 소프트웨어에 대한 요구 사항의 만족도 및
   예상 결과와 실제 결과의 차이점을 여러 방법을 사용해 검사하고 평가하는 일련의 과정을 의미합니다


2. 소프트웨어 공학 검사의 목적은 소프트웨어를 구성하는 요소들이 조화를 잘 이루며, 정상적으로 동작하고 성능이 요구에 맞는지 확인하기 위해 실행합니다


3. 소프트웨어 공학 검사의 목적을 달성하기 위한 규칙 (Glen Myers) : 

  - 오류를 찾기 위해 프로그램을 실행시키는 절차를 검사라 한다
  - 오류 발견 확률을 높이기 위해 훌륭한 검사 사례 (Test Case) 를 이용한다
  - 성공적인 검사는 아직 발견되지 않은 오류를 찾아내는 것이다


4. 소프트웨어 공학 검사 사례 (Test Case) 설계 고려 사항

  - 모듈 내의 모든 독립적인 경로가 적어도 한번은 수행되어야 한다
  - 가능한 복잡한 논리는 배제시킨다
  - 임의의 조건을 만족시켜야 한다
  - 내부 자료 구조를 사용해 테스트를 수행한다


5. 소프트웨어 공학 검사 기법 : 

  - 최소한의 시간과 노력으로 대부분의 오류를 찾아내기 위해 TC (테스트 케이스) 를 설계한다
  - TC (테스트 케이스)를 설계하는 검사 기법에는 화이트 박스 테스트와 블랙 박스 테스트가 있다


6. 화이트 박스 테스트 : 

  - 모듈의 원시 코드를 오픈 시킨 상태에서 원시 코드의 논리적인 모든 경로를 검사해 검사 사례를 설계하는 방법
  - 설계된 절차에 초점을 둔 구조적 테스트
  - 프로시저 설계의 제어 구조를 사용해 검사 사례 설계 
  - 테스트 과정의 초기에 적용
  - 모듈 안의 작동을 직접 관찰
  - 원시 코드의 모든 문장을 한번 이상 수행
  - 화이트 박스 테스트 기법에는 기초 경로 검사 , 제어 구조 검사 (조건 검사 , 루프 검사 , 데이터 흐름 검사) 등이 있다
  - 조건 검사 : 프로그램에 있는 각 조건을 검사하는데 초점을 맞추는 방법
  - 루프 검사 : 프로그램 반복 구조체 초첨을 맞춰서 검사
  - 데이터 흐름 검사 : 프로그램에서 변수 정의와 변수 사용 위치에 초점을 맞춰 실시하는 검사


7. 블랙 박스 테스트 : 

  - 소프트웨어가 수행할 특정 기능을 알기 위해서 각 기능이 완전히 작동 되는 것을 입증하는 검사로 기능 검사라고도 한다
  - 부정확하거나 누락된 기능 , 인터페이스 오류 , 자료 구조나 외부 데이터베이스 접근에 따른 오류 , 행위나 성능 오류 , 초기화와 종료 오류 등을 발견하기 위해 사용되며,
    테스트 과정의 후반에 적용된다
  - 소프트웨어 산출물의 각 기능 별로 적합한 입력과 출력 정확성을 검증
  - 블랙 박스 테스트 종류에는 동치 분할 검사 , 경계값 분석 , 원인-효과 그래프 검사 , 오류 예측 검사 , 비교 검사 등이 있다
  - 동치 분할 검사 : 입력 자료에 초점을 맞춰 검사 사례를 만들고 검사하는 방법 (동등 분할 기법 / 입력과 출력 결과 비교)
  - 경계값 분석 : 입력 자료에만 치중한 동치 분할 기법을 보완하기 위한 방법 , 입력 조건의 경계값을 검사 사례로 선정해 검사
  - 원인-효과 그래프 검사 : 입력 데이터간의 관계와 출력에 영향을 미치는 상황을 체계적으로 분석해 효용성 높은 검사 사례를 선정해 검사
  - 오류 예측 검사 : 과거의 경험이나 확인자의 감각으로 검사 (보충적 검사)
  - 비교 검사 : 여러 버전의 프로그램에서 동일한 검사 자료를 제공해 동일한 결과가 출력되는지 검사

---