Popis předmětu - B4M36ZKS
Přehled studia |
Přehled oborů |
Všechny skupiny předmětů |
Všechny předměty |
Seznam rolí |
Vysvětlivky
Návod
| B4M36ZKS | Zajištění kvality software | ||
|---|---|---|---|
| Role: | PO, PS | Rozsah výuky: | 2P+2C |
| Katedra: | 13136 | Jazyk výuky: | CS |
| Garanti: | Bureš M. | Zakončení: | Z,ZK |
| Přednášející: | Bureš M., Frajták K., Klíma M. | Kreditů: | 6 |
| Cvičící: | Bulat K., Bureš M., Frajták K., Klíma M. | Semestr: | Z |
Webová stránka:
https://moodle.fel.cvut.cz/courses/B4M36ZKSAnotace:
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 automatizovaných testů. Poté se naučí vytvářet efektivní jednotkové testy kódu a seznámí se s technikami automatizovaného testování na různých úrovních.Osnovy přednášek:
| 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 a Constrained 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 |
Osnovy cvičení:
Literatura:
Doporučená literatura:| [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. |
Požadavky:
Předmět je zahrnut do těchto studijních plánů:
| Plán | Obor | Role | Dop. semestr |
| MPOI2_2018 | Kybernetická bezpečnost | PO | 3 |
| MPOI1_2018 | Interakce člověka s počítačem | PO | 3 |
| MPOI6_2026 | Softwarové inženýrství | PS | 1 |
| MPOI2_2026 | Kybernetická bezpečnost | PS | 3 |
| MPOI6_2018 | Softwarové inženýrství | PO | 1 |
| Stránka vytvořena 17.5.2026 17:50:33, semestry: Z,L/2026-7, L/2028-9, L/2025-6, L/2027-8, L/2029-30, Z/2025-6, Z/2028-9, Z/2027-8, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: I. Halaška (K336), J. Novák (K336) |