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.
İlk dosyayı sen ekleyebilirsin — notlar, geçmiş finaller, çözümler, cheat-sheet, ne varsa. Drive linki / PDF / ZIP / fotoğraf, hepsi olur.
Şu an: mail at, ben düzenleyip yayına alayım. Form/upload UX yakında geliyor (Kimya tasarlıyor).
| Dönem | Course 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.
By the end of Last Week: Lecture attendance should not be less than 10 hours.
Course Organization Motivation for Software Verification and Validation; Chapter 1,2,3,4 Software Quality Models; Software Reliability; Chapter 1,2,3,4 Finite models, dependency and data flow models; Chapter 6,7; Quiz 1; Software Testing Levels Test Automation Framework (JUnit); Test Case Selection and Adequacy; Chapter 9 Functional Testing; Chapter 10 Combinatorial Testing; Chapter 11 Finite Models; Chapter 5, 6 No Lectures; Mid-term exam, Nov 12 Dependence and dataflow models; Structural Testing - Coverage Metrics; Chapter 12, 13, 14 Structural Testing - Dataflow Testing; Quiz 2 Process; Test-Driven Development; Chapter 20,21 Model Checking; Summary; Chapter 8,14 ECTS - Workload Table: Activities Number Hours Workload Final exam 1 2,5 2.5 Preparation for Midterm exam 1 16 16 Midterm exam 1 2 2 Project (including preparation and presentation if applicable) 3 9 27 Course hours 14 3 42 Preparation for Final exam 1 16 16 Quiz 2 2 4 Individual or group work 14 3 42 Total Workload: 151.5 Total Workload / 30: 151.5 / 30 5.05 ECTS Credits of the Course: 5 Type of Course: Lecture Teaching Methods: Lecture - Assignment - Independent study - Exercises