Moodle FEL ČVUT
Software Quality Assurance
B242 - Letní 2024/2025
Toto je tzv. shluknutý kurz. Skládá se z několika samostatných předmětů, které sdílejí výukové materiály, úkoly, testy apod. Níže si můžete zobrazit informace o jednotlivých předmětech tvořících tento shluk.
Software Quality Assurance - BE4M36ZKS
Hlavní kurz
| Kredity | 6 |
| Semestry | zimní |
| Zakončení | Zápočet a zkouška |
| Jazyk výuky | angličtina |
| Rozsah výuky | 2P+2C |
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.
Cíle studia
None
Osnovy 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
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
Osnovy cvičení
None
Literatura
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.
[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.
Požadavky
None
Zajištění kvality software - B4M36ZKS
| Kredity | 6 |
| Semestry | zimní |
| Zakončení | Zápočet a zkouška |
| Jazyk výuky | čeština |
| Rozsah výuky | 2P+2C |
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.
Cíle studia
None
Osnovy 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
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
Osnovy cvičení
None
Literatura
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.
[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.
Požadavky
None