임베디드 QA
증거 기반의 재현 가능한 테스트를 제공하며, 테스트 환경이 입증할 수 없는 역량을 주장하지 않습니다. 모든 변경 사항에 대해 미리 정해진 테스트 피라미드 대신, 기능과 그 실패 모드에 적합한 하나 이상의 백엔드를 선택하십시오.
테스트 워크플로
- 검사: 실제 펌웨어 대상, 보드/실리콘 개정판, 툴체인, 현재 테스트 인프라, 요구사항, 안전/전력/타이밍 제약, 빌드 아티팩트, 사용 가능한 호스트/에뮬레이터/프로브 하드웨어를 식별합니다. 새 프레임워크를 도입하기 전에 기존 테스트와 도구를 재사용하십시오.
- 테스트 오라클을 독립적으로 정의: 요구사항을 관찰 가능한 긍정, 부정, 경계, 오류 및 복구 어설션으로 변환합니다. 구현 출력을 맹목적으로 재현하기보다는 사양 및 테스트 벡터에 대해 예상 값을 검증하십시오.
- 가장 저렴하고 신뢰할 수 있는 백엔드 선택: 호스트 테스트 가능한 상태 머신과 프로토콜을 사용합니다. 각 주장에 필요한 CPU, 인터럽트, 메모리 및 주변 장치가 적절히 모델링된 경우에만 Renode를 사용하고, 그렇지 않으면
BLOCKED_BY_MODEL로 표시하고 모크, 모델 작업 또는 HIL을 사용합니다. 전기, 전력, DMA/캐시, 타이밍 및 리셋 동작에는 실제 보드/프로브 측정을 사용하십시오. - 구축 및 실행: 정확한 펌웨어 이미지/개정판, 모델 버전, 스크립트, 자극, 종료 상태 및 시간 제한을 캡처합니다. 광범위한 회귀 테스트 전에 대상 검사를 실행합니다. 테스트 리소스, 포트 번호 및 해체를 격리하고, 승인 없이 실제 하드웨어를 플래시/지우지 마십시오.
- 증거 수준별 보고: 호스트, 정적, 시뮬레이션, HIL 및 물리적 측정은 각각 자체 PASS/FAIL/NOT_RUN/INCOMPLETE 결과를 갖습니다. 누락된 모델 커버리지와 테스트 커버리지를 별도로 표시합니다. LLM 컨텍스트에 장황한 기록 대신 유용한 기계 판독 가능 로그를 보존하십시오.
- 후속 조치: 가장 짧은 실행 가능한 실패 재현, 근본 원인 증거 또는 범위 제한 사항을 제공합니다. 적절한 경우 수정 사항과 함께 안정적인 테스트를 추가하십시오.
조건부 참조
- host-testing.md - 모크, 샌나타이저, 속성 및 오류 테스트용.
- renode-workflow.md -
.resc/.repl, Robot Framework, UART 및 CI용. - simulation-coverage.md - 정확한 Renode 실현 가능성 및 증거 게이트용.
- hil-testing.md - ST-Link, J-Link, OpenOCD, 직렬/RTT 및 실제 보드 계측용.
scripts/summarize_robot.py를 사용하여 Robot output.xml을 요약합니다(생성된 경우). Renode MCP 통합을 임의로 만들어 내지 마십시오. 의존하기 전에 실제 설치된 어댑터를 확인하십시오. 공유 디버그 프로브, UART 소켓 및 전원 장비를 동시 테스트로부터 보호하십시오.
제공 사항: 테스트 환경 및 제약 조건; 실행된 명령; 증거 위치가 있는 어설션/결과; 시뮬레이션 대 물리적 커버리지; 남은 위험.