defter*
defter / katalog / CS 458
CS 458

Software Verification and Validation

CS 458 tackles the question of how you actually gain confidence that a piece of software does what it's supposed to do, going beyond "run it and see" toward systematic techniques like coverage-driven structural testing, specification-based partitioning, model checking with temporal logic, and runtime verification. Expect to write tests in JUnit, derive test cases from finite-state and dataflow models, apply coverage metrics to real code, and work through projects alongside quizzes and exams that push you to justify *why* a test suite is adequate, not just that it passes. Coming after the core software engineering sequence, it's where you stop treating testing as an afterthought and start reasoning about correctness as a first-class engineering activity, useful preparation for safety-critical work, formal methods electives, or any industry role where shipping broken code has real consequences.

Kredi3ECTS5FakülteFaculty of EngineeringBölümComputer EngineeringÖn koşulCS 319KoordinatörEray Tüzün

→ STARS müfredatı (resmi syllabus)

Haftalık müfredat 14 hafta

Hafta 114–20 Eyl
Ders organizasyonu ve işleyişi
Course Organization
ders organizasyonu
Hafta 221–27 Eyl
Software verification ve validation'a giriş
Motivation for Software Verification and Validation; Chapter 1,2,3,4
verificationvalidationBölüm 1-4
Hafta 328 Eyl – 4 Eki
Software quality models ve reliability (Bölüm 1-4)
Software Quality Models; Software Reliability; Chapter 1,2,3,4
software quality modelssoftware reliability
Hafta 45–11 Eki
Finite model, dependency ve data flow modelleri
Finite models, dependency and data flow models; Chapter 6,7; Quiz 1;
finite modeldependency modeldata flow modelQuiz 1
Hafta 512–18 Eki
Software testing seviyeleri
Software Testing Levels
software testing levels
Hafta 619–25 Eki
Test automation ve test case seçimi (Bölüm 9)
Test Automation Framework (JUnit); Test Case Selection and Adequacy; Chapter 9
JUnittest automation frameworktest case selectionadequacy
Hafta 726 Eki – 1 Kas
Functional testing (Bölüm 10)
Functional Testing; Chapter 10
functional testingBölüm 10
Hafta 82–8 Kas
Combinatorial testing, Bölüm 11
Combinatorial Testing; Chapter 11
combinatorial testingBölüm 11
Hafta 99–15 Kas
Finite models; Bölüm 5, 6
Finite Models; Chapter 5, 6
finite modelBölüm 5Bölüm 6
Hafta 1016–22 Kas
Ders yok; 12 Kasım midterm sınavı
No Lectures; Mid-term exam, Nov 12
midterm exam12 Kasım
Hafta 1123–29 Kas
Dependence, dataflow ve structural testing
Dependence and dataflow models; Structural Testing - Coverage Metrics; Chapter 12, 13, 14
dataflow modelstructural testingcoverage metricsBölüm 12-14
Hafta 1230 Kas – 6 Ara
Structural testing ve dataflow testing; Quiz 2
Structural Testing - Dataflow Testing; Quiz 2
structural testingdataflow testingQuiz 2
Hafta 137–13 Ara
Süreç ve Test-Driven Development (Bölüm 20-21)
Process; Test-Driven Development; Chapter 20,21
Test-Driven DevelopmentprocessBölüm 20Bölüm 21
Hafta 1414–20 Ara
Model checking ve özet (Bölüm 8, 14)
Model Checking; Summary; Chapter 8,14
model checkingBölüm 8Bölüm 14

Önerilen kaynaklar 5 kitap

📕
Zorunlu
Software Testing and Analysis: Process
Principles and Techniques, Wiley
ISBN 0471455938. · Mauro Pezzè
📖
Önerilen
Foundations of Software Testing (2nd Edition)
Aditya P. Mathur
2013 · Pearson
📖
Önerilen
Software Engineering And Testing: An Introduction (Computer Science)
B.B. Agarwal, M. Gupta
S.P. Tayal · Jones & Bartlett
📖
Önerilen
Software Engineering
“A practitioner’s Approach” 8th Edition, Roger S. Pressman
Bruce R. Maxim · 2015
📖
Önerilen
Software Engineering
Ian Sommerville
2011 · Addison-Wesley

Bu dersi alınca · 6 öğrenme çıktısı

Bilkent'in resmî syllabus'ünden. Sağdaki etiket o çıktının hangi değerlendirmeyle ölçüldüğünü söylüyor.

Ders notları · henüz yok

CS 458 için defter ekibi henüz not yazmadı.

İlk dosyayı sen atarsan: not, slayt, geçmiş sınav, çözüm, cheat-sheet, ne varsa. defter ekibi öğrenci paylaşımlarından bu dersin notlarını yazar. Drive linki / PDF / ZIP, hepsi olur.

← katalog

Geçmiş GPA dağılımı 12 dönem · ort. 2.51

DönemCourse CPA
2024-2025 Spring 2.32 2 sec · 63 öğr
2023-2024 Spring 2.26 2 sec · 49 öğr
2021-2022 Spring 2.37 2 sec · 69 öğr
2020-2021 Summer 2.67 1 sec · 25 öğr
2020-2021 Spring 2.55 1 sec · 50 öğr
2019-2020 Summer 2.63 1 sec · 33 öğr
2019-2020 Spring 2.86 1 sec · 50 öğr
2018-2019 Summer 2.66 1 sec · 42 öğr
2018-2019 Spring 2.60 1 sec · 51 öğr
2017-2018 Spring 2.59 1 sec · 58 öğr

Aggregate course GPA · Bilkent STARS'tan public data. Hoca-bazlı per-section detayı için STARS evaluation report →. Öğrenci anket cevapları KVKK kapsamında defter'de tutulmaz. Tüm derslerin ortalamaları →

2026-2027 Güz için şubesi henüz görünmüyor. Kayıt sistemi bu dersi bu dönem listelemiyor, ama şube girişi sürüyor: ders kaydı 15 Eylül, bölümler o güne kadar şube ekleyebiliyor. Son 4 güz döneminde açılmamış; en son 2015-2016 güz döneminde açılmış. Ön kayıt müfredat üzerinden yapılıyor, açılan şube listesi üzerinden değil; o yüzden ön kayıtta seçebildiğin bir dersin şubesi burada henüz görünmeyebilir. Kesin sonuç ders kaydında belli oluyor. kayıt tarihleri → · açık dersler

⚠️ FZ engelleyen şartlar

By the end of Last Week: Lecture attendance should not be less than 10 hours.

Hocalar 0 bu dönem · 3 geçmiş

Geçmişte ders veren (3 kişi)
Haluk Altunel, Erhan Mengüşoğlu, Bedir Tekinerdoğan