Does this skill support stateful system testing?

Yes, it includes a dedicated State Machine Testing Guide that helps you design shims, pure models, and command sequences for verifying stateful logic.

Can I use this for existing MoonBit projects?

Absolutely. The skill includes specific workflow modes for new adoption, updates, migrations, and coverage expansion in existing repositories.

What PBT patterns can I implement with this guide?

The guide helps you select and implement patterns such as Round-Trip (for serialization), Idempotent (for normalization), Invariant (for collections), and Oracle (for algorithm verification).

What is the role of Aletheia in this skill?

Aletheia is the underlying tool used to analyze MoonBit code, generate Markdown-based test templates, and synchronize those properties into the repository's test suite.

MoonBit PBT Workflow Guide

Name: MoonBit PBT Workflow Guide
Author: f4ah6o

byf4ah6o

보안 및 테스팅

Orchestrates Property-Based Testing workflows in MoonBit repositories using the Aletheia toolchain.

소개

The pbt-workflow-guide is a specialized skill designed to streamline the adoption and optimization of Property-Based Testing (PBT) within MoonBit projects. It automates the Aletheia toolchain to analyze codebases, generate test templates via Markdown-Oriented Programming, and synchronize properties into executable tests. Beyond automation, it provides architectural guidance on selecting testing patterns—such as Round-Trip, Invariant, and Oracle—and offers expert strategies for designing effective input generators, custom shrinking logic, and model-based state machine tests.

주요 기능

Automated PBT pattern detection and Aletheia template generation
State machine testing framework for verifying stateful systems
0 GitHub stars
Advanced generator design with distribution and frequency control
Custom Shrink implementation strategies for complex data types
Expert guidance for Round-Trip, Idempotent, and Oracle testing patterns

사용 사례

Migrating manual unit tests to automated property-based assertions
Introducing PBT to existing MoonBit libraries to discover hidden edge cases
Verifying complex stateful logic using model-based state machine verification

소개

주요 기능

Automated PBT pattern detection and Aletheia template generation
State machine testing framework for verifying stateful systems
0 GitHub stars
Advanced generator design with distribution and frequency control
Custom Shrink implementation strategies for complex data types
Expert guidance for Round-Trip, Idempotent, and Oracle testing patterns

사용 사례

Migrating manual unit tests to automated property-based assertions
Introducing PBT to existing MoonBit libraries to discover hidden edge cases
Verifying complex stateful logic using model-based state machine verification