번외. 검증

검증이란 무엇일까? 단순히 컨설팅을 듣거나 ASPICE PAM문서를 읽어보면 검증은 이전에 구상한 요구사항, 아키텍처가

예상한 대로 그대로 이루어졌는지 그것을 검증하는 것이라고 생각할 것이다. 하지만 이것은 매우 잘못된 생각이다.

왜냐하면 우리는 요구사항의 할당, 아키텍처 설계시 원하는 바가 이루어지는데에만 초점을 맞추고 구상을 했지 원하는 바를 이루는 과정에 생각지도 못한 허점의 존재에 대한 것은 구상하지 않는다. 따라서 검증 단계에서 실제로 원하는 바만 구상했던 것이 이루어졌는지  검증만 한다면 구상시에 고려하지 못했던 허점들이 마구 튀어나와 실제 제품에서 문제를 일으킬 것이다. 그렇기 때문에 검증의 진정한 목표는 원하는 바를 구상했던 것이 그대로 이루어졌는지 검증하는 것은 기본이고

구상하지 않았던 예상치 못했던 부분에서 나올 허점이 있는지 따로 더 생각해 보는 것이 매우 중요한 관점이다. 그렇기 때문에 많은 테스트 케이스 생성 방법이 있는 것이고 많은 테스트 케이스를 생성하는 것이다.