čeština

Student zná základní techniky testování software. Je schopen vytvářet efektivní testovací sady softwarových produktů. Umí analyzovat zdrojové kódy, zná typická slabá místa programu citlivá na výskyt chyb. Umí analyzovat chování software s konečným či nekonečným během bez znalosti jeho zdrojových kódů. Student umí testovat a/nebo analyzovat komunikaci programů, výkon programu, využití sdílených prostředků, práci s datovými úložištěmi a funkci grafického uživatelského rozhraní. Student umí systematickým způsobem hledat chyby v programech. Student zná základy plánování a řízení testování. Student se seznámí s odbornými termíny předmětu v anglickém jazyce. Student se formou projektu naučí analyzovat software za účelem zvýšení jeho kvality. Získá dovednost tvorby testovacích sad a hledání chyb v programech.

formální jazyky a překladače, algoritmy, operační systémy

Za 2 projekty mohou studující získat až 40 bodů a za závěrečnou zkoušku až 60 bodů.

Získat přehled o etapě verifikace softwarových systémů, pozornost se věnuje problematice dynamické analýzy programového vybavení. Získat praktické dovednosti s testováním software na úrovni potřebné pro osobu zodpovědnou za kvalitu produktu (QA testera). Zvládnutí tvorby automatizovaných testů různých aspektů verifikovaných programů. Získat přehled plánování a řízení testování.

Vypracování a obhajoba projektů v předepsaných termínech.

Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, 2008, 322 s. ISBN 978-0-511-39330-3.

Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, 2008, 322 s. ISBN 978-0-511-39330-3.
Farrell-Vinay, P.: Manage Software Testing. Auerbach Publications, 2008, 537 s., ISBN 978-0-8493-9383-9.
Kaner, C., James, B., Pettichord, B.: Lessons Learned in Software Testing: A Context-Driven Approach. Wiley Computer Publishing, 2002, 286 s., ISBN 0-471-08112-4.
Marick, B.: The Craft Of Software Testing, Subsystem Testing, Prentice Hall PTR, 1995, ISBN 0-13-177411-5.
Myers, G. J., Sandler, C., Badgett, T.: The Art of Software Testing, 3. vydání. John Wiley & Sons, 2011, 256 s., ISBN 978-1118031964.
Spillner, A., Linz, A., Schaefer, H.: Software Testing Foundations : A Study Guide for the Certified Tester Exam. Rocky Nook Computing. 2014. p. 296. ISBN 9781937538422.
Spillner, A., Linz, T., Schaefer, H.: Software Testing Foundations, 2. vydání, 2007, 296 s., ISBN 978-1-9339-5278-9.