Commit Graph
4 Commits
Author SHA1 Message Date
swaits 5839b35979 test: add comprehensive testing infrastructure (fuzzing, proptest, mutation)
Implements dagx-11: Add comprehensive testing infrastructure including
fuzzing, property-based testing, and mutation testing configuration.

**Fuzzing Infrastructure:**
- Created fuzz/ directory with cargo-fuzz setup
- 4 fuzz targets covering different scenarios:
  - fuzz_dag_execution: Basic DAG execution with various patterns
  - fuzz_dependencies: Dependency management (linear, diamond, complex)
  - fuzz_type_safety: Type-safe output retrieval
  - fuzz_concurrent: Concurrent execution and thread safety
- Comprehensive README with usage instructions
- Integrated with justfile (fuzz, fuzz-all, fuzz-extended, fuzz-build)

**Property-Based Testing:**
- Added proptest dependency to Cargo.toml
- Created tests/property_tests.rs with 14 property tests:
  - Value preservation through DAG
  - Linear chain correctness
  - Fan-out pattern verification
  - Diamond pattern correctness
  - String, Vec, Option, Result handling
  - HashMap and custom struct preservation
  - DAG isolation
  - Concurrent execution scaling
- Integrated with justfile (proptest recipe)

**Mutation Testing:**
- Created .cargo-mutants.toml configuration
- Focused on critical functions:
  - DagRunner::run and ::get
  - TaskBuilder::depends_on
  - ExecutableNode::execute_with_listeners
  - ExtractFromListeners::extract
  - DepsTuple::to_node_ids
- Excluded low-value mutations (fmt, clone, default)
- Configured for nextest and parallel execution
- Already integrated via existing justfile mutants recipe

**Justfile Updates:**
- Added fuzzing section with 5 new recipes
- Added proptest recipe for property-based tests
- All recipes follow existing patterns and naming conventions

Similar setup to ../announcement project but tailored for DAG-specific testing.
2025-10-14 10:44:30 -06:00
swaits 10af81ade7 test: comprehensive test improvements and infrastructure
This commit includes multiple test-related improvements from porting
parallel branch work and fixing test failures:

- Add justfile for development workflows (dagx-10)
  - Quick dev loop (fmt + clippy + test)
  - Pre-commit checks, pre-push validation, pre-release checks
  - Coverage, mutation testing, benchmarks, examples
  - Security audits, Miri, and more

- Port type mismatch tests for DagRunner::get() (dagx-13)
  - Test i32 to Vec<u8> mismatch
  - Test custom struct to HashMap mismatch
  - Test Vec<i32> to Vec<String> mismatch
  - Test Option<i32> to Option<String> mismatch

- Port TaskBuilder conversion tests (dagx-14)
  - Test conversion with multiple tasks preserves IDs
  - Test conversion with stateful tasks
  - Test conversion with complex output types (Vec, Option)

- Add custom_types.rs example (dagx-15)
  - Demonstrates custom User type with fan-out pattern
  - Shows Arc wrapping is transparent to users
  - Comprehensive documentation

- Fix all failing tests (dagx-16)
  - Remove incompatible task_fn tests from task/tests.rs
    (task_fn requires Arc-wrapped types, tests used raw types)
  - Fix listener type downcasts in node/tests.rs
    (Listener<Arc<i32>> not Listener<i32>)
  - Add #[allow(dead_code)] to unused test structs

- Cleanup unnecessary #[allow(dead_code)] in deps/tests.rs (dagx-9)

All 60 tests now pass.
2025-10-14 10:12:07 -06:00
swaits 04d1c13122 WIP: perf: test regression, needs Arc<T> 2025-10-14 09:48:14 -06:00
swaits 6de4d43db1 WIP: switch to announcement, remove extract input mess 2025-10-14 09:01:28 -06:00