Struct CoverageReport

pub struct CoverageReport {
    pub visited_states: HashSet<String>,
    pub visited_transitions: HashSet<String>,
    pub total_states: usize,
    pub total_transitions: usize,
}

カバレッジ情報を表す構造体

Fields

visited_states: HashSet<String>

テストされた状態

visited_transitions: HashSet<String>

テストされた遷移

total_states: usize

全状態の数

total_transitions: usize

全遷移の数

Implementations

impl CoverageReport

pub fn state_coverage(&self) -> f64

状態カバレッジの割合（%）を計算

Examples found in repository

examples/model_based_testing.rs (line 180)

fn print_test_results(results: &rustate::TestResults) {
    println!("総テスト数: {}", results.total_count());
    println!("成功: {}", results.success_count());
    println!("失敗: {}", results.failure_count());
    println!("成功率: {:.1}%", results.success_rate());

    // カバレッジレポート
    let coverage = results.get_coverage();
    println!("状態カバレッジ: {:.1}%", coverage.state_coverage());
    println!("遷移カバレッジ: {:.1}%", coverage.transition_coverage());

    // 失敗したテストがあれば詳細を表示
    let failed_tests = results
        .results
        .iter()
        .filter(|r| !r.success)
        .collect::<Vec<_>>();
    if !failed_tests.is_empty() {
        println!("\n失敗したテスト:");
        for failed in failed_tests {
            println!(
                "- {}: 期待={}, 実際={}",
                failed.test_name, failed.expected_state, failed.actual_state
            );
            if let Some(err) = &failed.error_message {
                println!("  エラー: {}", err);
            }
        }
    }
}

pub fn transition_coverage(&self) -> f64

遷移カバレッジの割合（%）を計算

Examples found in repository

examples/model_based_testing.rs (line 181)

fn print_test_results(results: &rustate::TestResults) {
    println!("総テスト数: {}", results.total_count());
    println!("成功: {}", results.success_count());
    println!("失敗: {}", results.failure_count());
    println!("成功率: {:.1}%", results.success_rate());

    // カバレッジレポート
    let coverage = results.get_coverage();
    println!("状態カバレッジ: {:.1}%", coverage.state_coverage());
    println!("遷移カバレッジ: {:.1}%", coverage.transition_coverage());

    // 失敗したテストがあれば詳細を表示
    let failed_tests = results
        .results
        .iter()
        .filter(|r| !r.success)
        .collect::<Vec<_>>();
    if !failed_tests.is_empty() {
        println!("\n失敗したテスト:");
        for failed in failed_tests {
            println!(
                "- {}: 期待={}, 実際={}",
                failed.test_name, failed.expected_state, failed.actual_state
            );
            if let Some(err) = &failed.error_message {
                println!("  エラー: {}", err);
            }
        }
    }
}

Trait Implementations

impl Clone for CoverageReport

fn clone(&self) -> CoverageReport

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CoverageReport

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CoverageReport

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for CoverageReport

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.