cbtop/fuzz/mod.rs
1//! Fuzz Testing Integration (PMAT-023)
2//!
3//! Property-based testing and fuzz-like input validation per section 36.3 to address
4//! the Resilience score. Uses proptest for stable Rust compatibility.
5//!
6//! # Fuzz Targets
7//!
8//! | Target | Component | Description |
9//! |--------|-----------|-------------|
10//! | `fuzz_syscall_breakdown` | TracingEscalation | Syscall name/duration inputs |
11//! | `fuzz_workload_metrics` | RooflineAnalysis | FLOP/byte/time values |
12//! | `fuzz_escalation_thresholds` | TracingEscalation | Threshold configurations |
13//! | `fuzz_hardware_profile` | HardwareProfile | Peak GFLOPS/bandwidth values |
14//! | `fuzz_brick_scoring` | BrickScore | Score calculation inputs |
15//!
16//! # Falsification Criteria
17//!
18//! F1081-F1095: Input validation and error path testing
19
20mod edge_cases;
21mod suite;
22mod types;
23
24pub use edge_cases::*;
25pub use suite::*;
26pub use types::*;
27
28#[cfg(test)]
29mod tests;