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