Yazılım Mühendisliği #07 | Yazılım Süreci Etkinlikleri

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

Bir öğrenci kampüsteki dolaplardan birini iki saatliğine ayırmak istiyor. İstek kartı ekranın ortasına geliyor; çevresinde gereksinim, kod, test ve kullanım kartları dönmeye başlıyor. Kodun yanında yeşil bir test işareti yanıyor. Öğrenci ise hâlâ hangi dolabın ayrıldığını göremiyor. Burada bir çelişki olmak zorunda değil: çalıştırdığımız küçük test doğru sonuç vermiş olabilir, ama kullanıcının bütün ihtiyacı henüz karşılanmamış olabilir. Bugün bu kartları aynı işin farklı soruları olarak birbirine bağlayacağız. Özgün kampüs dolap rezervasyonu örneğinde belirtim, geliştirme, doğrulama ve evrim etkinliklerini aynı ihtiyaç üzerinde izliyoruz. Yarı açık zaman aralıklarını ve eşzamanlı kapasiteyi hesaplıyor; tekrar eden istekleri, kimlik çakışmasını ve kapasite reddini ayırıyoruz. Yanlış sınır karşılaştırmasının başarısız testini koruyor, düzeltme ve sürüm değişikliğinin yeni kanıt gerektirdiğini gösteriyoruz. Yazılım mühendisliği 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. İhtiyaçtan ölçülebilir sözleşmeye 2. Kuralı koddan önce sorgulamak 3. Bir davranışın bileşenlere dağılımı 4. İstekleri gerçekten işlemek 5. Küçük parçayı bağımsız sınamak 6. Doğru parçaların yanlış bağlantısı 7. Başarısızlıktan nedene gitmek 8. Teknik başarı ile kullanım ihtiyacı Bölümler: 0:00 Bir isteğin dört farklı sorusu 1:38 Dört etkinlik, birbirine dönen yollar 3:10 İhtiyaçtan ölçülebilir sözleşmeye 4:41 Kuralı koddan önce sorgulamak 6:16 Bir davranışın bileşenlere dağılımı 7:59 İstekleri gerçekten işlemek 9:32 Küçük parçayı bağımsız sınamak 11:00 Doğru parçaların yanlış bağlantısı 12:36 Başarısızlıktan nedene gitmek 14:06 Teknik başarı ile kullanım ihtiyacı 15:39 Yeni kapasite, yeni sürüm 17:07 İhtiyaçtan kanıta, kanıttan değişime Kaynak kitap: Ian Sommerville, Software Engineering 10th Global Edition; §2.2.1–2.2.4. Basılı54–61 / fizikselPDF55–62; ölçülen+1. 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; test sayıları güvenlik olasılığı veya kalite yüzdesi değildir. Bellekteki öğretim modeli gerçek dağıtık eşzamanlılığı ya da müşteri kabulünü doğrulamaz. Kaynak kitap kullanıcı tarafından temin edildi. Hedef kitle: bilgisayar mühendisliği ve yazılım öğrencileri.