확인과 검증(V&V, Verification and Validation)

소프트웨어 개발주기

확인(Verification) - 제품을 올바르게 개발하고 있는가? Need ①소프트웨어 개발 주기에서 주어진 단계에서의 생산품이 이전 단계에서 수립된 요구들을 수행하는가를 결정하는 과정. ②프로그램 정확도의 형식 증명. ③항목들, 프로세스들, 서비스들, 또는 문서들이 명시된 요구들을 따르는지 재검토하고 조사하며 시험, 검사, 감사 및 문서화하는 행위. ④검증에는 주기 검증과 형식 검증의 두 가지 형태가 있다. 주기 검증은 개발 주기의 특정 단계에서 제작된 생산 제품이 그 이전 단계에서 설정한 규격들을 어느 정도 충족시키는지를 결정하는 과정이다. 형식 검증은 원시 부호가 규격에 맞게 작성되었는지를 수학적으로 엄격하게 증명하는 것이다

보증,검증(Validation) - 올바른 제품을 개발하고 있는가? Procedure 소프트웨어에 대한 요구 조건에 응하고 있는 것을 확인하기 위해 소프트웨어 개발공정의 마지막에 소프트웨어를 평가하는 공정. 소프트웨어개발과정의 최종 단계로써, 소프트웨어가 요구된 바와 합치되는지를 평가하는 일. 소프트웨어 타당성 검사(Software Validation)