YAZILIM MÜHENDİSLİĞİ
Lisans	TYYÇ: 6. Düzey	QF-EHEA: 1. Düzey	EQF-LLL: 6. Düzey

Ders Tanıtım Bilgileri

Ders Kodu	Ders Adı	Yarıyıl	Teorik	Pratik	Kredi	AKTS
SEN4013	Yazılım Doğrulama ve Geçerleme	Güz	3	0	3	6

Temel Bilgiler

Öğretim Dili:	English
Dersin Türü:	Must Course
Dersin Seviyesi:	LİSANS
Dersin Veriliş Şekli:	Yüz yüze
Dersin Koordinatörü:	Dr. Öğr. Üyesi BETÜL ERDOĞDU ŞAKAR
Opsiyonel Program Bileşenleri:	Yok
Dersin Amacı:	Yazılım hayatımızın her bölümünde kullanıldığından güvenilirliği, güvenliği ve korunması vazgeçilmez gereksinimlerdir. Yazılım sistemlerinin özelliklerine göre davranmasını (doğrulama) ve planlanan amaca hizmet etmesini (geçerleme) yüksek güvenilirlikle sağlamak yazılım geliştirme için önemli faaliyetlerdendir. Bu nedenle, yazılım geliştirme maliyetini düşürmek ve yazılım kalitesini artırmak için ilgili doğrulama ve geçerleme tekniklerinin kullanılması çok önemlidir. Bu dersin amacı, biçimsel doğrulama ve yazılım testlerine odaklanarak yazılım doğrulama ve geçerleme işlemlerini öğretmektir.

Öğrenme Kazanımları

Bu dersi başarıyla tamamlayabilen öğrenciler;
1) Yazılım doğrulama, geçerleme ve yazılım testi ile ilgili kavram ve teorileri tanımlar ve açıklar.
2) Model tabanlı test, model kontrolü ile ilgili kavram ve teorileri tanımlar ve bunların nasıl uygulanacağını bilir.
3) Yürütüm süresi doğrulaması ile ilgili kavramları ve teorileri tanımlar ve bunların nasıl uygulanacağını bilir.
4) Geliştirme projelerinde uygun yazılım doğrulama ve geçerleme tekniklerini seçmebilir ve uygulayabilir.
5) Yazılım doğrulama ve geçerlemedeki olasılıkları ve kısıtlamaları açıklayabilir.
6) Otomatik doğrulama ve geçerleme araçlarını kullanmayı öğrenir.

Dersin İçeriği

Dersin içeriği, test ve analizin temelleri, sonlu durum doğrulama ve farklı test tekniklerinden oluşmaktadır.

Haftalık Ayrıntılı Ders İçeriği

Hafta	Konu	Ön Hazırlık
1)	Test ve Analizin Temelleri	Kısaca Yazılım Testi ve Analizi, Test ve Analiz için Bir Çerçeve
2)	Test ve Analizin Temelleri	Temel Prensipler, Yazılım Sürecinde Test ve Analiz Aktiviteleri
3)	Sonlu Modeller	Sonlu Modeller
4)	Sonlu Modeller	Bağımlılık ve Veri Akışı Modelleri
5)	Sonlu Durum Doğrulaması	Simgesel Yürütme ve Özelliklerin Kanıtı
6)	Sonlu Durum Doğrulaması	Sonlu Durum Doğrulaması
7)	Yazılım Test Kavramları	Kara Kutu Testi ve Beyaz Kutu Testi
8)	Yazılım Test Prensipleri	Yazılım Test Seviyeleri
9)	Test Durumu Seçimi ve Yeterliliği	Yeterlilik Kriteri ve Kaplam Kriteri
10)	Fonksiyonel Test	Bölüm Test Stratejileri
11)	Birleşimsel Test	İkili Kombinasyon Testi
12)	Yapısal Test ve Veri Akışı Testi	Komut Testi, Dallanma Testi, Koşul Testi, Yol Testi, Veri Akışı Testi
13)	Süreç	Süreci Planlama ve İzleme
14)	Test Odaklı Geliştirme ve Model Kontrolü	Sistem, Kabul ve Regresyon Testi; Analiz ve Test Sürecini Otomatikleştirme; Analiz ve Test Sürecini Belgeleme; Sonlu Durum Doğrulaması

Kaynaklar

Ders Notları / Kitaplar:	1) Software Testing and Analysis: Process, Principles and Techniques, ISBN: 9780471455936 2) Course notes
Diğer Kaynaklar:	1) Introduction to Software Testing, ISBN: 9780521880381 2) Foundations of Software Testing, ISBN: 978-8131794760

Değerlendirme Sistemi

