코드 기반 소프트웨어
검증 용역
검증 용역
- ▪코드 기반 소프트웨어 단위 및 통합 검증 용역
- ✓ SW 단위 설계서로 단위 테스트 케이스 도출, 단위 테스트 수행, 결과 Report 작성
- ✓ SW 아키텍처 설계서로 통합 테스트 케이스 도출, 테스트 수행, 결과 Report 작성
- ✓ 기능안전(ISO26262) 및 A-SPICE 요구사항을 만족하는 결과 Report 제공
- ▪SW 단위 테스트
- ✓ ASIL에 따른 Coverage 만족 및 기대 값 만족 (A~C : 결정(Decision), D: MC/DC)
- ✓ 커버리지 미달성 사유 포함 한 결과 Report 작성

- ▪SW 통합 테스트
- ✓ 호출 Coverage 및 기대 값 100% 만족
- ✓ 커버리지 미달성 사유 포함 한 결과 Report 작성
