Subject description - BE4M36ZKS

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

Web page:

https://moodle.fel.cvut.cz/courses/BE4M36ZKS

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_2018 Software Engineering PO 1


Page updated 5.12.2024 17:51:30, semester: Z/2025-6, Z,L/2024-5, Send comments about the content to the Administrators of the Academic Programs Proposal and Realization: I. Halaška (K336), J. Novák (K336)