pub struct TarantulaIntegration;Expand description
Tarantula integration wrapper (pmat-style)
Provides high-level interface for fault localization that integrates with cargo-llvm-cov for coverage and pmat for TDG enrichment.
§Toyota Way Principles
- Genchi Genbutsu: Uses actual coverage data, not estimates
- Muda: Avoids waste by reusing existing coverage tools
- Jidoka: Provides human-readable explanations
Implementations§
Source§impl TarantulaIntegration
impl TarantulaIntegration
Sourcepub fn is_coverage_tool_available() -> bool
pub fn is_coverage_tool_available() -> bool
Check if cargo-llvm-cov is available
Sourcepub fn parse_lcov_output(content: &str) -> Result<Vec<(StatementId, usize)>>
pub fn parse_lcov_output(content: &str) -> Result<Vec<(StatementId, usize)>>
Parse LCOV format output from cargo-llvm-cov
Sourcepub fn run_localization(
passed_coverage: &[(StatementId, usize)],
failed_coverage: &[(StatementId, usize)],
total_passed: usize,
total_failed: usize,
config: &LocalizationConfig,
) -> FaultLocalizationResult
pub fn run_localization( passed_coverage: &[(StatementId, usize)], failed_coverage: &[(StatementId, usize)], total_passed: usize, total_failed: usize, config: &LocalizationConfig, ) -> FaultLocalizationResult
Run fault localization on coverage data
§Arguments
passed_coverage- Coverage from passing testsfailed_coverage- Coverage from failing teststotal_passed- Number of passing teststotal_failed- Number of failing testsconfig- Localization configuration
Sourcepub fn generate_report(
result: &FaultLocalizationResult,
format: ReportFormat,
) -> Result<String>
pub fn generate_report( result: &FaultLocalizationResult, format: ReportFormat, ) -> Result<String>
Generate report in specified format
Sourcepub fn enrich_with_tdg(
result: &mut FaultLocalizationResult,
tdg_scores: &HashMap<String, f32>,
)
pub fn enrich_with_tdg( result: &mut FaultLocalizationResult, tdg_scores: &HashMap<String, f32>, )
Enrich fault localization results with TDG scores from pmat
§Arguments
result- Mutable reference to localization resulttdg_scores- Map of file path to TDG score
Auto Trait Implementations§
impl Freeze for TarantulaIntegration
impl RefUnwindSafe for TarantulaIntegration
impl Send for TarantulaIntegration
impl Sync for TarantulaIntegration
impl Unpin for TarantulaIntegration
impl UnwindSafe for TarantulaIntegration
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.