Yarıyıl İçi Çalışmaları	Aktivite Sayısı	Katkı Payı
Küçük Sınavlar	1	% 10
Projeler	1	% 25
Ara Sınavlar	1	% 25
Final	1	% 40
Toplam		% 100
YARIYIL İÇİ ÇALIŞMALARININ BAŞARI NOTU KATKISI		% 35
YARIYIL SONU ÇALIŞMALARININ BAŞARI NOTUNA KATKISI		% 65
Toplam		% 100

AKTS / İş Yükü Tablosu

Aktiviteler	Aktivite Sayısı	Süre (Saat)	İş Yükü
Ders Saati	14	3	42
Sınıf Dışı Ders Çalışması	4	8	32
Proje	1	25	25
Küçük Sınavlar	1	5	5
Ara Sınavlar	1	20	20
Final	1	20	20
Toplam İş Yükü			144

Program ve Öğrenme Kazanımları İlişkisi

Etkisi Yok	1 En Düşük	2 Düşük	3 Orta	4 Yüksek	5 En Yüksek

	Dersin Program Kazanımlarına Etkisi	Katkı Payı
1)	Karmaşık mühendislik problemlerine yönelik yazılım proje, süreç ve ürünlerine ait fonksiyonel ve fonksiyonel olmayan özellikleri tanımlayabilmek.
2)	Karmaşık mühendislik problemlerinde yazılım mimarisi, bileşenleri, ara yüzleri ve sisteme ait diğer alt bileşenleri tasarlayabilmek.
3)	Kodlama, doğrulama, sınama ve hata ayıklama konularını da içerecek şekilde karmaşık yazılım sistemleri geliştirebilmek.
4)	Karmaşık mühendislik problemlerinde yazılımı, programın davranışlarını beklenen sonuçlara göre sınayarak doğrulayabilmek.
5)	Karmaşık yazılım sistemlerinin çalışması sırasında, çalışma ortamının değişmesi, yeni kullanıcı istekleri ve yazılım hatalarının ortaya çıkması ile meydana gelen bakım faaliyetlerine yönelik işlemleri yapabilmek.
6)	Karmaşık yazılım sistemlerinde yapılan değişiklikleri izleyebilmek ve kontrol edebilmek, entegrasyonunu sağlayabilmek, yeni sürümlerini sistematik olarak planlayabilmek ve riskleri yönetebilmek.
7)	Disiplin içi ve disiplinler arası takımlarda görev alarak karmaşık yazılım sistemleri yaşam süreçlerini tanımlayabilmek, değerlendirebilmek, ölçebilmek, yönetebilmek ve uygulayabilmek.
8)	Karmaşık mühendislik problemlerinde gerçekçi kısıtlar ve koşullar altında yazılım gereksinimlerini toplama, yazılımı tasarlama, geliştirme, sınama, bakımını yapma konularındaki çeşitli araçları ve yöntemleri kullanabilmek.
9)	Temel kalite metrikler tanımlayabilmek, yazılım yaşam döngüsü süreçlerini uygulayabilmek, yazılım kalitesini ölçebilmek, kalite model karakteristiklerini tanımlayabilmek, standartları uygulayabilmek ve bunları karmaşık yazılım sistemlerini analiz etmekte, tasarlamakta, geliştirmekte, doğrulamakta ve sınamakta kullanabilmek.
10)	Yazılım mühendisliği ile ortak sınırlara sahip olan matematik, fen bilimleri, bilgisayar mühendisliği, endüstri mühendisliği, sistem mühendisliği, ekonomi, yönetim ve sürdürülebilir kalkınma gibi diğer disiplinler hakkında teknik bilgi kazanabilmek ve bunlar aracılığıyla yenilikçi fikirleri karmaşık mühendislik problemlerinde ve girişimcilik faaliyetlerinde kullanabilmek.
11)	Yazılım mühendisliği kültürü ve etik anlayışını kavrayabilmek ve bunları yazılım mühendisliğinde uygulayabilecek temel bilgilere sahip olmak, meslek hayatı boyunca gerekli teknik becerileri öğrenip başarıyla uygulayabilmek.
12)	Yabancı dil ve Türkçe kullanarak etkin rapor yazabilmek ve yazılı raporları anlayabilmek, tasarım ve üretim raporları hazırlayabilmek, etkin sunum yapabilmek, açık ve anlaşılır talimat verebilmek ve alabilmek.
13)	Mühendislik uygulamalarının evrensel ve toplumsal boyutlarda sağlık, çevre ve güvenlik üzerindeki etkileri ve çağın mühendislik alanına yansıyan sorunları ile mühendislik çözümlerinin hukuksal sonuçları hakkında bilgi sahibi olmak.