Obsah Kapitola 1. Úvod...13 Kapitola 2. Základní pojmy...17

Transkript

1 Obsah 5 Kapitola 1. Úvod Co knize předcházelo Proč tato knížka vznikla Co můžete od knížky očekávat Poděkování Konvence...16 Kapitola 2. Základní pojmy Úvod Základní důvody, proč testovat Nejdůležitější termíny Termíny chyba, porucha a selhání Testování nedokáže říci, že program je bez chyb Verifikace, validace a testování Zajištění kvality softwaru Vyhodnocení správnosti chování testovaného programu Kdy se vyplatí s testováním skončit Pozitivní a negativní testy Kdy a kolik testů připravujeme Míchání pozitivních a negativních testů Test dává opačné výsledky je chybný Priorita versus severita Testovatelnost Metriky Popis jednotlivých testů a jejich skupin Testovací případ Sada testovacích případů Typy testů Členění testů Statické versus dynamické testovací metody Černá, bílá a šedá skříňka Fáze testů Dimenze kvality Testovací mix Jaké typy testů jsou v praxi v ČR používány...39

2 6 Obsah Přehled základních typů testů Testování podle scénářů Průzkumné testování Regresní testy Jednotkové testy Beta testy Smoke test Akceptační testování Konfirmační testování...43 Kapitola 3. Jednotkové testování Úvodní informace Umístění JUnit Princip použití Ukázka jednoduché entitní třídy pro testování První testovací případ Spuštění testů z příkazové řádky Použití testů z Eclipse JUnit test odhalil chybu Rozdíl mezi Error a Failure Základní informace o použití jednotkových testů Běžně využívané možnosti při psaní testovacích případů Parametry Testování očekávaných výjimek Práce s výjimkami Timeout Testovací metody z org.junit.assert Základní informace platné pro všechny typy Testy shodnosti Testy logické hodnoty Použití regulárních výrazů Testy obsahu referenčních proměnných Testy shodnosti referenčních proměnných Testy shodnosti celých polí Akce před a po spuštění testovacích případů Praktické náležitosti Ukázka testů entitní třídy Kam se soubory s třídami testů fyzicky umís ují Jak se spouští najednou testy z více testovacích tříd Způsob pojmenovávání testovacích metod...84

3 Obsah Další způsoby spouštění Spouštění z Ant Spouštění z Java programu Sofistikovanější možnosti...90 Kapitola 4. Antivzory v používání jednotkových testů Obecně nedoporučované praktiky Nevhodné použití aserce Test je vyhodnocován manuálně Násobná aserce v testu Nevhodná aserce Příliš složité testy Konkrétní špatné techniky Lhář (The Liar) Nadměrná příprava (Excessive Setup) Inspektor (The Inspector) Velkorysé zbytky (Generous Leftovers) Vykukující kocour (The Peeping Tom) Místní hrdina (The Local Hero) Kazatel operačního systému Hnidopich (The Nitpicker) Tajemný lovec (The Secret Catcher) Ulejvák (The Dodger) Křikloun (The Loudmouth) Nenasytný lovec (The Greedy Catcher) Výčet (The Enumerator) Cizinec (The Stranger) Štastná cesta (Happy Path) Podřadní občané (Second Class Citizens) Pomalé dloubnutí (The Slow Poke) Jízda zadarmo (The Free Ride) Bezejmenný test (The Test With No Name) Spáč (The Sleeper) Obr (The Giant) Imitátorna (The Mockery) Nebezpečnost jednotlivých antivzorů Kapitola 5. Pokročilé možnosti frameworku JUnit Matchers a metoda assertthat() Nejdůležitější matchery z org.hamcrest.corematchers Pořadí vykonávání testů...125

4 8 Obsah 5.3. Ignorování testů Spojování tříd testů do Kategorie 5.5. Parametrizované Základní použití Zajištění přehlednějšího chybového výpisu N-tice parametrů Programové generování parametrů testu Načítání parametrů ze souboru Předávání parametrů přes konstruktor Rules TemporaryFolder ErrorCollector ExternalResource Verifier TestWatcher TestName Timeout ExpectedException Stopwatch Doplňkové akce s Rules Několik Rules najednou pro skupinu tříd Assumptions předpoklady testu Assume Kapitola 6. Mockování Ukázka doménové třídy s těsnými vazbami Rozvolnění závislostí mezi třídami Bussines Interface Návrhový vzor Inversion of Control (IC) Návrhový vzor Dependency Injection (DI) Ukázka upravené doménové třídy Principy řešení problému rozplizlého testování Implementace stub objektů Implementace mock objektů Framework EasyMock základní dovednosti První testovací případ

