Programlama Dilleri #04 | Güvenilirlik ve Maliyet

Eğitmen: Dr. Süleyman Burak ÇELİK

Geçen derste aynı hesabı farklı gösterimlerle okuyup yazdık. Bugün bu davranışın hangi koşullarda korunmasını istediğimizi soracağız. Bir program çalışıyor görünebilir, fakat yanlış girdiyi kabul edebilir veya bir sınır durumunu gizleyebilir. Güvenilirlik için önce neyin doğru davranış sayıldığını açıklamak gerekir. Ardından tür denetimi, hata yolu ve ortak belleği somut örnekler üzerinde izleyeceğiz. Tür, hata yolu, ortak bellek ve tekrar maliyeti. Programlama dili kavramlarını gerçek konuşmayla eşleşen çalışan şemalar ve bağımsız doğrulanmış özgün örneklerle adım adım inceliyoruz. Bu derste: 1. Tür denetiminin yakaladığı hata 2. Kontrolün zamanı ve kapsamı 3. Boş veri, sıfır ortalama değildir 4. Hata yolunu da çalıştırmak 5. İki ad aynı hücreyi gösterirse 6. Paylaşım ile kopyalama ayrıdır 7. Başlangıç ve tekrar maliyeti 8. Tekrar sayısı seçimi değiştirebilir 9. Maliyet geliştirmeyle bitmez Bölümler: 0:00 Güvenilirlik hangi davranış içindir? 1:16 İstenen sonuç açık olmalı 2:23 Tür denetiminin yakaladığı hata 3:34 Kontrolün zamanı ve kapsamı 4:50 Boş veri, sıfır ortalama değildir 5:59 Hata yolunu da çalıştırmak 7:15 İki ad aynı hücreyi gösterirse 8:28 Paylaşım ile kopyalama ayrıdır 9:41 Başlangıç ve tekrar maliyeti 10:57 Tekrar sayısı seçimi değiştirebilir 12:08 Maliyet geliştirmeyle bitmez 13:23 Denetimin kapsamını bilmek 14:30 Sözleşme, durum ve maliyet Kaynak kitap: Sebesta, Concepts of Programming Languages, 12e, §1.3.3–1.3.4. Fiziksel PDF51–55 gerçekten okundu; reflow ebook sabit fark yok. Kavram ve konu sırası kaynak kitaptan izlenir; anlatım, şemalar ve sayısal örnekler özgündür. Gösterilen hesaplar açıkça tanımlı öğretim modeline aittir; gerçek dillerin performans ölçümü veya bütün girdiler için biçimsel kanıt değildir. Kaynak kitap kullanıcı tarafından temin edildi. Hedef kitle: bilgisayar mühendisliği ve yazılım öğrencileri.