# Swarm Testing Quality

> Property-based testing, fuzzing, and edge case coverage. Use when adding comprehensive test coverage with proptest or cargo-fuzz.

- Skill: `d-o-hub/swarm-testing-quality` (Agent Skill)
- Install (CLI): `npx skillmds@latest add d-o-hub/swarm-testing-quality`
- Raw SKILL.md: https://api.skillmd.com/api/skills/d-o-hub/swarm-testing-quality/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: d-o-hub (https://skillmd.com/u/d-o-hub)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/d-o-hub/swarm-testing-quality

---


# Swarm: Testing & Quality

## Test Files

This project uses separate integration test files in `tests/`. Run specific tests:

```bash
cargo test --test <test_file_name>
```

## Workflow

1. Check current test coverage in `tests/` directory
2. Identify properties to test (invariants, roundtrips, bounds)
3. Add `proptest` dependency to `Cargo.toml`
4. Create new test file in `tests/` with property tests
5. Set up `fuzz/` directory with cargo-fuzz targets
6. Add edge case tests to separate test files
7. Run validation gates

## Key Properties to Test

### HVec10240

- `from_bytes(to_bytes(v)) == v` (roundtrip)
- `cosine_similarity(v, v) == 1.0` (self-similarity)
- `cosine_similarity(a, b) == cosine_similarity(b, a)` (symmetry)
- `cosine_similarity(a, b)` in `[-1.0, 1.0]` (bounds)

### Reservoir

- `reset()` clears state to zeros
- `step()` with same input produces same output after `reset()`
- `to_hypervector()` fails if `size < 10240`

### Persistence

- `save_concept(c); load_concept(c.id) == Some(c)` (roundtrip)
- `delete_concept(id); load_concept(id) == None` (deletion)
- FK constraints reject invalid associations

## Commands

```bash
# Run property tests

cargo test --test <test_name>

# Run fuzzer (requires cargo-fuzz)

cargo fuzz run fuzz_hvec_from_bytes
```

## LOC Constraint

All files must remain ≤ 500 lines. Create new test files rather than inflating existing ones.