Testování software - NTIN070

• Anglický název: Software Testing
• Zajišťuje: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2015
• Semestr: zimní
• E-Kredity: 3
• Rozsah, examinace: zimní s.:2/0, Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Garant: Mgr. Vladan Majerech, Dr.
• Vyučující: Mgr. Vladan Majerech, Dr.
• Třída: Informatika Mgr. - volitelný
• Kategorizace předmětu: Informatika > Teoretická informatika

Anotace

čeština

Testování software, metody vývoje software usnadňující jeho zavádění.

Poslední úprava: G_I (27.05.2003)

angličtina

Software testing, software development methods symplifying software incorporation.

Poslední úprava: G_I (27.05.2003)

Cíl předmětu

Naučit základní techniky používané při testování software.

Poslední úprava: T_KTI (23.05.2008)

Podmínky zakončení předmětu

Zkouška sestává z ústní části.

Požadavky odpovídají sylabu přednášky v rozsahu prezentovaném na přednášce.

Poslední úprava: Majerech Vladan, Mgr., Dr. (06.10.2017)

Literatura

Ron Paton: Testování softwaru, Computer Press, Praha 2002 články WWW.MTSU.EDU/~STORM

Poslední úprava: G_I (27.05.2003)

Sylabus

čeština

Pojem chyby software, kategorizace chyb. Specifikace zadání. Nemožnost algoritmického testování software.

Rozdíl mezi zakázkovým a krabicovým software.

Metody testování konfigurací.

Metody testování uživatelského rozhraní.

Metody testování černé, šedé a bílé skříňky. Důvody pro "tmavší" testování.

Metody efektivizace testování bílé skříňky. Invarianty a jejich omezení, vnitřní standardy, sladění procesu kompilace se standardy.

Testování testů. (Pokrytí kódu, testování mutací.)

Testování přechodů mezi verzemi software.

Vývoj a testování specifikací.

Vývoj a testování dokumentace.

Poslední úprava: T_KTI (24.05.2004)

angličtina

What is the software bug? Bug typology. Impossibility of algorithmic software testing.

Differences between custom software and box software.

Configuration testing.

User interface testing.

Black, Grey, White box testing, reasons for darker testing.

Making white tests more efficient. Invariants and their limits. Internal standards. Integration of standard checking into compile process.

Tests testing. (Code coverage. Mutants testing.)

Upgrades testing.

Specification testing.

Documentation testing.

Poslední úprava: T_KTI (24.05.2004)