Moodle FEL ČVUT
Zajištění kvality software
B232 - Letní 23/24
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.
Zajištění kvality software - B4M36ZKS
Hlavní kurz
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 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. Závěrečná část předmětu se poté zabývá úvodem do formálních verifikací vytvářeného software.
Cíle studia
Žádná data.
Osnovy přednášek
1. Úvod, metodologie testování, automatizace testů, formální metody a vzájemné souvislosti.
2. Zajištění kvality celého vývojového procesu: Quality assurance, W-model, statické testování.
3. Způsoby zajištění kvality v jednotlivých stylech vývoje software, test-driven development.
4. Metriky kvality a spolehlivosti software, měření efektivity testování.
5. Vytváření testů z modelu aplikace 1.
6. Vytváření testů z modelu aplikace 2.
7. Návrhové vzory pro unit testování, propojení unit testování s procesy vývoje a nasazování.
8. Automatické testování pomocí front-end rozhraní aplikace.
9. Automatické integrační testování.
10. Statické testování kódu.
11. Úvod do formální verifikace modelů, Kripkeho struktury.
12. Temporální logiky.
13. Z notace.
14. Rezerva.
2. Zajištění kvality celého vývojového procesu: Quality assurance, W-model, statické testování.
3. Způsoby zajištění kvality v jednotlivých stylech vývoje software, test-driven development.
4. Metriky kvality a spolehlivosti software, měření efektivity testování.
5. Vytváření testů z modelu aplikace 1.
6. Vytváření testů z modelu aplikace 2.
7. Návrhové vzory pro unit testování, propojení unit testování s procesy vývoje a nasazování.
8. Automatické testování pomocí front-end rozhraní aplikace.
9. Automatické integrační testování.
10. Statické testování kódu.
11. Úvod do formální verifikace modelů, Kripkeho struktury.
12. Temporální logiky.
13. Z notace.
14. Rezerva.
Osnovy cvičení
Žádná data.
Literatura
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
2. Unmesh Gundecha: Selenium Testing Tools Cookbook, Packt Publishing 2012
3. Lasse Koskela: Effective Unit Testing: A guide for Java developers, Manning, 2013
Požadavky
Žádná data.
Software Quality Assurance - BE4M36ZKS
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 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. Závěrečná část předmětu se poté zabývá úvodem do formálních verifikací vytvářeného software.
Cíle studia
Žádná data.
Osnovy přednášek
1. Úvod, metodologie testování, automatizace testů, formální metody a vzájemné souvislosti.
2. Zajištění kvality celého vývojového procesu: Quality assurance, W-model, statické testování.
3. Způsoby zajištění kvality v jednotlivých stylech vývoje software, test-driven development.
4. Metriky kvality a spolehlivosti software, měření efektivity testování.
5. Vytváření testů z modelu aplikace 1.
6. Vytváření testů z modelu aplikace 2.
7. Návrhové vzory pro unit testování, propojení unit testování s procesy vývoje a nasazování.
8. Automatické testování pomocí front-end rozhraní aplikace.
9. Automatické integrační testování.
10. Statické testování kódu.
11. Úvod do formální verifikace modelů, Kripkeho struktury.
12. Temporální logiky.
13. Z notace.
14. Rezerva.
2. Zajištění kvality celého vývojového procesu: Quality assurance, W-model, statické testování.
3. Způsoby zajištění kvality v jednotlivých stylech vývoje software, test-driven development.
4. Metriky kvality a spolehlivosti software, měření efektivity testování.
5. Vytváření testů z modelu aplikace 1.
6. Vytváření testů z modelu aplikace 2.
7. Návrhové vzory pro unit testování, propojení unit testování s procesy vývoje a nasazování.
8. Automatické testování pomocí front-end rozhraní aplikace.
9. Automatické integrační testování.
10. Statické testování kódu.
11. Úvod do formální verifikace modelů, Kripkeho struktury.
12. Temporální logiky.
13. Z notace.
14. Rezerva.
Osnovy cvičení
Žádná data.
Literatura
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
2. Unmesh Gundecha: Selenium Testing Tools Cookbook, Packt Publishing 2012
3. Lasse Koskela: Effective Unit Testing: A guide for Java developers, Manning, 2013
Požadavky
Žádná data.