Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Software Quality Assurance

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah Jazyk výuky
BE4M36ZKS Z,ZK 6 2P+2C anglicky

Předmět BE4M36ZKS může při kontrole studijních plánů nahradit předmět B4M36ZKS

Předmět BE4M36ZKS nesmí být zapsán, je-li v témže semestru zapsán anebo již dříve absolvován předmět B4M36ZKS (vztah je symetrický)

Předmět BE4M36ZKS nesmí být zapsán, je-li v témže semestru zapsán anebo již dříve absolvován předmět B4M36ZKS (vztah je symetrický)

Garant předmětu:
Miroslav Bureš
Přednášející:
Miroslav Bureš, Karel Frajták, Matěj Klíma
Cvičící:
Miroslav Bureš, Feras Abdul Hadi Mustafa Daoud, Karel Frajták, Matěj Klíma
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/BE4M36ZKS
Rozvrh na zimní semestr 2023/2024:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út
St
Čt
místnost KN:E-301
Frajták K.
Bureš M.

09:15–10:45
(přednášková par. 1)
Karlovo nám.
Šrámkova posluchárna K9
místnost KN:E-328
Daoud F.
11:00–12:30
(přednášková par. 1
paralelka 101)

Karlovo nám.
Bourací učebna

Rozvrh na letní semestr 2023/2024:
Rozvrh není připraven
Předmět je součástí následujících studijních plánů:
Platnost dat k 27. 3. 2024
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet4879106.html