Testovací strategie

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