SW자원사용량검증센터

차량용 SW 자원 사용량 검증 센터를 통해 효과적인 엔지니어링 서비스와 솔루션을 제공합니다.

SW 신뢰성

ISO26262 part 6 – 단위/통합 시험 환경 관련
[SW 단위/통합 동적 테스트 요구 사항: 커버리지]
  • 커버리지 테스트 요구사항
    • 단위: Statement, Branch, MC/DC​
    • 통합: Function, Call
  • 테스트 대상 SW의 커버리지를 측정하는데, 코드 삽입 없는 커버리지 측정 환경의 필요성 명시
소프트웨어 단위 수준의 구조적 커버리지 지표
방법 ASIL
A B C D
1a 구문 커버리지 ++ ++ + +
1b 분기 커버리지 + ++ ++ ++
1c MC/DC(수정된 조건/결정 커버리지) + + + ++

출처:ISO26262 part6
표 12 - 소프트웨어 단위 수준의 구조적 커버리지 지표

  • 비고1구조적 커버리지는 적합한 소프트웨어 도구의 사용에 의해 결정될 수 있다.
  • 비고2모델 기반의 개발인 경우 구조적 커버리지의 분석은 모델에 대한 유사한 구조적 커버리지 지표를 이용하여 수행될 수 있다.
  • 비고3측정을 위한 코드가 커버리지 정도를 결정하는데 사용되면 그 코드(instrumented code)가 시험 결과에 형향을 미치지 않는다는 것을 보여주어야 한다.
    측정을 위한 코드가 삽입되지 않은 코드 (non-instrumented code)로 시험을 반복하여 보여줄 수 있다.
소프트웨어 아키텍쳐 수준의 구조 커버리지 지표
방법 ASIL
A B C D
1a 함수(function) 커버리지a + + ++ ++
1b 호출(call) 커버리지b + + ++ ++

출처:ISO26262 part6
표 15 - 소프트웨어 아키텍쳐 수준의 구조 커버리지 지표

  • a 방법.1a는 소프트웨어 함수가 실행된 비율을 말한다. 이 증거는 적합한 소프트웨어 통합 전략에 의해 구현될 수 있다.
  • b 방법.1b는 소프트웨어 함수에 대한 호출의 실행 비율을 말한다.
코드 커버리지 측정 및 리포트​
  • HTML 리포트를 이용한 코드 커버리지 분석​
  • 커버리지용 테스트케이스 추가 후 코드 커버리지 변경사항 추적​
  • 시뮬레이터 기반 테스트 후 코드 커버리지 결과 확인