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.

Software Quality Assurance

Zobrazit rozvrh
Kód Zakončení Kredity Rozsah Jazyk výuky
BE4M36ZKS Z,ZK 6 2P+2C anglicky
Vztahy:
Předmět BE4M36ZKS může při kontrole studijních plánů nahradit předmět B4M36ZKS
Předmět BE4M36ZKS nesmí být zapsán, je-li v témže semestru zapsán anebo již dříve absolvován předmět B4M36ZKS (vztah je symetrický)
Předmět BE4M36ZKS nesmí být zapsán, je-li v témže semestru zapsán anebo již dříve absolvován předmět B4M36ZKS (vztah je symetrický)
Garant předmětu:
Miroslav Bureš
Přednášející:
Miroslav Bureš, Karel Frajták
Cvičící:
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/BE4M36ZKS
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

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/predmet4879106.html