What is Property-Based Testing (PBT)?

PBT is a testing methodology where you define general properties that should always hold true for your code. The testing tool then generates hundreds of random inputs to try and find a case that breaks those properties.

What is 'shrinking' in the context of this skill?

Shrinking is the process of taking a complex failing input and automatically reducing it to the simplest possible version that still causes the test to fail, making debugging significantly easier.

Which MoonBit library does this skill use?

This skill is specifically designed to work with the official moonbitlang/quickcheck library.

Can I use this to migrate from the Aletheia library?

Yes, the skill includes a dedicated step-by-step workflow to migrate imports, dependencies, and APIs from Aletheia to the modern MoonBit QuickCheck implementation.

How does the Pattern Decision Tree help me?

It provides a logical flow to determine whether your function requires an Inverse/Round-Trip test, an Idempotent test, an Invariant test, or a reference implementation Oracle test based on its characteristics.

MoonBit PBT Workflow Guide

Name: MoonBit PBT Workflow Guide
Author: f4ah6o

byf4ah6o

0•

Security & Testing

Implements and maintains robust Property-Based Testing workflows in MoonBit repositories using the QuickCheck framework.

This skill provides a comprehensive framework for introducing and scaling Property-Based Testing (PBT) within MoonBit projects. It guides developers through selecting appropriate testing patterns—such as Round-Trip, Oracle, and Invariant—while providing detailed implementation paths for custom generators and shrinking logic. By automating the discovery of edge cases and providing clear migration paths from legacy libraries like Aletheia, this skill ensures that MoonBit codebases are rigorously verified against a wide range of stochastic inputs.

Key Features

01Pattern decision tree for selecting the right PBT strategy (Oracle, Idempotent, etc.)

02Implementation guides for the Shrink trait to find minimal failing counterexamples

03Standardized migration workflow for moving from Aletheia to moonbitlang/quickcheck

04Custom generator design with weighted distribution and size-dependent generation

050 GitHub stars

06Test data classification tools to verify edge case coverage and input distribution

Use Cases

01Validating complex algorithm correctness by comparing outputs against an Oracle reference

02Discovering boundary condition bugs in custom data structures via automated random testing

03Verifying data serialization/deserialization integrity using Round-Trip properties

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add f4ah6o/http11.mbt pbt-workflow-guide

For use in Claude.ai and ChatGPT

Download Skill