Test automation tutorials, frameworks, and tools — from first scripts to full CI/CD pipelines.
Test Automation
HSpec is Haskell's most widely used test framework for unit and integration tests. Beyond basic describe/it blocks, it offers hooks, shared context, custom matchers, and tight integration with QuickCheck. This guide covers the patterns that matter for large test suites. Setup and Structure Refresher import Test.Hspec
Test Automation
Spock is a testing and specification framework for Java and Groovy applications. It combines JUnit's test runner compatibility with a highly expressive Groovy-based DSL. The result is tests that read like documentation and fail with clear, informative messages. Why Spock Spock's given/when/then structure maps
Test Automation
Spock's data-driven testing features turn a single spec into a parameterized test suite with almost no boilerplate. The where block, data tables, and @Unroll annotation work together to produce clear, readable test output for every data combination. The Where Block Add a where block to any feature method
Test Automation
Spock's built-in mocking eliminates the need for Mockito or PowerMock in most Groovy/Java projects. The API is concise, the error messages are clear, and the interactions integrate directly with the then block's assertion syntax. The Three Types Spock provides three mock variants with distinct purposes:
Test Automation
Hedgehog is a modern property-based testing library for Haskell that addresses QuickCheck's main pain point: shrinking. Where QuickCheck requires manual shrink implementations, Hedgehog shrinks automatically because shrinking is built into the generator itself. The Key Difference from QuickCheck In QuickCheck, generation and shrinking are separate. You write an
Test Automation
Gradle's test task orchestrates JVM test execution with fine-grained control over filtering, parallelism, JVM configuration, and reporting. Understanding how to configure it properly saves significant time in both development and CI. Basic Test Configuration The test task is automatically applied with the java plugin: // build.gradle plugins { id
Test Automation
Geb is a browser automation library for Groovy that combines WebDriver's power with a jQuery-inspired content DSL and Groovy's concise syntax. It integrates naturally with Spock for behavior-driven browser tests. What Geb Provides Geb wraps Selenium WebDriver but adds: * A CSS/jQuery-like content DSL for finding
Test Automation
Replaying production traffic is conceptually simple: capture requests, store them, send them again to a different target. In practice, it is full of hard problems — authentication tokens expire, session state is tied to specific users, database operations are not idempotent, and request timing and ordering matters. This post covers the
Test Automation
Concurrent systems fail in ways that test suites almost never catch. A race condition that corrupts data might require a specific interleaving of 12 operations across 4 threads — a sequence that a random test might hit once in a billion runs, but that a model checker can find in seconds
Test Automation
Distributed systems fail in ways that are nearly impossible to reproduce with conventional tests. Race conditions, partial failures, network partitions, and subtle ordering bugs hide in the gaps between nodes, surfacing only under specific interleavings that happen to occur in production at 3 AM. TLA+ is a formal specification language
Test Automation
Property-based testing and model checking are two of the most powerful tools in a test engineer's toolkit, and most teams use neither. The teams that do use them tend to use only one, treating them as alternatives. But they solve different problems and work best together. This post
Test Automation
Since its launch in 2016, Google's OSS-Fuzz program has found over 10,000 vulnerabilities and bugs in more than 1,000 open source projects. It runs fuzzing continuously, 24 hours a day, across billions of CPU-core-hours of compute. When it finds a crash, it automatically files an issue,