Technologies / Testing

Property-Based Testing with ScalaCheck

The training introduces participants to the world of property-based testing using the ScalaCheck library. The workshop program focuses on practical application of test data generation techniques and system property verification. Sessions combine theory with intensive practical exercises, enabling participants to immediately apply acquired knowledge. The teaching methodology is based on gradual introduction of increasingly advanced concepts.

Why choose this training?

Facing continuous technological changes, technical competencies have become a critical asset. The training introduces participants to the world of property-based testing using the ScalaCheck library. The workshop program focuses on practical application of test data generation techniques and system property verification.

Upon completion, participants will be able to: Ability to detect hard-to-find bugs through automatic test data generation, Significantly increased test coverage through systematic state space exploration, Automation of edge case and unusual scenario discovery process, Better understanding of system properties through formal testing approach. These competencies directly translate into higher effectiveness in IT projects.

This training is particularly valuable for: Scala developers interested in advanced testing, Automation testers working in the JVM ecosystem, Quality engineers implementing new testing methods.

What makes our approach unique?

At EITT, we focus on learning by doing — every training includes extensive practical components. Over 3 days of intensive training, participants work on real-world examples and scenarios, ensuring not only theoretical understanding but practical application skills.

With over 2,500 trainings in our portfolio and a 4.8/5 participant rating, EITT is a trusted partner in IT competency development for organizations of all sizes. Our trainers are experienced practitioners who share up-to-date knowledge and proven solutions.

Looking for training tailored to your team’s needs? Contact us — we’ll prepare a program customized to your requirements.

Benefits

Ability to detect hard-to-find bugs through automatic test data generation
Significantly increased test coverage through systematic state space exploration
Automation of edge case and unusual scenario discovery process
Better understanding of system properties through formal testing approach
Reduction of time needed for creating test cases
Increased system reliability through rigorous property verification

Who is this training for?

Scala developers interested in advanced testing

Automation testers working in the JVM ecosystem

Quality engineers implementing new testing methods

System architects caring about code quality

DevOps Engineers integrating tests into CI/CD process

Technical Team Leaders overseeing testing processes

QA specialists seeking effective testing methods

Prerequisites

Knowledge of Scala basics
Software testing experience
Understanding of functional paradigm
Discrete mathematics basics

Training program

Environment configuration
First property tests
Test data generators

Creating custom generators
Generator composition

Edge case handling
Modeling and Verification
Defining state models
State machine testing
Sequential properties

Integration and Practice
ScalaCheck in the testing ecosystem
Integration with other tools

Testing process optimization

Delivery Methods

Online

Convenience of participating from anywhere
Interactive live sessions with trainer
Materials available for 30 days
No travel costs

On-site

Direct contact with trainer and group
Intensive hands-on workshops
Networking with other participants
Full focus on learning

Training Topics

Frequently asked questions

What are the prerequisites for this training?

For Property-Based Testing with ScalaCheck we recommend: Knowledge of Scala basics; Software testing experience; Understanding of functional paradigm.

What is the format and duration of this training?

The training lasts 3 days and is available in online and on-site format. Sessions run from 9:00 AM to 4:00 PM. We can also customize the schedule to fit your team's needs.

Who is this training designed for?

This training is designed for: Scala developers interested in advanced testing; Automation testers working in the JVM ecosystem; Quality engineers implementing new testing methods.