01TVS: Testování a verifikace software

• FJFI předmět
• Odevzdávání úloh
• Diskusní fórum
• Rozvrh

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ů.

• Povinně volitelný předmět.
• Kurz je zakončen zápočtem a zkouškou.
• Absolvování kurzu je ohodnoceno 6 kredity.
• Kredity odpovídají 2 hodinám přednášky, 2 hodinám laboratoří and přibližně 5 hodinám domácí přípravy každý týden.

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.

• Odevzdání úloh ze všech cvičení.

• Docházka na cvičení je povinná. Absence je povolena pouze v dobře zdůvodněných případech. Více než 3 omluvené absence je nutné řešit žádostí a zadáním speciální úlohy.

• Za každou odevzdanou úlohu lze získat maximální počet bodů dle tabulky výše. 25% bodů z úlohy je věnováno hodnocení typografické úpravy zprávy (klíčová je čitelnost a přehlednost, nikoliv zdobení).
  • Pozdní odevzdávání úloh: řešení odevzdaná pozdě mohou být penalizována 2 až 4 body za každý započatý týden zpoždění (podrobnosti viz Upload system).

• Získané body z řešení úloh ze semestru tvoří 40% celkového hodnocení – celkem 100 bodů i se zkouškou.

• Zkouška se skládá ze dvou částí písemných a jedné ústní. Každá písemka trvá 1 hodinu.
  • První písemka obsahuje 2 příklady, které jsou zjednodušené náhodné modifikace variant úloh řešených na seminářích. Pro řešení příkladů je možné použít přinesené přípravy a notebooků. Je možné přistupovat na internet. Není však povoleno s kýmkoliv komunikovat. Za řešení každé úlohy je možné získat maximálně 12 bodů. Celkové body, tj. maximálně 24 bodů, se započítává do hodnocení zkoušky.
    • V současné době neposkytujeme ukázkové zkušební příklady.
  • Druhá písemka obsahuje 4 otázky dle vypsaných tématických okruhů. Tuto písemku je možné vypracovat pomocí pouze papíru, pera, tužky a své hlavy. Další pomůcky nejsou povoleny. Za každou odpověď je možné získat maximálně 6 bodů. Celkové body, tj. maximálně 24 bodů, se započítává do hodnocení zkoušky.
• Body z řešení úloh (s vyjímkou bonusů) ze semestru tvoří maximálně 40% získaných bodů z předmětu, tj. získané body ze semestru se přenáší 1:1 do výsledného bodování při zkoušce.
• Dalších maximálně 12 bodů lze udělit za obhájení písemných prací či odpovědi při dodatečných otázkách v rámci ústního zkoušení. Jinak řečeno, ústní zkouška se provádí za účelem prokázat, že student problematice rozumí a ne jenom mechanicky aplikuje postupy.
• Výsledná známka ze zkoušky je udělena dle platné stupnice ČVUT vzhledem k maximálnímu počtu 100 bodů.
• Ze semestru za řešení úloh je potřeba ziskat minimálně 20 bodů (50%), rovněž součet bodů za písemky musí být minimálně 24 bodů (50%). K absolvování zkoušky je potřeba celkově získat minimálně 50 bodů (50% dle předpisu ČVUT).

ČVUT hodnotící tabulka: