Generation and Refinement of Testing Models - Erlang 2023

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore a 29-minute video presentation from the Erlang 2023 conference that introduces Faktory, a new tool for automatically generating property-based testing models. Learn how this Elixir library transforms API specifications and function contracts into executable state machines using the Makina DSL. Discover the tool's capabilities through three practical examples: testing a functional data structure, improving test-case generation by reusing results, and refining a generated model for a stateful key-value storage. Gain insights into overcoming the challenges of writing property-based testing models and enhancing software quality assurance processes.

Syllabus

[Erlang'23] Generation and Refinement of Testing Models

Taught by

ACM SIGPLAN

Related Courses

F#: Automated Testing for Developers
LinkedIn Learning Introduction to Property-based Testing with F#
Pluralsight Automated Software Testing: Model and State-based Testing
Delft University of Technology via edX Adventures in Not Writing Tests - Using Hypothesis for Code Validation
EuroPython Conference via YouTube API-Schema-Based Testing with Schemathesis
EuroPython Conference via YouTube