Search
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 varianty předmětu na FEL je zde: A4M33TVS
Předmět představuje matematické, teoretické, a praktické základy nutné pro zvládnutí problematiky testování rozsáhlých softwarových systémů, jejich specifikace a verifikace modelů.
Informace o přednáškách a cvičeních předmětu z minulých let lze nalézt na stránce: A4M33TVS
Odevzdávaným výstupem každé úlohy je zpráva (PDF, HTML, plain text), kde je vedle samozřejmých částí, jako je zadání úlohy, závěr nebo jména autorů, uvedeno jak jste úlohu řešili, k jakým výsledkům jste došli, na jaké potíže jste narazili a jak jste se s nimi vypořádali. Zpráva by měla být co nejkratší, ale nesmí v ní nic podstatného chybět. Součástí bodového hodnocení úlohy je kvalita zpracování zprávy.
Na cvičení budete potřebovat Uppaal, Alloy a váš oblíbený skriptovací jazyk pro generování zpráv. Také by se vám mohl hodit Graphviz.
Deadline pro odevzdání úlohy je obvykle následující cvičení. Výjimkami jsou Alloy a semestrální úloha.
ČVUT hodnotící tabulka: