ASPICE for Compliance

#!/usr/bin/env python3
# ASPICE SWE bidirectional traceability check
# Links: SWE.1 → SWE.2 → SWE.3 → SWE.4/5/6 and reverse

import json

# Simulated traceability links
requirements = {
    "SWR-001": {"text": "EPS torque limit ≤ 3 Nm", "arch_ref": "ARCH-TORQ-001", "unit": "Torque_Limiter"},
    "SWR-002": {"text": "Response latency ≤ 10 ms", "arch_ref": "ARCH-TIMING-001", "unit": "Loop_Control"},
    "SWR-003": {"text": "MISRA C:2012 compliance",  "arch_ref": None, "unit": None},  # orphan
}

test_cases = {
    "TC-001": {"tests_req": "SWR-001", "result": "PASS"},
    "TC-002": {"tests_req": "SWR-002", "result": "PASS"},
    # SWR-003 has no test case
}

print("Forward traceability check (Requirements → Tests):")
for req_id, req in requirements.items():
    tests = [tc for tc, t in test_cases.items() if t["tests_req"] == req_id]
    if not tests:
        print(f"  FAIL: {req_id} '{req['text'][:40]}' — no test case!")
    else:
        print(f"  OK:   {req_id} → {tests}")

print("\nBackward traceability check (Tests → Requirements):")
for tc_id, tc in test_cases.items():
    req = requirements.get(tc["tests_req"])
    if not req:
        print(f"  FAIL: {tc_id} references non-existent requirement {tc['tests_req']}")
    else:
        print(f"  OK:   {tc_id} ← {tc['tests_req']}")