Subject description - BE4M36ZKS
Summary of Study |
Summary of Branches |
All Subject Groups |
All Subjects |
List of Roles |
Explanatory Notes
Instructions
| BE4M36ZKS | Software Quality Assurance | ||
|---|---|---|---|
| Roles: | PO | Extent of teaching: | 2P+2C |
| Department: | 13136 | Language of teaching: | EN |
| Guarantors: | Bureš M. | Completion: | Z,ZK |
| Lecturers: | Bureš M., Frajták K. | Credits: | 6 |
| Tutors: | Bureš M., Frajták K., Klíma M. | Semester: | Z |
Web page:
https://moodle.fel.cvut.cz/courses/BE4M36ZKSAnotation:
Cílem předmětu je seznámit studenty s technikami testování a zajištění kvality software. Po úvodu do metodiky testování si studenti osvojí techniky pro vytváření testů z modelu aplikace, které jsou základem návrhu jak manuálních, tak automatických testů. Poté se naučí vytvářet efektivní jednotkové testy kódu a seznámí se s technikami automatického testování na různých úrovních.Course outlines:
| 1. | Úvod, metodologie testování, automatizace testů, formální metody a vzájemné souvislosti | |
| 2. | Charakteristiky kvality software | |
| 3. | Zajištění kvality standardního vývojového cyklu softwaru (SDLC) | |
| 4. | Třídy ekvivalence a kombinatorické testování (Combinatorial a Constrained Interaction Testing) | |
| 5. | Testování procesů (Path-based Testing) | |
| 6. | Testy konzistence dat, MC/DC, Elementary Comparison Test | |
| 7. | Pokročilé techniky testování založeného na modelech | |
| 8. | Statické testování kódu | |
| 9. | Automatizace testů a Continuous Integration / Continuous Delivery (CI/CD) | |
| 10. | Symbolic/concolic evaluation | |
| 11. | Využití LLM pro generování testů, kontrola kvality výstupů LLM | |
| 12. | Procesy zajištění kvality v softwarovém průmyslu (host z praxe) | |
| 13. | Rezeva | |
| 14. | Zkouškový předtermín |
Exercises outline:
Literature:
| 1. | Rex Back, Jamie L. Mitchel: Advanced Software Testing Vol.3, Rocky Nook, 2011 | |
| 2. | Unmesh Gundecha: Selenium Testing Tools Cookbook, Packt Publishing 2012 | |
| 3. | Lasse Koskela: Effective Unit Testing: A guide for Java developers, Manning, 2013 |
Requirements:
Subject is included into these academic programs:| Program | Branch | Role | Recommended semester |
| MEOI1_2018 | Human-Computer Interaction | PO | 3 |
| MEOI2_2018 | Cyber Security | PO | 3 |
| MEOI6_2018 | Software Engineering | PO | 1 |
| Page updated 23.3.2025 11:51:14, semester: Z/2025-6, Z,L/2024-5, L/2025-6, Send comments about the content to the Administrators of the Academic Programs | Proposal and Realization: I. Halaška (K336), J. Novák (K336) |