Requirements-Based Test Design

"""Requirement-to-test-case traceability and coverage analysis."""
from dataclasses import dataclass, field
from typing import List

@dataclass
class Requirement:
    req_id: str
    description: str
    asil: str
    test_cases: List[str] = field(default_factory=list)

@dataclass
class TestCase:
    tc_id: str
    title: str
    req_refs: List[str] = field(default_factory=list)

def coverage_analysis(reqs: List[Requirement],
                       tcs: List[TestCase]) -> dict:
    tc_map = {tc.tc_id: tc for tc in tcs}
    req_map = {r.req_id: r for r in reqs}
    uncovered = [r for r in reqs if not any(
        r.req_id in tc.req_refs for tc in tcs)]
    orphaned = [tc for tc in tcs if not any(
        ref in req_map for ref in tc.req_refs)]
    coverage_pct = (len(reqs) - len(uncovered)) / len(reqs) * 100
    return {
        "coverage_pct": round(coverage_pct, 1),
        "uncovered_reqs": [r.req_id for r in uncovered],
        "orphaned_tcs": [tc.tc_id for tc in orphaned]
    }

"""Equivalence partitioning for automotive signal test design."""
from dataclasses import dataclass
from typing import List, Tuple

@dataclass
class SignalPartition:
    name: str
    min_val: float
    max_val: float
    expected_response: str

def generate_eq_partition_tests(
        signal: str,
        partitions: List[SignalPartition]) -> List[dict]:
    """Generate one representative test value per partition."""
    tests = []
    for p in partitions:
        mid = (p.min_val + p.max_val) / 2
        tests.append({
            "signal": signal,
            "value": mid,
            "partition": p.name,
            "expected": p.expected_response
        })
    return tests

VEHICLE_SPEED_PARTITIONS = [
    SignalPartition("below_min",     -10, -0.01, "DTC_SPEED_SENSOR_FAULT"),
    SignalPartition("standstill",      0,   0.5,  "AEB_INACTIVE"),
    SignalPartition("low_speed",      0.5,  30,   "AEB_ACTIVE_LOW"),
    SignalPartition("normal_speed",   30,  200,   "AEB_ACTIVE_FULL"),
    SignalPartition("above_max",     200,  260,   "DTC_SPEED_IMPLAUSIBLE"),
]