소프트웨어가 다양한 방식으로 개발되도록 한다.

소프트웨어가 요구 사항들과 일치하는지를 검증한다.

소프트웨어의 표현에 대한 기능, 논리적 오류를 발견한다.

소프트웨어가 미리 정한 기준에 따라 표현 되었는가를 확인한다.