Software Quality Assurance

B242 - Summer 2024/2025
You don't have access to the course
B171 - Winter 2017/2018 B181 - Winter 2018/2019 B191 - Winter 2019/2020 B211 - Winter 2021/2022 B221 - Winter 2022/2023 B231 - Winter 2023/2024 B241 - Winter 2024/2025 B161 - Winter 2016/2017
This is a grouped Moodle course. It consists of several separate courses that share learning materials, assignments, tests etc. Below you can see information about the individual courses that make up this Moodle course.

Software Quality Assurance - B4M36ZKS

Main course
Student survey results
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

Software Quality Assurance - BE4M36ZKS

Student survey results
Credits 6
Semesters Winter
Completion Assessment + Examination
Language of teaching English
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