Testy oparte na właściwościach z QuickCheck

Opis

Szkolenie wprowadza uczestników w zaawansowane techniki testowania z wykorzystaniem biblioteki QuickCheck. Program warsztatów skupia się na praktycznych aspektach testowania opartego na właściwościach, umożliwiając automatyczne generowanie przypadków testowych i weryfikację właściwości systemu. Zajęcia łączą teorię z intensywnymi ćwiczeniami praktycznymi, pozwalając uczestnikom na natychmiastowe zastosowanie zdobytej wiedzy w rzeczywistych scenariuszach testowych.

Profil uczestnika

• Programiści zainteresowani zaawansowanymi technikami testowania
• Testerzy automatyczni poszukujący nowych narzędzi
• Inżynierowie jakości wdrażający innowacyjne metody testowania
• Architekci systemów dbający o jakość kodu
• Technical Team Leaders nadzorujący proces testowy
• DevOps Engineers integrujący testy w proces CI/CD
• Specjaliści QA poszukujący efektywnych metod weryfikacji

Agenda

1. Wprowadzenie do QuickCheck
• Filozofia testowania właściwości
• Konfiguracja środowiska
• Pierwsze właściwości
• Generatory danych testowych
2. Zaawansowane generatory
• Tworzenie własnych generatorów
• Kompozycja generatorów
• Strategie próbkowania
• Obsługa przypadków brzegowych
3. Modelowanie i weryfikacja
• Definiowanie modeli
• Testowanie maszyn stanów
• Własności sekwencyjne
• Minimalizacja przypadków testowych
4. Praktyczne zastosowania
• Integracja z procesem wytwórczym
• Debugowanie właściwości
• Analiza wyników
• Optymalizacja testów

Korzyści

Wprowadzenie systematycznego podejścia do wykrywania błędów poprzez automatyczne generowanie testów. Znacząca poprawa jakości kodu dzięki formalnemu podejściu do testowania. Automatyczne odkrywanie przypadków brzegowych i nietypowych scenariuszy użycia. Redukcja czasu potrzebnego na projektowanie przypadków testowych. Wzrost pewności działania systemu dzięki wszechstronnemu testowaniu właściwości. Skuteczniejsza weryfikacja poprawności implementacji poprzez formalne specyfikacje.

Wymagane przygotowanie uczestników

• Doświadczenie w programowaniu funkcyjnym
• Znajomość podstaw testowania oprogramowania
• Rozumienie koncepcji właściwości systemu
• Umiejętność analitycznego myślenia

Zagadnienia

• Testowanie oparte na właściwościach
• Generatory danych testowych
• Strategie próbkowania
• Modelowanie stanów
• Minimalizacja przypadków
• Debugowanie właściwości
• Analiza wyników testów
• Integracja z CI/CD
• Wzorce w testach właściwości
• Formalne specyfikacje
• Testowanie równoległe
• Optymalizacja generatorów

Poznaj naszą firmę