-
Notifications
You must be signed in to change notification settings - Fork 41
Expand file tree
/
Copy pathvalidation_comprehensive.rs
More file actions
562 lines (460 loc) · 21.1 KB
/
validation_comprehensive.rs
File metadata and controls
562 lines (460 loc) · 21.1 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
#![ allow( clippy ::needless_raw_string_hashes ) ]
//! Comprehensive Benchmark Validation Examples
//!
//! This example demonstrates EVERY use case of the Validation Framework :
//! - Validator configuration with all criteria options
//! - Individual result validation with detailed warnings
//! - Bulk validation of multiple results
//! - Validation report generation and interpretation
//! - Integration with templates and update chains
//! - Custom validation criteria and thresholds
//! - Performance impact analysis and recommendations
#![ cfg( feature = "enabled" ) ]
#![ allow( clippy ::uninlined_format_args ) ]
#![ allow( clippy ::format_push_string ) ]
#![ allow( clippy ::cast_lossless ) ]
#![ allow( clippy ::std_instead_of_core ) ]
#![ allow( clippy ::if_not_else ) ]
use benchkit ::prelude :: *;
use std ::collections ::HashMap;
use std ::time ::Duration;
/// Create benchmark results with various quality characteristics
fn create_diverse_quality_results() -> HashMap< String, BenchmarkResult >
{
let mut results = HashMap ::new();
// Perfect quality - many samples, low variability
let perfect_times = vec![
Duration ::from_micros( 100 ), Duration ::from_micros( 102 ), Duration ::from_micros( 98 ),
Duration ::from_micros( 101 ), Duration ::from_micros( 99 ), Duration ::from_micros( 100 ),
Duration ::from_micros( 103 ), Duration ::from_micros( 97 ), Duration ::from_micros( 101 ),
Duration ::from_micros( 100 ), Duration ::from_micros( 102 ), Duration ::from_micros( 99 ),
Duration ::from_micros( 100 ), Duration ::from_micros( 98 ), Duration ::from_micros( 102 ),
Duration ::from_micros( 101 ), Duration ::from_micros( 99 ), Duration ::from_micros( 100 )
];
results.insert( "perfect_quality".to_string(), BenchmarkResult ::new( "perfect_quality", perfect_times ) );
// Good quality - adequate samples, reasonable variability
let good_times = vec![
Duration ::from_micros( 200 ), Duration ::from_micros( 210 ), Duration ::from_micros( 190 ),
Duration ::from_micros( 205 ), Duration ::from_micros( 195 ), Duration ::from_micros( 200 ),
Duration ::from_micros( 215 ), Duration ::from_micros( 185 ), Duration ::from_micros( 202 ),
Duration ::from_micros( 198 ), Duration ::from_micros( 208 ), Duration ::from_micros( 192 )
];
results.insert( "good_quality".to_string(), BenchmarkResult ::new( "good_quality", good_times ) );
// Insufficient samples
let few_samples_times = vec![
Duration ::from_micros( 150 ), Duration ::from_micros( 155 ), Duration ::from_micros( 145 ),
Duration ::from_micros( 152 ), Duration ::from_micros( 148 )
];
results.insert( "insufficient_samples".to_string(), BenchmarkResult ::new( "insufficient_samples", few_samples_times ) );
// High variability
let high_variability_times = vec![
Duration ::from_micros( 100 ), Duration ::from_micros( 200 ), Duration ::from_micros( 50 ),
Duration ::from_micros( 150 ), Duration ::from_micros( 80 ), Duration ::from_micros( 180 ),
Duration ::from_micros( 120 ), Duration ::from_micros( 170 ), Duration ::from_micros( 60 ),
Duration ::from_micros( 140 ), Duration ::from_micros( 90 ), Duration ::from_micros( 160 ),
Duration ::from_micros( 110 ), Duration ::from_micros( 190 ), Duration ::from_micros( 70 )
];
results.insert( "high_variability".to_string(), BenchmarkResult ::new( "high_variability", high_variability_times ) );
// Very short measurement times (nanoseconds)
let short_measurement_times = vec![
Duration ::from_nanos( 10 ), Duration ::from_nanos( 12 ), Duration ::from_nanos( 8 ),
Duration ::from_nanos( 11 ), Duration ::from_nanos( 9 ), Duration ::from_nanos( 10 ),
Duration ::from_nanos( 13 ), Duration ::from_nanos( 7 ), Duration ::from_nanos( 11 ),
Duration ::from_nanos( 10 ), Duration ::from_nanos( 12 ), Duration ::from_nanos( 9 ),
Duration ::from_nanos( 10 ), Duration ::from_nanos( 8 ), Duration ::from_nanos( 12 )
];
results.insert( "short_measurements".to_string(), BenchmarkResult ::new( "short_measurements", short_measurement_times ) );
// Wide performance range
let wide_range_times = vec![
Duration ::from_micros( 50 ), Duration ::from_micros( 55 ), Duration ::from_micros( 250 ),
Duration ::from_micros( 60 ), Duration ::from_micros( 200 ), Duration ::from_micros( 52 ),
Duration ::from_micros( 180 ), Duration ::from_micros( 58 ), Duration ::from_micros( 220 ),
Duration ::from_micros( 65 ), Duration ::from_micros( 240 ), Duration ::from_micros( 48 )
];
results.insert( "wide_range".to_string(), BenchmarkResult ::new( "wide_range", wide_range_times ) );
// No obvious warmup pattern (all measurements similar)
let no_warmup_times = vec![
Duration ::from_micros( 300 ), Duration ::from_micros( 302 ), Duration ::from_micros( 298 ),
Duration ::from_micros( 301 ), Duration ::from_micros( 299 ), Duration ::from_micros( 300 ),
Duration ::from_micros( 303 ), Duration ::from_micros( 297 ), Duration ::from_micros( 301 ),
Duration ::from_micros( 300 ), Duration ::from_micros( 302 ), Duration ::from_micros( 298 )
];
results.insert( "no_warmup".to_string(), BenchmarkResult ::new( "no_warmup", no_warmup_times ) );
results
}
/// Example 1 : Default Validator Configuration
fn example_default_validator()
{
println!( "=== Example 1 : Default Validator Configuration ===" );
let results = create_diverse_quality_results();
let validator = BenchmarkValidator ::new();
println!( "Default validator criteria: " );
println!( "- Minimum samples: 10 (default)" );
println!( "- Maximum CV: 10% (default)" );
println!( "- Requires warmup: true (default)" );
println!( "- Maximum time ratio: 3.0x (default)" );
println!( "- Minimum measurement time: 1μs (default)" );
// Validate each result individually
for ( name, result ) in &results
{
let warnings = validator.validate_result( result );
let is_reliable = validator.is_reliable( result );
println!( "\n📊 {} : {} warnings, reliable: {}",
name, warnings.len(), is_reliable );
for warning in warnings
{
println!( " ⚠️ {}", warning );
}
}
// Overall statistics
let reliable_count = results.values()
.filter( | result | validator.is_reliable( result ) )
.count();
println!( "\n📈 Overall validation summary: " );
println!( " Total benchmarks: {}", results.len() );
println!( " Reliable benchmarks: {}", reliable_count );
println!( " Reliability rate: {:.1}%",
( reliable_count as f64 / results.len() as f64 ) * 100.0 );
println!();
}
/// Example 2 : Custom Validator Configuration
fn example_custom_validator()
{
println!( "=== Example 2 : Custom Validator Configuration ===" );
let results = create_diverse_quality_results();
// Strict validator for production use
let strict_validator = BenchmarkValidator ::new()
.min_samples( 20 )
.max_coefficient_variation( 0.05 ) // 5% maximum CV
.require_warmup( true )
.max_time_ratio( 2.0 ) // Tighter range requirement
.min_measurement_time( Duration ::from_micros( 10 ) ); // Longer minimum time
println!( "Strict validator criteria: " );
println!( "- Minimum samples: 20" );
println!( "- Maximum CV: 5%" );
println!( "- Requires warmup: true" );
println!( "- Maximum time ratio: 2.0x" );
println!( "- Minimum measurement time: 10μs" );
let strict_results = ValidatedResults ::new( results.clone(), strict_validator );
println!( "\n📊 Strict validation results: " );
println!( " Reliable benchmarks: {}/{} ({:.1}%)",
strict_results.reliable_count(),
strict_results.results.len(),
strict_results.reliability_rate() );
if let Some( warnings ) = strict_results.reliability_warnings()
{
println!( "\n⚠️ Quality issues detected with strict criteria: " );
for warning in warnings
{
println!( " - {}", warning );
}
}
// Lenient validator for development/debugging
let lenient_validator = BenchmarkValidator ::new()
.min_samples( 5 )
.max_coefficient_variation( 0.25 ) // 25% maximum CV
.require_warmup( false )
.max_time_ratio( 10.0 ) // Very loose range requirement
.min_measurement_time( Duration ::from_nanos( 1 ) ); // Accept any duration
println!( "\nLenient validator criteria: " );
println!( "- Minimum samples: 5" );
println!( "- Maximum CV: 25%" );
println!( "- Requires warmup: false" );
println!( "- Maximum time ratio: 10.0x" );
println!( "- Minimum measurement time: 1ns" );
let lenient_results = ValidatedResults ::new( results, lenient_validator );
println!( "\n📊 Lenient validation results: " );
println!( " Reliable benchmarks: {}/{} ({:.1}%)",
lenient_results.reliable_count(),
lenient_results.results.len(),
lenient_results.reliability_rate() );
if lenient_results.reliability_rate() < 100.0
{
println!( " Note: Even lenient criteria found issues!" );
}
else
{
println!( " ✅ All benchmarks pass lenient criteria" );
}
println!();
}
/// Example 3 : Individual Warning Types
fn example_individual_warnings()
{
println!( "=== Example 3 : Individual Warning Types ===" );
let results = create_diverse_quality_results();
let validator = BenchmarkValidator ::new();
// Demonstrate each type of warning
println!( "🔍 Analyzing specific warning types: \n" );
for ( name, result ) in &results
{
let warnings = validator.validate_result( result );
println!( "📊 {} : ", name );
println!( " Samples: {}", result.times.len() );
println!( " Mean time: {:.2?}", result.mean_time() );
println!( " CV: {:.1}%", result.coefficient_of_variation() * 100.0 );
if !warnings.is_empty()
{
println!( " ⚠️ Issues: " );
for warning in &warnings
{
match warning
{
ValidationWarning ::InsufficientSamples { actual, minimum } =>
{
println!( " - Insufficient samples: {} < {} required", actual, minimum );
},
ValidationWarning ::HighVariability { actual, maximum } =>
{
println!( " - High variability: {:.1}% > {:.1}% maximum", actual * 100.0, maximum * 100.0 );
},
ValidationWarning ::NoWarmup =>
{
println!( " - No warmup detected (all measurements similar)" );
},
ValidationWarning ::WidePerformanceRange { ratio } =>
{
println!( " - Wide performance range: {:.1}x difference", ratio );
},
ValidationWarning ::ShortMeasurementTime { duration } =>
{
println!( " - Short measurement time: {:.2?} may be inaccurate", duration );
},
}
}
}
else
{
println!( " ✅ No issues detected" );
}
println!();
}
}
/// Example 4 : Validation Report Generation
fn example_validation_reports()
{
println!( "=== Example 4 : Validation Report Generation ===" );
let results = create_diverse_quality_results();
let validator = BenchmarkValidator ::new();
// Generate comprehensive validation report
let validation_report = validator.generate_validation_report( &results );
println!( "Generated validation report: {} characters", validation_report.len() );
println!( "Contains validation summary: {}", validation_report.contains( "## Summary" ) );
println!( "Contains recommendations: {}", validation_report.contains( "## Recommendations" ) );
println!( "Contains methodology: {}", validation_report.contains( "## Validation Criteria" ) );
// Save validation report
let temp_file = std ::env ::temp_dir().join( "validation_report.md" );
std ::fs ::write( &temp_file, &validation_report ).unwrap();
println!( "Validation report saved to: {}", temp_file.display() );
// Create ValidatedResults and get its report
let validated_results = ValidatedResults ::new( results, validator );
let validated_report = validated_results.validation_report();
println!( "\nValidatedResults report: {} characters", validated_report.len() );
println!( "Reliability rate: {:.1}%", validated_results.reliability_rate() );
let temp_file2 = std ::env ::temp_dir().join( "validated_results_report.md" );
std ::fs ::write( &temp_file2, &validated_report ).unwrap();
println!( "ValidatedResults report saved to: {}", temp_file2.display() );
println!();
}
/// Example 5 : Reliable Results Filtering
fn example_reliable_results_filtering()
{
println!( "=== Example 5 : Reliable Results Filtering ===" );
let results = create_diverse_quality_results();
let validator = BenchmarkValidator ::new().require_warmup( false ); // Disable warmup for demo
let validated_results = ValidatedResults ::new( results, validator );
println!( "Original results: {} benchmarks", validated_results.results.len() );
println!( "Reliable results: {} benchmarks", validated_results.reliable_count() );
// Get only reliable results
let reliable_only = validated_results.reliable_results();
println!( "\n✅ Reliable benchmarks: " );
for ( name, result ) in &reliable_only
{
println!( " - {} : {:.2?} mean, {:.1}% CV, {} samples",
name,
result.mean_time(),
result.coefficient_of_variation() * 100.0,
result.times.len() );
}
// Demonstrate using reliable results for further analysis
if reliable_only.len() >= 2
{
println!( "\n🔍 Using only reliable results for comparison analysis..." );
let reliable_names: Vec< &String > = reliable_only.keys().collect();
let comparison_template = ComparisonReport ::new()
.title( "Reliable Algorithm Comparison" )
.baseline( reliable_names[ 0 ] )
.candidate( reliable_names[ 1 ] );
match comparison_template.generate( &reliable_only )
{
Ok( comparison_report ) =>
{
println!( "✅ Comparison report generated: {} characters", comparison_report.len() );
let temp_file = std ::env ::temp_dir().join( "reliable_comparison.md" );
std ::fs ::write( &temp_file, &comparison_report ).unwrap();
println!( "Reliable comparison saved to: {}", temp_file.display() );
},
Err( e ) => println!( "❌ Comparison failed: {}", e ),
}
}
else
{
println!( "⚠️ Not enough reliable results for comparison (need ≥2)" );
}
println!();
}
/// Example 6 : Custom Validation Criteria
fn example_custom_validation_scenarios()
{
println!( "=== Example 6 : Custom Validation Scenarios ===" );
let results = create_diverse_quality_results();
// Scenario 1 : Research-grade validation (very strict)
println!( "🔬 Research-grade validation (publication quality) : " );
let research_validator = BenchmarkValidator ::new()
.min_samples( 30 )
.max_coefficient_variation( 0.02 ) // 2% maximum CV
.require_warmup( true )
.max_time_ratio( 1.5 ) // Very tight range
.min_measurement_time( Duration ::from_micros( 100 ) ); // Long measurements
let research_results = ValidatedResults ::new( results.clone(), research_validator );
println!( " Reliability rate: {:.1}%", research_results.reliability_rate() );
// Scenario 2 : Quick development validation (very lenient)
println!( "\n⚡ Quick development validation (rapid iteration) : " );
let dev_validator = BenchmarkValidator ::new()
.min_samples( 3 )
.max_coefficient_variation( 0.50 ) // 50% maximum CV
.require_warmup( false )
.max_time_ratio( 20.0 ) // Very loose range
.min_measurement_time( Duration ::from_nanos( 1 ) );
let dev_results = ValidatedResults ::new( results.clone(), dev_validator );
println!( " Reliability rate: {:.1}%", dev_results.reliability_rate() );
// Scenario 3 : Production monitoring validation (balanced)
println!( "\n🏭 Production monitoring validation (CI/CD pipelines) : " );
let production_validator = BenchmarkValidator ::new()
.min_samples( 15 )
.max_coefficient_variation( 0.10 ) // 10% maximum CV
.require_warmup( true )
.max_time_ratio( 2.5 )
.min_measurement_time( Duration ::from_micros( 50 ) );
let production_results = ValidatedResults ::new( results.clone(), production_validator );
println!( " Reliability rate: {:.1}%", production_results.reliability_rate() );
// Scenario 4 : Microbenchmark validation (for very fast operations)
println!( "\n🔬 Microbenchmark validation (nanosecond measurements) : " );
let micro_validator = BenchmarkValidator ::new()
.min_samples( 100 ) // Many samples for statistical power
.max_coefficient_variation( 0.15 ) // 15% CV (noise is expected)
.require_warmup( true ) // Critical for micro operations
.max_time_ratio( 5.0 ) // Allow more variation
.min_measurement_time( Duration ::from_nanos( 10 ) ); // Accept nano measurements
let micro_results = ValidatedResults ::new( results, micro_validator );
println!( " Reliability rate: {:.1}%", micro_results.reliability_rate() );
// Summary comparison
println!( "\n📊 Validation scenario comparison: " );
println!( " Research-grade: {:.1}% reliable", research_results.reliability_rate() );
println!( " Development: {:.1}% reliable", dev_results.reliability_rate() );
println!( " Production: {:.1}% reliable", production_results.reliability_rate() );
println!( " Microbenchmark: {:.1}% reliable", micro_results.reliability_rate() );
println!();
}
/// Example 7 : Integration with Templates and Update Chains
fn example_validation_integration()
{
println!( "=== Example 7 : Integration with Templates and Update Chains ===" );
let results = create_diverse_quality_results();
let validator = BenchmarkValidator ::new();
let validated_results = ValidatedResults ::new( results, validator );
// Create comprehensive analysis using validation
let performance_template = PerformanceReport ::new()
.title( "Quality-Validated Performance Analysis" )
.add_context( format!(
"Analysis includes quality validation - {:.1}% of benchmarks meet reliability criteria",
validated_results.reliability_rate()
))
.include_statistical_analysis( true )
.add_custom_section( CustomSection ::new(
"Quality Assessment Results",
{
let mut assessment = String ::new();
assessment.push_str( &format!(
"### Validation Summary\n\n- **Total benchmarks** : {}\n- **Reliable benchmarks** : {}\n- **Reliability rate** : {:.1}%\n\n",
validated_results.results.len(),
validated_results.reliable_count(),
validated_results.reliability_rate()
));
if let Some( warnings ) = validated_results.reliability_warnings()
{
assessment.push_str( "### Quality Issues Detected\n\n" );
for warning in warnings.iter().take( 10 ) // Limit to first 10 warnings
{
assessment.push_str( &format!( "- {}\n", warning ) );
}
if warnings.len() > 10
{
assessment.push_str( &format!( "- ... and {} more issues\n", warnings.len() - 10 ) );
}
}
assessment
}
));
// Generate reports
let full_analysis = performance_template.generate( &validated_results.results ).unwrap();
let validation_report = validated_results.validation_report();
// Create temporary document for update chain demo
let temp_file = std ::env ::temp_dir().join( "validation_integration_demo.md" );
let initial_content = r#"# Validation Integration Demo
## Introduction
This document demonstrates integration of validation with templates and update chains.
## Performance Analysis
*Performance analysis will be inserted here.*
## Quality Assessment
*Validation results will be inserted here.*
## Recommendations
*Optimization recommendations based on validation.*
## Conclusion
Results and next steps.
"#;
std ::fs ::write( &temp_file, initial_content ).unwrap();
// Use update chain to atomically update documentation
let chain = MarkdownUpdateChain ::new( &temp_file ).unwrap()
.add_section( "Performance Analysis", &full_analysis )
.add_section( "Quality Assessment", &validation_report );
match chain.execute()
{
Ok( () ) =>
{
println!( "✅ Integrated validation documentation updated successfully" );
let final_content = std ::fs ::read_to_string( &temp_file ).unwrap();
println!( " Final document size: {} characters", final_content.len() );
println!( " Contains reliability rate: {}", final_content.contains( &format!( "{:.1}%", validated_results.reliability_rate() ) ) );
println!( " Contains validation summary: {}", final_content.contains( "Validation Summary" ) );
println!( " Integrated document saved to: {}", temp_file.display() );
},
Err( e ) => println!( "❌ Integration update failed: {}", e ),
}
// Cleanup
// std ::fs ::remove_file( &temp_file ).unwrap();
println!();
}
fn main()
{
println!( "🚀 Comprehensive Benchmark Validation Examples\n" );
example_default_validator();
example_custom_validator();
example_individual_warnings();
example_validation_reports();
example_reliable_results_filtering();
example_custom_validation_scenarios();
example_validation_integration();
println!( "📋 Validation Framework Use Cases Covered: " );
println!( "✅ Default and custom validator configurations" );
println!( "✅ Individual warning types and detailed analysis" );
println!( "✅ Validation report generation and formatting" );
println!( "✅ Reliable results filtering and analysis" );
println!( "✅ Custom validation scenarios (research, dev, production, micro)" );
println!( "✅ Full integration with templates and update chains" );
println!( "✅ Quality assessment and optimization recommendations" );
println!( "\n🎯 The Validation Framework ensures statistical reliability" );
println!( " and provides actionable quality improvement recommendations." );
println!( "\n📁 Generated reports saved to temporary directory: " );
println!( " {}", std ::env ::temp_dir().display() );
}