Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2024/2025
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Zajištění kvality software

Zobrazit rozvrh
Kód Zakončení Kredity Rozsah Jazyk výuky
B4M36ZKS Z,ZK 6 2P+2C česky
Vztahy:
Předmět B4M36ZKS nesmí být zapsán, je-li v témže semestru zapsán anebo již dříve absolvován předmět BE4M36ZKS (vztah je symetrický)
Předmět B4M36ZKS může být splněn v zastoupení předmětem BE4M36ZKS
Předmět B4M36ZKS nesmí být zapsán, je-li v témže semestru zapsán anebo již dříve absolvován předmět BE4M36ZKS (vztah je symetrický)
Garant předmětu:
Miroslav Bureš
Přednášející:
Miroslav Bureš, Karel Frajták
Cvičící:
Kyrylo Bulat, Miroslav Bureš, Karel Frajták, Matěj Klíma
Předmět zajišťuje:
katedra počítačů
Anotace:

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.

Požadavky:
Osnova 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)

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

Osnova cvičení:
Cíle studia:
Studijní materiály:

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

Poznámka:
Další informace:
https://moodle.fel.cvut.cz/courses/B4M36ZKS
Rozvrh na zimní semestr 2024/2025:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út
St
Čt
místnost KN:E-301
Frajták K.
Bureš M.

09:15–10:45
(přednášková par. 1)
Karlovo nám.
Šrámkova posluchárna K9
místnost KN:E-311
Frajták K.
11:00–12:30
(přednášková par. 1
paralelka 101)

Karlovo nám.
Lab K311
místnost KN:E-311
Klíma M.
12:45–14:15
(přednášková par. 1
paralelka 102)

Karlovo nám.
Lab K311
místnost KN:E-311
Bulat K.
16:15–17:45
(přednášková par. 1
paralelka 103)

Karlovo nám.
Lab K311
místnost KN:E-328

18:00–19:30
(přednášková par. 1
paralelka 104)

Karlovo nám.
Bourací učebna

Rozvrh na letní semestr 2024/2025:
Rozvrh není připraven
Předmět je součástí následujících studijních plánů:
Platnost dat k 16. 4. 2025
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet4701706.html