요구사항에 대한 실제 검증은 많은 비용과 어려움을 발생시킬 수 있다. 특히 새로운 무기체계 개발에 있어 요구사항이 가지고 있는 불확실성과 가변적인 특성은 검증방법에 대한 결정이 어려울 뿐만 아니라 검증방법에 대한 실제 검증은 시간과 비용이 발생된다. 본 논문에서는 요구사항 검증방법에 있어 컴퓨터 기반의 논리적 모델과 물리적 모델을 제시한다. 제안된 방법은 특정 무기에 있어 실제 제작과정에서 발생하는 시간과 비용을 제시할 수 있으며 Template 기반의 모델링방법으로 재사용할 수 있는 방안이 될 수 있다. 제안 방법을 획득과정에서 확산할 수 있는 방안도 제시한다.