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.
→ STARS müfredatı (resmi syllabus)
Son 13 dönemde dersin ortalaması 2,52 (659 öğrencinin notu, 4,00 üzerinden), yani sınıf ortalaması B- civarında. Zorluk hocaya ve şubeye göre değişir; ölçülebilir olan bu sayı. Diğer derslerle karşılaştır →
İzlencede 1 midterm var, ağırlığı %20. Final %30. Kalan %50 dersin öteki kalemlerinde. Tam dağılım aşağıda.
Evet. Bilkent kataloğuna göre ön koşulu: CS 319.
İzlencede zorunlu kitap: Software Testing and Analysis: Process, Principles and Techniques, Wiley, ISBN 0471455938., Mauro Pezzè, Michal Young, 2008, Wiley. İzlence toplam 5 kaynak sayıyor.
3 Bilkent kredisi, 5 AKTS.
| Kalem | Ağırlık | Notun (100 üzerinden) |
|---|---|---|
| Quizzes & In-class Participation | %10 | |
| Midterm - Essay/Written/Open-Book | %20 | |
| Final - Essay/Written/Open-book | %30 | |
| Project (Team) | %40 |
Ağırlıklar CS 458 izlencesinden. Hocanın bu dönemki dağılımı farklı olabilir; bağlayıcı olan ders izlencesidir. Harf notu sınırlarını hoca belirliyor, o yüzden hedefi sen giriyorsun. İzlencede FZ şartı var, sayfanın sonundaki kutuda.
Bilkent'in resmî syllabus'ünden. Sağdaki etiket o çıktının hangi değerlendirmeyle ölçüldüğünü söylüyor.
İ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.
| Dönem | Ders ort. | |
|---|---|---|
| 2025-2026 Spring | 2.59 | 2 şube · 62 öğr |
| 2024-2025 Spring | 2.32 | 2 şube · 63 öğr |
| 2023-2024 Spring | 2.26 | 2 şube · 49 öğr |
| 2021-2022 Spring | 2.37 | 2 şube · 69 öğr |
| 2020-2021 Summer | 2.67 | 1 şube · 25 öğr |
| 2020-2021 Spring | 2.55 | 1 şube · 50 öğr |
| 2019-2020 Summer | 2.63 | 1 şube · 33 öğr |
| 2019-2020 Spring | 2.86 | 1 şube · 50 öğr |
| 2018-2019 Summer | 2.66 | 1 şube · 42 öğr |
| 2018-2019 Spring | 2.60 | 1 şube · 51 öğr |
Dersin dönem ortalaması, o dönemin bütün şubeleri birlikte. Kaynak STARS'ın ders değerlendirme raporu. Rapor yalnız kampüs ağından ya da Bilkent VPN ile açılıyor: CS 458 raporu · Bilkent VPN bilgisi. Öğrenci anket cevaplarını defter'de tutmuyoruz. Tüm derslerin ortalamaları →
By the end of Last Week: Lecture attendance should not be less than 10 hours.
Bu ders 11 programın seçmeli havuzunda.
ve 8 program daha.
Havuz listesi bölümün QME müfredatından; en küçük havuzlar önce yazılıyor, çünkü büyük "serbest seçmeli" havuzunda olmak dersi anlatmıyor. Seçmeli havuzunda olmak o dersi alabileceğin anlamına gelmez: ön koşul ve kontenjan ayrıca geçerli.