CS 458Software Verification and Validation
Bilkent Bilgisayar Mühendisliği dersi. Genelde yalnızca Bahar'da açılır, son 5 yılda yaz okulunda açılmadı. Şube başına ortalama 30 öğrenci.
- kredi3· 5 ECTS
- haftalık3 saat3 ders
- son 5 yıl ort.2,39B- ↗
- açılıryalnızca Baharson 5 yıl
- 2026-2027 Güzaçılmadıson: 2025-2026 Bahar
Ön koşullar ve açtığı derslerkatalog: CS 319
- ön koşul
- 1 şart
- doğrudan açtığı
- 0 ders
- en erken
- 3. yıl bahar
Geçince açılır
Başka bir dersin ön koşulu değil.
Ön koşullar STARS kataloğundaki ifadeden okunur; eş koşul, izin ve not şartları dahil değil. Kartın altındaki not o dersin başka neye ihtiyaç duyduğunu söyler.
Not ortalaması5 yıl 2,39 · 10 yıl 2,54 · 2013'den beri 2,50
- Güz / Bahar ortalaması
- yaz okulu
- son 5 yıl 2,39
- dikey gölge: şube aralığı · nokta büyüklüğü: öğrenci sayısı
Şubelere göre dağılım
Bir noktanın üstüne gel ya da dokun: şube ve hocası görünür.
Her nokta bir şube. Yatay çizgi en düşük–en yüksek, dikey çizgi ortanca; soluk noktalar 10 öğrenciden az olan şubeler.
Dönem tablosu 11 dönem
| Dönem | Şube | Öğrenci | Ders ort. | Şube aralığı |
|---|---|---|---|---|
| 2025-2026 Bahar | 2 | 62 | 2,59 | 2,52–2,73 |
| 2024-2025 Bahar | 2 | 63 | 2,32 | 2,30–2,36 |
| 2023-2024 Bahar | 2 | 49 | 2,26 | 2,07–2,61 |
| 2021-2022 Bahar | 2 | 69 | 2,37 | 2,40–2,41 |
| 2020-2021 Yaz | 1 | 25 | 2,67 | 2,67 |
| 2020-2021 Bahar | 1 | 50 | 2,55 | 2,55 |
| 2019-2020 Yaz | 1 | 33 | 2,63 | 2,63 |
| 2019-2020 Bahar | 1 | 50 | 2,86 | 2,86 |
| 2018-2019 Yaz | 1 | 42 | 2,66 | 2,66 |
| 2018-2019 Bahar | 1 | 51 | 2,60 | 2,60 |
| 2017-2018 Bahar | 1 | 58 | 2,59 | 2,59 |
Dönem ortalaması STARS'ın "Course GPA" değeri (o dönemin tüm şubeleri). Çok yıllık ortalama dönem ortalamalarının öğrenci sayısıyla ağırlıklı ortalaması; "son 5 yıl" içinde bulunulan akademik yıldan önceki 5 tam yıl. 10 öğrenciden az olan dönemler (*) dahil ama soluk. Final tekrar dönemleri dahil değil.
Hocalara göre2021–2026 · 1 hoca
- Haluk Altunel4 dönem · 243 öğrenci · son 2025-2026 Bahar2,41
Hocanın tek başına verdiği şubelerin öğrenci sayısıyla ağırlıklı STARS şube ortalaması. Soluk satırlar 20 öğrenciden az notlu veriye dayanır.
Ders içeriği
Introduction and motivation for verification and validation; software testing overview, fundamentals of test process, general principles of testing, definitions and concepts, testing in software development life cycle, types of testing, levels of testing, test metrics; software inspection and code reviews, technical reviews, pair programming; specification-based testing, input-based partitioning, equivalence class partitioning, boundary value analysis, state transition test, decision table technique, used case testing; structural testing, graph coverage, logic coverage, syntax-based testing, statement coverage, branch coverage, condition coverage, path coverage, instrumentation and tool support; system, acceptance, and regression testing; model-based testing; run-time verification; model-checking, temporal logic in finite-state verification, computational tree logic; safety analysis and software reliability engineering.
Müfredatlarda2 program
- Bilgisayar MühendisliğiComputer Engineering · lisansTechnical Elective
- Moleküler Biyoloji ve GenetikMolecular Biology and Genetics · lisansTechnical Elective
Sık sorulanlar
CS 458 dersinin ön koşulu nedir?
CS 458 için STARS kataloğundaki ön koşul: CS 319.
CS 458 kaç kredi, kaç ECTS?
CS 458 3 Bilkent kredisi ve 5 ECTS. Haftalık 3 saat yüz yüze ders.
CS 458 hangi dönemlerde açılır?
Genelde yalnızca Bahar'da açılır, son 5 yılda yaz okulunda açılmadı.
CS 458 not ortalaması kaç?
CS 458 dersinin son 5 akademik yıldaki ortalaması 2,39 (B-); 243 öğrencinin notundan, STARS'ın dönem ortalamaları öğrenci sayısıyla ağırlıklandırılarak hesaplandı.
Veri STARS'ın herkese açık sayfalarından (offerings, katalog, ders geçmişi, syllabus) otomatik alınır. Şube, hoca ve kontenjan değişebilir; kesin bilgi için SRS'yi kontrol et.