Zajištění kvality software

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 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.

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 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

Osnova cvičení:

Cíle studia:

Studijní materiály:

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.

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 K9místnost KN:E-311 Frajták K. 11:00–12:30 (přednášková par. 1 paralelka 101) Karlovo nám. Lab K311místnost KN:E-311 Klíma M. 12:45–14:15 (přednášková par. 1 paralelka 102) Karlovo nám. Lab K311místnost KN:E-311 Bulat K. 16:15–17:45 (přednášková par. 1 paralelka 103) Karlovo nám. Lab K311místnost KN:E-328 18:00–19:30 (přednášková par. 1 paralelka 104) Karlovo nám. Bourací učebna
Pá

Rozvrh na letní semestr 2024/2025:

Rozvrh není připraven

Předmět je součástí následujících studijních plánů:

• Otevřená informatika - Interakce člověka s počítačem 2018 (povinný předmět oboru)
• Otevřená informatika - Kybernetická bezpečnost 2018 (povinný předmět oboru)
• Otevřená informatika - Softwarové inženýrství 2018 (povinný předmět oboru)