A4M33TVS: Testování a verifikace software

• Témata úloh (Testování stavového automatu, Model checking)
• Odevzdávání úloh
• Rozvrh
• Nabídka témat bakalářských a diplomových prací

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í).

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

• 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).