Subject description - BE4M36ZKS

Summary of Study | Summary of Branches | All Subject Groups | All Subjects | List of Roles | Explanatory Notes               Instructions
BE4M36ZKS Software Quality Assurance Extent of teaching:2P+2C
Guarantors:Bureš M. Roles:PO Language of
teaching:
EN
Teachers:Bureš M., Frajták K. Completion:Z,ZK
Responsible Department:13136 Credits:6 Semester:Z

Anotation:

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.

Course outlines:

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.

Exercises outline:

Literature:

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

Requirements:

Subject is included into these academic programs:

Program Branch Role Recommended semester
MEOI1_2018 Human-Computer Interaction PO 3
MEOI2_2018 Cyber Security PO 3
MEOI6_2016 Software Engineering PO 1
MEOI1_2016 Human-Computer Interaction PO 3
MEOI2_2016 Cyber Security PO 3
MEOI6_2018 Software Engineering PO 1


Page updated 13.12.2019 17:52:09, semester: Z,L/2020-1, L/2018-9, Z,L/2019-20, Send comments about the content to the Administrators of the Academic Programs Proposal and Realization: I. Halaška (K336), J. Novák (K336)