What tools does this skill help me implement?

This skill provides patterns and guidance for proptest (property testing), cargo-fuzz (fuzzing), Criterion (benchmarking), and Miri (undefined behavior detection).

Can I use this for benchmarking performance?

Yes, it includes detailed patterns for Criterion, including statistical analysis, throughput measurement, and allocation tracking for critical code paths.

How does this improve Rust code security?

By using fuzz testing and Miri, the skill helps identify potential crashes, panics, and undefined behavior that could lead to security vulnerabilities in Rust applications.

What is contract testing in the context of Rust traits?

Contract testing ensures that different implementations of a specific Trait all satisfy the same set of behavioral requirements and invariants, ensuring consistency across your codebase.

Rust Testing & Verification

Name: Rust Testing & Verification
Author: matthewharwood

bymatthewharwood

•

Security & Testing

Implements comprehensive testing strategies for Rust including property-based testing, fuzzing, and performance benchmarking.

About

The Rust Testing & Verification skill provides a robust framework for ensuring the correctness, safety, and performance of Rust applications. It guides developers through advanced verification techniques such as property-based testing with proptest for edge case discovery, fuzz testing with cargo-fuzz for robustness, and Miri for detecting undefined behavior. By providing standardized patterns for contract testing and Criterion benchmarks, this skill helps engineering teams ship production-grade code with high confidence in its reliability and execution speed.

Key Features

Memory safety and undefined behavior detection using Miri
Fuzzing integration for detecting panics and input-driven crashes
2 GitHub stars
Property-based testing patterns for automated edge-case discovery
High-precision performance benchmarking with Criterion and throughput analysis
Trait contract testing to ensure consistent interface implementations

Use Cases

Detecting subtle memory leaks or race conditions in unsafe or concurrent code
Benchmarking critical paths to prevent performance regressions in high-scale systems
Verifying complex data serialization and logic invariants across large input sets

About

Key Features

Memory safety and undefined behavior detection using Miri
Fuzzing integration for detecting panics and input-driven crashes
2 GitHub stars
Property-based testing patterns for automated edge-case discovery
High-precision performance benchmarking with Criterion and throughput analysis
Trait contract testing to ensure consistent interface implementations

Use Cases

Detecting subtle memory leaks or race conditions in unsafe or concurrent code
Benchmarking critical paths to prevent performance regressions in high-scale systems
Verifying complex data serialization and logic invariants across large input sets