skills.rest
v1bh0r
v1bh0rCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

nw-pbt-erlang-elixir

Guide property-based testing in Erlang/Elixir with PropEr, PropCheck, and StreamData.

Updated Mar 18, 2024
Search Tags:#erlang#elixir#property-based-testing#pbt#streamdata#proper#propcheck
One-click install
npx skills add https://github.com/v1bh0r/precise-ledger-pro --skill nw-pbt-erlang-elixir-v1bh0r
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: nw-pbt-erlang-elixir
Source: https://github.com/v1bh0r/precise-ledger-pro/tree/main/nWave/skills/nw-pbt-erlang-elixir
Command: npx skills add https://github.com/v1bh0r/precise-ledger-pro --skill nw-pbt-erlang-elixir-v1bh0r

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill guides developers in implementing robust property-based testing for Erlang/Elixir projects using PropEr, PropCheck, and StreamData.

Core Features & Use Cases

  • Framework guidance: Detailed coverage of PropEr (Erlang), PropCheck (Elixir), and StreamData (Elixir) for comprehensive property-based testing.
  • Framework differences: Clear comparisons of APIs, syntax, and testing strategies across the three frameworks to inform framework selection.
  • Stateful & parallel testing: Instructions for stateful testing, shrinking, and parallel/linearizability testing to improve test reliability.

Quick Start

Run the property-based test workflow described for PropEr, PropCheck, and StreamData in your Erlang/Elixir project.

Frequently Asked Questions about nw-pbt-erlang-elixir

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I implement property-based testing for stateful Erlang and Elixir applications?▼

Property-based testing for stateful Erlang and Elixir applications is implemented using PropEr, PropCheck, and StreamData to define generators, execute stateful tests, and shrink failing cases to minimal counterexamples.

What is the difference between PropEr, PropCheck, and StreamData for Elixir and Erlang testing?▼

The difference between PropEr, PropCheck, and StreamData lies in their APIs and syntax: PropEr targets Erlang, while PropCheck and StreamData target Elixir, offering distinct strategies for property-based testing and framework selection.

How do I set up parallel and linearizability testing for concurrent Elixir systems?▼

Parallel and linearizability testing for concurrent Elixir systems is set up using PropCheck and PropEr to validate stateful operations under concurrent execution, ensuring scalable and repeatable test reliability across processes.

Can I use the same property-based testing framework for both Erlang and Elixir codebases?▼

You can use PropEr for Erlang and PropCheck or StreamData for Elixir codebases, with this Skill providing clear comparisons of testing strategies across the frameworks to inform your framework selection for cross-language projects.

When should I use PropCheck instead of StreamData for property-based testing in Elixir?▼

PropCheck should be used instead of StreamData when you need stateful and parallel testing capabilities with advanced shrinking, while StreamData offers a different API approach for Elixir property-based testing.

Related Skills

Explore More Software Engineering Skills→
StudentCristianStudentCristian

nw-pbt-erlang-elixir

Automate property-based testing for Erlang/Elixir projects with PropEr, PropCheck, and StreamData.

Community
Intermediate
mehdicmehdic
21

test-coverage

Generate comprehensive test coverage reports for Python, JavaScript, Go & Java projects.

Community
Intermediate
jstoobzjstoobz
2

elixir-testing-expert

Standardizes Elixir test organization with ExUnit, ExMachina, and Mox patterns.

Community
Advanced
v1bh0rv1bh0r

nw-pbt-haskell

Automate Haskell property-based testing with QuickCheck and Hedgehog.

Community
Advanced