0. 동적 검증이란?
동적 검증은 V 프로세스 관점에서 개발완료 후 "검증"하는 Part의 일부분이다.
코드에 대한 품질을 높히고, 보장하기 위한 활동으로 실제 제품에서 동작을 시킬순 없으니 동적 검증을 지원하는 Tool들을 사용하여 검증을 진행한다. 해당 Tool들은 코드를 실제 실행 할 수 있는 가상의 환경에서 동작하게 된다.
1. 커버리지
동적 검증의 커버리지란 말그대로 Test Case가 10개가 있으면 "그 중 몇개를 행했나?"의 진척도와 같은 의미이다.
"커버리지 100% 달성!" 이라고 해서 해당 코드에 대해 무결성을 표하는 것은 아니라고 한다.
1.1 커버리지의 종류
커버리지에는 다음과 같은 종류가 있다.
종류 | 설명 |
구문 커버리지 | 시험 대상의 구문 중에 실행된 구문을 측정, 모든 문장이 적어도 한번 실행 되는 것 |
결정 커버리지 | 즉, if문의 true, False가 모두 실행되어야 100% 달성 → 모든 결정의 분기가 적어도 한번씩은 실행되어야한다. |
조건 커버리지 | 전체 조건식의 결과와 관계 없이 각 개별 조건식이 T/F 한번 모두 갖도록 수행 |
조건 / 결정 커버리지 | if문의 조건 전체에 대한 true/false + 개별 조건식 T/F 모두 갖도록 |
변형 조건 / 결정 커버리지 | 다른 상태들의 변동이 없고, 자신의 상태가 변경되었을 때 "결과 값"에 영향을 미치는 경우 → MC/DC를 만족한다. |
다중 조건 커버리지 | 모든 개별 조건식의 가능한 모든 논리적 조합 |
참고
https://m.blog.naver.com/suresofttech/221833396343
구조적 커버리지(Coverage)의 정의와 종류
구조적 커버리지(Coverage)란? 소프트웨어 테스트에서 구조적 커버리지(코드 커버리지)는 테스트에 의해 ...
blog.naver.com
https://swingswing.tistory.com/123
테스트 설계기법_동적테스트_구조기반(화이트박스), 구문, 문장, 조건, 결정, 조건 결정, 변경 조
▣ 테스트 설계기법_동적테스트_구조기반(화이트박스), 구문, 문장, 조건, 결정, 조건 결정, 변경 조건, 다중 조건, 경로 커버리지 상세기법 조건 설명 구문 or 문장 커버리지 (SC, Statement Coverage) 문
swingswing.tistory.com
http://egloos.zum.com/gasiri/v/3270958
소프트웨어 테스트#1_소스코드 커버리지 / MC/DC 커버리지
#> 소스코드 커버리지란 무엇인가? 1. 소스코드 커버리지 정의 - 소프트웨어 테스트를 진행했을 때 코드 자체가 얼마나 실행하였나를 정량적으로 분석하기 위한 테스트방법이다. - 동적테스트 및
egloos.zum.com
'공부 > 자동차' 카테고리의 다른 글
[검증] 화이트 박스 / 블랙 박스 Test (0) | 2023.04.06 |
---|---|
[SW] AutoSAR (0) | 2023.02.06 |
[UDS] Unified Diagnostic Service (진단 통신) (0) | 2023.01.02 |
RXsWIN (0) | 2022.12.15 |
[용어] 신차 개발 단계 (0) | 2022.12.15 |