Podcast
Questions and Answers
Jaký je účel jednotkových testů v programování?
Jaký je účel jednotkových testů v programování?
Jaký je postup při nálezu chyby v kódu?
Jaký je postup při nálezu chyby v kódu?
Jaká je role vývojářů při programování?
Jaká je role vývojářů při programování?
Co je podmínkou pro vydání produktu?
Co je podmínkou pro vydání produktu?
Signup and view all the answers
Jaký je účel interních akceptačních testů?
Jaký je účel interních akceptačních testů?
Signup and view all the answers
Jaký je postup při přijetí produktu?
Jaký je postup při přijetí produktu?
Signup and view all the answers
Co je cílem integrace?
Co je cílem integrace?
Signup and view all the answers
Jaký je účel modelovacích jazyků?
Jaký je účel modelovacích jazyků?
Signup and view all the answers
Jaký je účel akceptačního prostředí?
Jaký je účel akceptačního prostředí?
Signup and view all the answers
Co je výsledkem jednotkových testů?
Co je výsledkem jednotkových testů?
Signup and view all the answers
Study Notes
Testovací strategie
- Testovací strategie popisuje, jaké typy testů budou provedeny a s jakým cílem (například funkční testy, zatěžovací testy atd.)
- Jednotlivé testy jsou zařazeny do konkrétních fází testování (integrační testy, akceptační testy atd.)
- Definuje se také technika, kterou budou jednotlivé typy testů prováděny
- Dále se stanoví způsob, jakým se budou testy vyhodnocovat, a kritérií, podle kterých je test označen jako kompletní
Požadavky na zdroje
- Požadavky na zdroje definují požadavky, které musí být splněny, aby bylo možné testy provést
- Zahrnují požadavky technického rázu (například přípravu testovacího hardwaru, instalaci softwaru atd.)
- Zahrnují také lidské zdroje, včetně požadavku na spolupráci jiných pracovníků (například při instalaci a správě testovacího prostředí)
Definice rizik
- Definice rizik slouží k vymezení situací, které mohou ohrozit úspěšné testování
- Zahrnují například nedodání aplikace ve stanoveném termínu, nedostupný testovací nástroj, nebo nedostatek proškolených pracovníků
- U těchto rizik se stanoví míra jejich závažnosti a návrh protiopatření
Verifikace vs validace
- Verifikace (verification) je kontrola, zda vyvíjený systém vyhovuje specifikacím (návrhu)
- Validace (validation) je kontrola, zda vyvíjený systém splňuje to, co od něj zákazník očekává
- Mezi metody verifikace patří většina testování, kterého se neúčastní zákazník (jednotkové testy, integrační testy atd.)
Regresní testy
- Regresní testy mají za úkol ověřit, že zásahy do aplikace nebyla narušena správná funkce těch částí, které těmito zásahy neměly být ovlivněny
- Testují se, že oprava chyby nebo přidání nové funkčnosti nezpůsobily novou chybu v již funkčních částech aplikace
- Regresní testy se často automatizují, protože u nich jde o opakované provádění stejných operací se známým výsledkem
V-model
- V-model ukazuje, v jaké části projektu se testy provádějí
- Zahrnuje fáze vývoje aplikace - sběr požadavků zákazníka, specifikace systému, návrh a implementace
- Každý druh testů slouží k ověření jiné fáze vývoje
Logické programování a Prolog
- Logické programování je druh deklarativního programování, který se zaměřuje na popis problému pomocí logických výroků a pravidel a automatické vyvozování závěrů z těchto výroků
- Prolog je založen na predikátové logice prvního řádu
- Program funguje na dokazování zadaných klauzulí
Programování
- Programátor neručí pouze za správnost programu, ale i za jeho efektivitu
- Často je pro dosažení efektivity nezbytné, aby se programátor seznámil se způsobem, jakým dokazovač vět řeší problém a uměl jej využívat
Studying That Suits You
Use AI to generate personalized quizzes and flashcards to suit your learning preferences.
Description
Testovací strategie popisuje typy testů, cíle a fáze testování. Popisuje také techniky provedení a vyhodnocení testů.