Subject description - B4M36ZKS
Summary of Study |
Summary of Branches |
All Subject Groups |
All Subjects |
List of Roles |
Explanatory Notes
Instructions
| B4M36ZKS | Software Quality Assurance | ||
|---|---|---|---|
| Roles: | PO, PS | Extent of teaching: | 2P+2C |
| Department: | 13136 | Language of teaching: | CS |
| Guarantors: | Bureš M. | Completion: | Z,ZK |
| Lecturers: | Bureš M., Frajták K., Klíma M. | Credits: | 6 |
| Tutors: | Bulat K., Bureš M., Frajták K., Klíma M. | Semester: | Z |
Web page:
https://moodle.fel.cvut.cz/courses/B4M36ZKSAnotation:
The course aims to introduce software testing and quality assurance techniques. After an introduction to testing methodology, students will learn techniques for creating tests based on application models, which form the foundation for designing both manual and automated tests. They will then learn to write effective unit tests and become acquainted with automated testing techniques at various levels.Content:
| 1. | Introduction, testing methodology, test automation, formal methods, and their relations | |
| 2. | Software quality characteristics | |
| 3. | Quality assurance within the standard Software Development Life Cycle (SDLC) | |
| 4. | Equivalence classes and combinatorial testing (Combinatorial and Constrained Interaction Testing) | |
| 5. | Process testing (Path-based Testing and Constrained Path-based Testing) | |
| 6. | Data consistency testing, MC/DC, Elementary Comparison Test | |
| 7. | Advanced model-based testing techniques | |
| 8. | Static code testing | |
| 9. | Test automation and Continuous Integration / Continuous Delivery (CI/CD) | |
| 10. | Symbolic/concolic evaluation | |
| 11. | Use of LLMs for test generation and quality assurance of LLM outputs | |
| 12. | Quality assurance processes in the software industry (guest lecture from industry) | |
| 13. | Contingency | |
| 14. | Exam pre-term |
Course outlines:
Exercises outline:
Literature:
Recommended literature:| [1] | Paul Ammann and Jeff Offutt. Introduction to Software Testing 2nd Edition, 2016, Cambridge University Press. | |
| [2] | D. Richard Kuhn, Raghu N. Kacker, Yu Lei. Introduction to Combinatorial Testing, 2013, Chapman & Hall. | |
| [3] | Mark Collin. Mastering Selenium WebDriver 3.0, 2nd Edition, 2018, Packt Publishing. | |
| [4] | Vladimir Khorikov. Unit Testing: Principles, Practices and Patterns, 2020, Manning. |
Requirements:
Subject is included into these academic programs:| Program | Branch | Role | Recommended semester |
| MPOI2_2026 | Cyber Security | PS | 3 |
| MPOI6_2018 | Software Engineering | PO | 1 |
| MPOI2_2018 | Cyber Security | PO | 3 |
| MPOI6_2026 | Software Engineering | PS | 1 |
| MPOI1_2018 | Human-Computer Interaction | PO | 3 |
| Page updated 11.9.2026 07:56:18, semester: Z,L/2026-7, Z,L/2027-8, L/2025-6, Z,L/2028-9, L/2029-30, Send comments about the content to the Administrators of the Academic Programs | Proposal and Realization: I. Halaška (K336), J. Novák (K336) |