PROGRAMLAMA
Verification & Validation
Bu iki terim çok önemli olduğuna inandığım için buraya yazıyorum. Bunların ikisinin tam olarak yapılması bir yazılım mühendisinin işidir.
Validation : Doğru ürünümü geliştiriyoruz soruna cevap verir. Yani müşterinin bizden istediği ürünü, müşterinin ihtiyaçlarını karşılayan bir ürün mü geliştiriyoruz sorusunu sordurur ve cavabını arar. Daha önceki yazılarımda geçen gibi gereksinimlere cevap veriyormu :)
Verification : Ürünü doğru mu geliştiriyoruz sorunu sorar ve buna cevap arar. Yazılım gereksinimlerine uyumlu olarak gelişip gelişmediği test eder. Specificationları uygulamışmı buna bakar. Fonksiyonel ve Foksiyonel olmayan gereksinimleri tam olarak karşılıyormu bunlara bakar. İki ye ayrılır.
Static Verification :Kodun çalıştırılmadan sistemin denenmesi ve problemlerin yakalanması durumudur. Mantıksal hatalar programlama dili ile ilgili hatalar (döngüler, şartlar, değişkenler tanımlayıp hiç kullanılmayan değişkenler hiç erişilmeyen kod praçaları...). Kod yazımına dikkat eder.
Dinamik Verification :Kod çalıştırılır. Ürün davranışları incelenir. Girdiler verildikten sonra sistemin gerçekten beklenen değerleri verip vermediği gözlemlenir. Yazılan kodların mantık hatalarına bakar.
