Zajištění kvality software
Kód | Zakončení | Kredity | Rozsah | Jazyk výuky |
---|---|---|---|---|
B4M36ZKS | Z,ZK | 6 | 2P+2C | česky |
- Garant předmětu:
- Přednášející:
- Cvičící:
- Předmět zajišťuje:
- katedra počítačů
- 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.
- Požadavky:
- Osnova 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.
- Osnova cvičení:
- Cíle studia:
- Studijní materiály:
-
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
- Poznámka:
- Další informace:
- https://moodle.fel.cvut.cz/courses/B4M36ZKS
- Pro tento předmět se rozvrh nepřipravuje
- Předmět je součástí následujících studijních plánů:
-
- Otevřená informatika - Interakce člověka s počítačem 2018 (povinný předmět oboru)
- Otevřená informatika - Kybernetická bezpečnost 2018 (povinný předmět oboru)
- Otevřená informatika - Softwarové inženýrství 2018 (povinný předmět oboru)
Předmět B4M36ZKS může být splněn v zastoupení předmětem BE4M36ZKS