[SW공학] 소프트웨어 검증 및 확인

 

검증(Verification)

= Are we building the product right?

- 소프트웨어가 요구사항에 부합하여 구현되었음을 보장

- 요구사항 명세서 등 spec에 맞게 올바른 방법으로 제품을 만들고 있음을 보장

 

 

확인(Validation)

= Are we building the right product?

- 소프트웨어 사용자가 의도한 요구사항에 따라 구현되었음을 보장

- 사용자가 의도한 환경이나 목적에 맞게 올바른 제품을 만들고 있음을 보장

 

 

 

검증 및 확인 기법 분류

1. Static- 실행X

: 산출물 문서 및 소스 코드를 실행시키지 않고, 수작업이나 자동화 도구를 이용하여 분석(모든 개발 산출물들을 대상으로 수행 가능)

a. Review, Inspection - 사람이 수행

b. Static Analysis based on Tool - 도구를 이용, 소스코드/ 모델 기반

 

2. Dynamic- 실행O

: 소스코드를 실제로 실행시켜 테스트를 수행

a. White-box & Black box Testing

b. Unit, Integration

, System, Acceptance Testing