Dokuz Eylül Üniversitesi Ders Katoloğu / Bilgi Paketi

Ders Bilgileri

Ders Kodu	Ders Adı	Ders Türü	D	U	L	AKTS
CME 4404	YAZILIM DOĞRULAMAYA GİRİŞ	SEÇMELİ	2	2	0	6

Dersi Veren Birim

Bilgisayar Mühendisliği (İngilizce)

Dersin Düzeyi

Lisans

Ders Koordinatörü

PROF. DR. RECEP ALP KUT

Dersi Alan Birimler

Bilgisayar Mühendisliği (İngilizce)

Dersin Amacı

Dersin amacı, yazılım doğrulamanın temel kavramlarını, temel test tekniklerini ve türlerini, gereksinim mühendisliğindeki uygulamaları öğretmektir.

Dersin Öğrenme Kazanımları

1	Yazılım doğrulama temel kavramlarını tanımlayabilme
2	Çeşitli yazılım doğrulama tekniklerini geliştirme projelerinde uygulayabilme
3	Yazılım doğrulamasında gereksinim mühendisliğinin önemini analiz edebilme
4	Yazılım doğrulama yaklaşımlarını verilen yazılım geliştirme zaman döngüleri içerisinde belirleyebilme
5	Test özellikleri, analizleri ve sonuçları ile yazılı ve sözlü formda sunabilme

Dersin Öğretim Türü

Örgün Öğretim

Dersin Önkoşulu/Önkoşulları

Yok

Ders İçin Önerilen Diğer Hususlar

Yok

Ders İçeriği

Hafta	Konular	Açıklama
1	Yazılım doğrulama kavramlarına giriş
2	Biçimsel yazılım modelleme
3	Temel test terminolojisi ve teknikleri
4	Yazılım doğrulamasında geliştirme ekiplerinin uygulanması
5	Tasarım etmenleri ve test edilebilirlik
6	Test stratejileri ve durum raporlama
7	Biçim tabanlı test
8	Yazılım doğrulama planlama
9	Örnek soru çözme, Vize Sınavı
10	Artımlı test yaklaşımı
11	Test süreci
12	Test araçları ve test otomasyonu
13	Model tabanlı testler ve örnek test oluşturulması
14	Yazılım doğrulamasında gereksinim mühendisliğinin rolü

Ders İçin Önerilen Kaynaklar

Marieke Huisman, Anton Wijs, Concise Guide to Software Verification: From Model Checking to Annotation Checking, Springer, 2023.

Elizabeth Hull, Ken Jackson, Jeremy Dick, Requirements Engineering, 3rd ed., Springer, 2011

Ammann and Offuit, Introduction to Software Testing, Cambridge University Press, 2008

Öğrenme ve Öğretme Yöntemleri

Ders anlatımı / Sunum
Ödevler

Değerlendirme Yöntemleri

SIRA NO	KISA KOD	UZUN ADI	FORMUL
1	VZ	Vize
2	ODV	Ödev
3	PR	Proje
4	BNS	BNS	VZ * 0.20 + ODV * 0.30 + PR * 0.50

Değerlendirme Yöntemlerine İliskin Aciklamalar

Yok

Değerlendirme Kriteri

İlan Edilecektir.

Dersin Öğretim Dili

İngilizce

Derse İlişkin Politika ve Kurallar