Szkolenie Testy oparte na właściwościach z ScalaCheck
Praktyczne informacje o szkoleniu
- KATEGORIA: Technologie
- PODKATEGORIA: Testowanie i Jakość Oprogramowania
- KOD SZKOLENIA: IT-TE-47
- CZAS TRWANIA: 3 dni
- INFORMACJA CENOWA od: 2950 zł netto
- JĘZYK SZKOLENIA: polski
- FORMA REALIZACJI: stacjonarna, online
Opis szkolenia
Szkolenie wprowadza uczestników w świat testowania opartego na właściwościach z wykorzystaniem biblioteki ScalaCheck. Program warsztatów skupia się na praktycznym zastosowaniu technik generowania danych testowych i weryfikacji właściwości systemów. Zajęcia łączą teorię z intensywnymi ćwiczeniami praktycznymi, umożliwiając uczestnikom natychmiastowe zastosowanie zdobytej wiedzy. Metodyka nauczania opiera się na stopniowym wprowadzaniu coraz bardziej zaawansowanych koncepcji.
Profil uczestnika
- Programiści Scala zainteresowani zaawansowanym testowaniem
- Testerzy automatyczni pracujący w ekosystemie JVM
- Inżynierowie jakości wdrażający nowe metody testowania
- Architekci systemów dbający o jakość kodu
- DevOps Engineers integrujący testy w proces CI/CD
- Technical Team Leaders nadzorujący procesy testowe
- Specjaliści QA poszukujący efektywnych metod testowania
Agenda
- Podstawy ScalaCheck
- Wprowadzenie do testowania właściwości
- Konfiguracja środowiska
- Pierwsze testy właściwości
- Generatory danych testowych
- Zaawansowane generatory
- Tworzenie własnych generatorów
- Kompozycja generatorów
- Strategie próbkowania
- Obsługa przypadków brzegowych
- Modelowanie i weryfikacja
- Definiowanie modeli stanów
- Testowanie maszyn stanów
- Własności sekwencyjne
- Testowanie współbieżności
- Integracja i praktyka
- ScalaCheck w ekosystemie testowym
- Integracja z innymi narzędziami
- Debugowanie testów
- Optymalizacja procesu testowego
Korzyści
Możliwość wykrywania trudno uchwytnych błędów dzięki automatycznemu generowaniu danych testowych. Znaczące zwiększenie pokrycia testowego poprzez systematyczne badanie przestrzeni stanów. Automatyzacja procesu poszukiwania przypadków brzegowych i nietypowych scenariuszy. Lepsze zrozumienie właściwości systemu dzięki formalnemu podejściu do testowania. Redukcja czasu potrzebnego na tworzenie przypadków testowych. Wzrost pewności działania systemu dzięki rygorystycznej weryfikacji właściwości.
Wymagane przygotowanie uczestników
- Znajomość podstaw języka Scala
- Doświadczenie w testowaniu oprogramowania
- Rozumienie paradygmatu funkcyjnego
- Podstawy matematyki dyskretnej
Zagadnienia
- Testowanie właściwości w Scala
- Generatory danych testowych
- Strategie próbkowania
- Modelowanie stanów
- Testowanie współbieżności
- Właściwości sekwencyjne
- Debugowanie testów
- Integracja z CI/CD
- Minimalizacja przypadków
- Analiza pokrycia
- Wzorce w testach właściwości
- Optymalizacja generatorów
Masz pytania?
Zapraszamy do kontaktu
Patrycja Petkowska
+48 735 257 272
patrycja.petkowska@eitt.academy
ul. Ząbkowska 31 03-736 Warszawa
Formy realizacji szkolenia
Szkolenie stacjonarne
- Szkolenie w siedzibie klienta lub wskazanej lokalizacji
- Sala szkoleniowa wyposażona w niezbędny sprzęt
- Materiały szkoleniowe w formie elektronicznej
- Przerwy kawowe i lunch
- Bezpośrednia interakcja z trenerem
- Networking w grupie
- Ćwiczenia warsztatowe w zespołach
Szkolenie zdalne
- Wirtualne środowisko szkoleniowe
- Materiały w formie elektronicznej
- Interaktywne ćwiczenia online
- Breakout rooms do pracy w grupach
- Wsparcie techniczne podczas szkolenia
- Nagrania sesji (opcjonalnie)
Możliwość dofinansowania
Szkolenie może zostać sfinansowane ze środków publicznych w ramach:
- Krajowego Funduszu Szkoleniowego (KFS)
- Bazy Usług Rozwojowych (BUR)
- Projektów unijnych realizowanych przez PARP
- Programu Akademia HR (PARP)
- Regionalnych programów operacyjnych
W przypadku zainteresowania dofinansowaniem, nasz zespół pomoże w przygotowaniu wymaganej dokumentacji.
MASZ PYTANIA?
Skontaktuj się z nami, aby uzyskać więcej informacji o naszych szkoleniach, programach oraz współpracy. Chętnie odpowiemy na wszystkie Twoje zapytania!
Zaufali nam
Poznaj naszą firmę
Masz pytania?
Zapraszamy do kontaktu
Patrycja Petkowska
+48 735 257 272
patrycja.petkowska@eitt.academy
ul. Ząbkowska 31 03-736 Warszawa
FAQ — Często zadawana pytania
Oferujemy szkolenia w różnych, dopasowanych do potrzeb formatach: stacjonarnie (w siedzibie klienta lub naszym centrum szkoleniowym), interaktywnie online na żywo z trenerem oraz w formule hybrydowej. Szczegółowa informacja o dostępnych formach realizacji dla konkretnego szkolenia znajduje się zawsze w jego opisie na stronie.
Szkolenia otwarte online zazwyczaj odbywają się w godzinach 9:00 - 17:00 czasu polskiego. W przypadku szkoleń zamkniętych, dedykowanych dla firm, harmonogram jest elastyczny i ustalamy go indywidualnie z klientem, aby jak najlepiej dopasować się do potrzeb organizacji.
Do prowadzenia interaktywnych szkoleń online wykorzystujemy sprawdzone i popularne platformy wideokonferencyjne, takie jak Microsoft Teams czy Zoom. Zapewniają one płynną komunikację, możliwość pracy w grupach i bezpośredni kontakt z trenerem. Informację o platformie używanej podczas konkretnego szkolenia przekazujemy uczestnikom przed jego rozpoczęciem.
Do komfortowego udziału w szkoleniu online wystarczy standardowy komputer (stacjonarny lub laptop) ze stabilnym dostępem do internetu oraz zainstalowaną aktualną wersją przeglądarki internetowej. Zalecamy korzystanie ze słuchawek z mikrofonem dla lepszej jakości dźwięku i komunikacji, choć nie jest to bezwzględnie wymagane. Posiadanie kamery internetowej zazwyczaj również nie jest obowiązkowe.
Tak, każdy uczestnik otrzymuje komplet materiałów szkoleniowych przygotowanych przez naszych ekspertów. Zazwyczaj dostarczamy je w formie elektronicznej (np. pliki PDF) na kilka dni przed rozpoczęciem szkolenia, po potwierdzeniu udziału i dokonaniu płatności.
Po pomyślnym ukończeniu większości naszych szkoleń uczestnicy otrzymują imienny Certyfikat Ukończenia EITT, potwierdzający zdobyte kompetencje. Dodatkowo, oferujemy szkolenia akredytowane (np. z zakresu ITIL®, PRINCE2®), które przygotowują do oficjalnych egzaminów certyfikacyjnych uznanych międzynarodowo. Informacja o rodzaju certyfikatu dostępnego po konkretnym szkoleniu znajduje się zawsze w jego szczegółowym opisie.
Proces zapisu zależy od rodzaju szkolenia. Na szkolenia otwarte (dostępne dla każdego chętnego) można zapisać się bezpośrednio przez formularz zgłoszeniowy dostępny na stronie danego szkolenia. W przypadku zainteresowania szkoleniem zamkniętym (dedykowanym dla pracowników jednej firmy), prosimy o bezpośredni kontakt mailowy lub telefoniczny – przygotujemy ofertę dopasowaną do Państwa potrzeb.
Standardowo cena szkolenia obejmuje: udział w zajęciach prowadzonych przez doświadczonego trenera-praktyka, komplet autorskich materiałów szkoleniowych w formie elektronicznej oraz imienny Certyfikat Ukończenia EITT. W przypadku szkoleń akredytowanych, cena często zawiera również koszt podejścia do oficjalnego egzaminu certyfikacyjnego. Szczegółowy zakres świadczeń dla danego kursu jest zawsze podany w jego opisie.
Preferowaną formą płatności za nasze szkolenia jest przelew bankowy, realizowany na podstawie wystawionej faktury pro forma lub faktury VAT. Szczegółowe informacje dotyczące terminów i warunków płatności są przekazywane w procesie potwierdzenia zapisu na szkolenie lub znajdują się w regulaminie.
Oczywiście! Naszą specjalnością są szkolenia zamknięte, projektowane "na miarę" – zgodnie z indywidualnymi potrzebami i celami biznesowymi danej organizacji. Jeśli interesuje Państwa temat spoza naszej regularnej oferty lub chcieliby Państwo zmodyfikować program istniejącego kursu, zapraszamy do kontaktu. Chętnie przygotujemy dedykowane rozwiązanie.
Jesteśmy elastyczni i dostosowujemy się do potrzeb klienta. Szkolenia zamknięte możemy zorganizować nawet dla niewielkich grup – zwykle minimum uczestników to 4 osoby, a koszt jest często kalkulowany dla całej grupy. Dbając o najwyższą jakość i komfort nauki, w przypadku bardzo licznych grup (powyżej 40 osób) zazwyczaj rekomendujemy podział na mniejsze zespoły, aby zapewnić efektywną interakcję.
Państwa opinia jest dla nas niezwykle ważna, ponieważ pozwala nam stale doskonalić naszą ofertę. Po każdym szkoleniu wysyłamy uczestnikom link do krótkiej ankiety ewaluacyjnej online. Zawsze można również skontaktować się z nami bezpośrednio mailowo lub telefonicznie, aby przekazać swoje uwagi.
- Zaproszenie w formie one-pager’a z terminami
- Kick-off projektu
- Strategiczne przywództwo i myślenie
- Komunikacja i współpraca. Zarządzanie konfliktem
- Motywowanie, angażowanie i trudne decyzje w biznesie
- Zarządzanie zmianą i innowacjami. Przywództwo w kryzysie
- Budowa organizacji przyszłości
- Warsztat dobrych praktyk – retrospektywa; stworzenie spójnego programu dla średniego i niższego szczebla zarządzania