Hands-On: Complete CI/CD Testing Pipeline

#!/bin/bash
# Complete MiL/SiL CI/CD pipeline
set -e
COMPONENT="SpeedController"
VERSION=$(git describe --tags --always)
REPORT_DIR="reports/${VERSION}"
mkdir -p "$REPORT_DIR"

echo "=== Stage 1: Static Analysis ==="
matlab -nodisplay -batch \
    "run_maab_check('${COMPONENT}'); exit"

echo "=== Stage 2: MiL Test ==="
matlab -nodisplay -batch \
    "run_mil_suite('${COMPONENT}','${REPORT_DIR}'); exit"

echo "=== Stage 3: SiL Build ==="
cmake -B build/ -DCMAKE_BUILD_TYPE=Release -DSIL_BUILD=1
cmake --build build/ --parallel $(nproc)

echo "=== Stage 4: SiL Test ==="
python3 -m pytest tests/sil/ -v \
    --junitxml="${REPORT_DIR}/sil_results.xml" \
    --html="${REPORT_DIR}/sil_report.html"

echo "=== Stage 5: Coverage Gate ==="
python3 check_coverage.py \
    --branch-min 100 \
    --mcdc-min 90 \
    "${REPORT_DIR}/coverage_summary.json"

echo "=== Stage 6: Evidence Package ==="
python3 assemble_evidence.py \
    --component "${COMPONENT}" \
    --version "${VERSION}" \
    --report-dir "${REPORT_DIR}"

echo ""
echo "PIPELINE COMPLETE: ${COMPONENT} v${VERSION}"
echo "Evidence: ${REPORT_DIR}/"

"""Inject a regression into the model and verify CI catches it."""
# Step 1: Introduce a bug (change speed limit constant)
# In SpeedController.c: change SPEED_LIMIT from 120.0f to 119.0f

# Step 2: Run the pipeline -- expected: SiL test failure
# python3 -m pytest tests/sil/test_speed_limit_boundary.py -v
# Expected output:
# FAILED tests/sil/test_speed_limit_boundary.py::test_at_limit
# assert fault_active == False  (but got True at 119.9 km/h)

# Step 3: B2B comparison also catches it:
# MiL output at 119.5 km/h: fault=False
# SiL output at 119.5 km/h: fault=True  (regression detected)
# B2B max diff for FaultActive signal: 1.0 (>> 1e-4 tolerance)

# Step 4: Revert the bug; rerun; verify PASS
print("Regression injection test design:")
print("  1. Introduce bug (change constant)")
print("  2. Run pipeline: expect FAIL")
print("  3. Fix bug: revert change")
print("  4. Rerun pipeline: expect PASS")
print("  Purpose: verify CI pipeline reliably catches real regressions")