Software Quality Assurance

B242 - Summer 2024/2025

B4M36ZKS

Software Quality Assurance - B4M36ZKS

Credits	6
Semesters	Winter
Completion	Assessment + Examination
Language of teaching	Czech
Extent of teaching	2P+2C

Annotation

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.

Study targets

None

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 outlines

None

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

None