테스트 대상 SW의 커버리지를 측정하는데, 코드 삽입 없는 커버리지 측정 환경의 필요성 명시
소프트웨어 단위 수준의 구조적 커버리지 지표
방법
ASIL
A
B
C
D
1a
구문 커버리지
++
++
+
+
1b
분기 커버리지
+
++
++
++
1c
MC/DC(수정된 조건/결정 커버리지)
+
+
+
++
비고1비고 1 구조적 커버리지는 적합한 소프트웨어 도구의 사용에 의해 결정될 수 있다.
비고2비고 2 모델 기반의 개발인 경우 구조적 커버리지의 분석은 모델에 대한 유사한 구조적 커버리지 지표를 이용하여 수행될 수 있다.
비고3비고 3 측정을 위한 코드가 커버리지 정도를 결정하는데 사용되면 그 코드(instrumented code)가 시험 결과에 형향을 미치지 않는다는 것을 보여주어야 한다. 측정을 위한 코드가 삽입되지 않은 코드 (non-instrumented code)로 시험을 반복하여 보여줄 수 있다.
소프트웨어 아키텍쳐 수준의 구조 커버리지 지표
방법
ASIL
A
B
C
D
1a
함수(function) 커버리지a
+
+
++
++
1b
호출(call) 커버리지b
+
+
++
++
a 방법.1a는 소프트웨어 함수가 실행된 비율을 말한다. 이 증거는 적합한 소프트웨어 통합 전략에 의해 구현될 수 있다.