5 Obsah Využití více záznamů v mock objektu Více testovacích případů Spouštění z Ant Mock objekt bez použití business interface Předchozí případ pomocí class mock objektu Dva nezávislé mock objekty Využití parametrizovaného testu Speciality Různé typy mock objektů Opakování jednou nahraného volání Testování void metod a výjimek Mock objekty s nekonkrétními formálními parametry Kapitola 7. Techniky strukturálního testování Ukázka možností Druhy pokrytí Nástroje pro zjištění pokrytí kódu v Javě Nástroj EclEmma První spuštění EclEmma pro ověření správnosti instalace Příprava testovaného a testovacího kódu Konfigurace pluginu EclEmma k projektu Zobrazení naměřených výsledků Záložka Coverage View pohled manažera Obarvení zdrojového kódu pohled vývojáře Sumarizace různých typů pokrytí pohled testera Konfigurace Export výsledků Nejužívanější druhy pokrytí kódu Pokrytí příkazů Pokrytí rozhodnutí/logických podmínek DC Pokrytí podmínek CC Rozdíly mezi DC, CC, C/DC, MC/CD a MCC MCC modified condition coverage MC/DC multiple condition/decision coverage C/DC condition/decision coverage CC condition coverage DC decision coverage Testování základních cest Cyklomatická složitost...243

6 10 Obsah Kapitola 8. Jak připravit testovací data Rozdělení tříd ekvivalence Typy tříd ekvivalence Statické a dynamické hodnoty Problémy dekompozice počet tříd ekvivalence Praktický případ třídy ekvivalence pro datum Testování hraničních hodnot Typy hraničních hodnot Testování hraničních případů Počty testů a postup Triviální optimální příklad testování hraničních případů Problémový příklad testování hraničních případů Rozhodovací tabulky Speciální případy Subhraniční podmínky Unikátní hodnoty Zvláštní podmínky Prázdné hodnoty Neplatné, chybné, nesprávné a nesmyslné údaje Kapitola 9. Testování webových aplikací Specifika webových aplikací Značně různá složitost na technologické úrovni Časté změny Proměnlivá zátěž Ztížená práce se soubory Bezestavovost Možná identifikace ovládacích prvků Množství používaných web prohlížečů a jejich verzí Testovací framework Selenium Selenium WebDriver Úvodní informace Ukázka jednoduchého kompletního funkčního testu Základní možnosti Selenium WebDriver API Přepnutí na konkrétní stránku Lokalizace UI elementů Uživatelský vstup Kliknutí na elementu Zasílání funkčních kláves Odeslání vyplněného formuláře Čekání na událost...292

7 Obsah Test statických prvků Testování na konkrétním webovém prohlížeči Ukázka použití driveru pro Chrome Kapitola 10. Logování Základní pojmy Apache Log4j Logované informace Úrovně závažnosti Základní použití logování Třída Logger Jak to zhruba funguje Další užitečné metody třídy Logger Substituce a formátování parametrů výpisu Vhodné jméno loggeru Základy konfigurace Možné způsoby konfigurace Název v proměnné log4j.configurationfile Soubor log4j2-test.xml v Classpath Soubor log4j2.xml v Classpath Třída DefaultConfiguration a potlačení výpisů Konfigurační soubor pro defaultní konfiguraci Principy zpracování logu a hierarchie konfigurace Hierarchie loggerů a vhodná aditivita Nevhodná aditivita Zabránění nevhodné aditivitě Automatická rekonfigurace Použití properties Dva typy XML konfiguračních souborů XML soubor strict="false" XML soubor strict="true" Appendery ConsoleAppender FileAppender RollingFileAppender RandomAccessFileAppender AsyncAppender Layouty HTMLLayout XMLLayout Univerzální PatternLayout...349

8 12 Obsah Filtry ThresholdFilter BurstFilter TimeFilter RegexFilter CompositeFilter Realistický příklad Kapitola 11. Statická analýza kódu Základní pojmy, přístupy a dosah statické analýzy Pojmy ohledně čitelnosti zdrojového kódu Kódovací standard Procházení kódu Pojem technický dluh Obecné vlastnosti statických analyzátorů PMD Spuštění z příkazové řádky Pravidla a jejich seznamy Popis pravidla Základní existující seznamy Doplňkové existující seznamy Vlastní seznam Potlačení chybového hlášení Praktické zkušenosti Integrace do Eclipse Instalace První spuštění a základní ovládání Reporty Konfigurace Použitá literatura Rejstřík