CTU FEE Moodle
Software Quality Assurance
B242 - Summer 24/25
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
| 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 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.
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 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
Exercises outlines
None
Literature
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.
Requirements
None
Software Quality Assurance - BE4M36ZKS
| 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 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.
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 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
Exercises outlines
None
Literature
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.
Requirements
None