Testování a verifikace software

• Stránky předmětu
• Přednášející: Radek Mařík
• Cvičící: Radek Mařík, Ivan Havel

Okruhy otázek

Skuska sa skladala z dvoch casti. 1. cast dva priklady, 2. cast 4 teoreticke otazky. Na kazdu cast bola hodinova casova dotacia.

Seria prikladov cislo 4.

Sekvencia 4 akcii:
1. Akcia: New, Open
2. Akcia: Select, SelectAll, SelectChar
3. Akcia: Bold, Cursive, Italics
4. Akcia: Save, SaveAs
Ulohou bolo vytvorit odpovedajuce latinske stvorce a vytvorit subor testov.
2 z testov prelozit do jazyka programatora. (Pr. 0210 - sekvencia akcii New, SelectChar, Cursive, Save)

Bol dany predpis funkcie v Java kode.
1. Vytvorit graf - jednoducho graficky znazornit; je dobre si naznacit na hrany, kde sa dana premenna definuje a kde sa pouziva.
2. Vypisat DU cesty pre danu premennu (v mojom pripade c999).

1. Strukturovane testovanie. Testovanie toku riadenia: Zakladne typy testovacich modelov.
2. Overovanie modelov (Model Checking): Casovy automat a jeho semantika.
3. Temporalna logika. LTL logika a jej temporalne operatory.
4. Statisticke testovanie softwaru: Propagacia kovariancnej matice - implicitny vztah.