Crate ruchydbg

Crate ruchydbg 

Source
Expand description

ruchydbg - ML-powered debugger for Ruchy

Implements spectrum-based fault localization (SBFL), Oracle classification, drift detection, delta debugging, Hansei analysis, and rich ASCII visualization following Toyota Way principles.

§Features

  • SBFL: 5 fault localization formulas (Tarantula, Ochiai, Jaccard, WongII, DStar)
  • Oracle: Error classification with 8 categories and suggested fixes
  • MoE: Mixture of Experts with domain-specific classifiers
  • Drift: ADWIN-based concept drift detection
  • Delta: Delta debugging for input minimization
  • Hansei: Toyota Way reflection analysis for continuous improvement
  • Export: SARIF 2.1.0, Markdown, JSON formats

§Academic Citations

  • [1] Jones et al. (2005). Tarantula SBFL - ASE ’05
  • [2] Abreu et al. (2007). Ochiai formula - 75% improvement
  • [3] Breiman (2001). Random Forests - Machine Learning 45(1)
  • [4] Bifet & Gavaldà (2007). ADWIN drift detection
  • [6] Ohno, T. (1988). Toyota Production System
  • [7] Liker (2004). The Toyota Way - Hansei principle
  • [8] Zeller & Hildebrandt (2002). Delta debugging
  • [10] Jacobs et al. (1991). Mixture of Experts
  • [14] Dasu et al. (2006). STAGGER continuous monitoring
  • [15] Wong et al. (2016). SBFL survey - IEEE TSE 42(8)

Re-exports§

pub use delta::Bisector;
pub use delta::DeltaDebugger;
pub use delta::DeltaStats;
pub use delta::TestResult;
pub use drift::AdwinDetector;
pub use drift::DriftMonitor;
pub use drift::DriftStatus;
pub use export::ExportFormat;
pub use export::MarkdownExporter;
pub use export::SarifReport;
pub use hansei::DebugSession;
pub use hansei::HanseiAnalyzer;
pub use hansei::HanseiMetrics;
pub use hansei::SessionOutcome;
pub use moe::DomainExpert;
pub use moe::ExpertDomain;
pub use moe::MoEOracle;
pub use moe::SoftmaxGate;
pub use oracle::Classification;
pub use oracle::ErrorCategory;
pub use oracle::OracleClassifier;
pub use report::DebugReport;
pub use sbfl::CoverageStats;
pub use sbfl::SbflFormula;
pub use sbfl::SuspiciousLocation;
pub use visualization::grade;
pub use visualization::sparkline;
pub use visualization::AndonStatus;

Modules§

delta
Delta Debugging module
drift
Drift Detection module (ADWIN)
export
Export module for various output formats
hansei
Hansei (Reflection) Analysis module
moe
Mixture of Experts (MoE) Oracle module
oracle
Oracle Classifier module
report
Debug Report Generation module
sbfl
Spectrum-Based Fault Localization (SBFL) module
visualization
Rich ASCII Visualization module (Toyota Way Mieruka)