Popis předmětu - AD4M33TVS

Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
AD4M33TVS Testování a verifikace software Rozsah výuky:14+6c
Garanti:  Role:PO,V Jazyk výuky:CS
Vyučující:  Zakončení:Z,ZK
Zodpovědná katedra:13133 Kreditů:6 Semestr:Z

Anotace:

Předmět představí matematické a teoretické základy nutné pro zvládnutí problematiky testování software, včetně definic základních pojmů (spolehlivost, korektnost SW systému atd.) Důraz bude kladen na nástroje a techniky použitelné pro vyhodnocení korektnosti a kvality SW systémů. První část předmětu se zabývá existujícími metodami pro testování (metody černé a bílé skříňky, formální metody, funkční a strukturální analýza), včetně metod pro redukci počtu testů a jejich automatizaci.Druhá část předmětu se soustředí na metody pro formální verifikaci SW systémů. Budou probrány formalismy pro popis dynamických vlastností SW systémů (Z-notace, temporální logiky) a mechanismy pro jejich automatickou verifikaci (model checking, theorem proving).

Výsledek studentské ankety předmětu je zde: A4M33TVS

Osnovy přednášek:

1. Úvod do testování a verifikace SW
2. Požadavky a specifikace na SW systém
3. Pojem chyby software, kategorizace chyb. Kritéria korektnosti a použitelnosti.
4. Testování metodami černé, šedé a bílé skříňky
5. Efektivizace metod testování bílé skříňky. Strukturální
analýza. Invarianty a jejich omezení.
6. Statická a dynamická analýza. Analýza datových toků.
7. Integrační a zátěžové testy.
8. Formální specifikace programu: z-notace, temporální logiky
9. Verifikace metodami automatického dokazování
10. Automatická verifikace metodou model checking
11. Axiomatická a funkcionální verifikace
12. Verifikace distribuovaných a otevřených systémů
13. Nástroje pro testování a verifikaci SW
14. Otevřená témata v testování a verifikaci SW. Výhled do budoucna.

Osnovy cvičení:

1. Organizace cvičení, podmínky zápočtu
2. Presentace systémů pro testování a verifikaci software
3. Presentace systémů pro testování a verifikaci software
4. Presentace systémů pro testování a verifikaci software
5. Zadání semestrální práce 1
6. Vypracování semestrální práce 1
7. Vypracování semestrální práce 1
8. Vypracování semestrální práce 1
9. Vypracování semestrální práce 1
10. Zadání semestrální práce 2
11. Vypracování semesterální práce 2
12. Vypracování semesterální práce 2
13. Vypracování semesterální práce 2
14. Udělení zápočtů

Literatura:

Paul Ammann and Jeff Offutt, Introduction to Software Testing, Cambridge University Press, Cambridge, UK, ISBN 0-52188-038-1, 2008. Systems and Software Verification: Model-Checking Techniques and Tools by
B. Berard, M. Bidoit, A. Finkel, and F. Laroussinie, Springer; 2001

Požadavky:

Poznámka:

Rozsah výuky v kombinované formě studia: 14p+6c

Předmět je zahrnut do těchto studijních plánů:

Plán Obor Role Dop. semestr
MKEEM1 Technologické systémy V 3
MKEEM5 Ekonomika a řízení elektrotechniky V 3
MKEEM4 Ekonomika a řízení energetiky V 3
MKEEM3 Elektroenergetika V 3
MKEEM2 Elektrické stroje, přístroje a pohony V 3
MKKME1 Bezdrátové komunikace V 3
MKKME5 Komunikační systémy V 3
MKKME4 Sítě elektronických komunikací V 3
MKKME3 Elektronika V 3
MKKME2 Multimediální technika V 3
MKKYR4 Letecké a kosmické systémy V 3
MKOI5 Softwarové inženýrství PO 3
MKKYR1 Robotika V 3
MKKYR3 Systémy a řízení V 3
MKKYR2 Senzory a přístrojová technika V 3


Stránka vytvořena 26.3.2019 17:48:13, semestry: Z,L/2020-1, L/2019-20, Z,L/2018-9, Z/2019-20, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)
Za obsah odpovídá: doc. Ing. Ivan Jelínek, CSc.