Fonksiyonel Tasarım Doğrulaması için Kapsama Ölçütlerinin Geliştirilmesi