테스트 커버리지, 정적 코드 분석/동적 코드 분석

1. 테스트 커버리지

테스트 커버리지란 작성된 코드 중에서 테스트가 수행된 비율을 측정하는 방법이다. 코드의 품질을 유지하고 잠재적인 결합을 줄이기 위해 코드의 어느 부분이 테스트되었고, 어느 부분이 테스트되지 않았는지 파악하는데 도움을 준다.

 

테스트 커버리지는 일반적으로 다음과 같은 기준으로 측정된다.

1. 라인 커버리지: 코드의 각 줄이 테스트되었는지 확인하는 방법. 전체 코드 중 70%의 라인이 테스트되었다면 라인 커버리지가 70%이다.

2. 함수 커버리지: 작성된 함수 중 몇 개가 테스트되었는지 확인한다.

3. 분기 커버리지: 조건문의 각 분기가 테스트되었는지 확인한다.

4. 조건 커버리지: 조건문의 각 개별 조건이 참과 거짓으로 테스트되었는지 확인한다.

 

*분기 커버리지와 조건 커버리지

아래 코드에서 분기 커버리지는 if와 else가 모두 실행되었는지 확인한다.

조건 커버리지에서는 다음을 확인한다.

• (a = 15, b = 10)인 경우 - a > 10은 참이고 b < 20도 참입니다.
• (a = 5, b = 10)인 경우 - a > 10은 거짓이고 b < 20은 참입니다.
• (a = 15, b = 25)인 경우 - a > 10은 참이고 b < 20은 거짓입니다.
• (a = 5, b = 25)인 경우 - a > 10은 거짓이고 b < 20도 거짓입니다.

function checkConditions(a, b) {
    if (a > 10 && b < 20) {
        return "Condition met";
    } else {
        return "Condition not met";
    }
}

 

🎁블랙박스 테스트와 화이트박스 테스트

이러한 테스트 커버리지는 화이트박스 테스트라고 할 수 있다. 화이트박스 테스트란 코드의 내부 구조와 로직을 이해하고 이를 기반으로 테스트한다. 코드 커버리지를 측정하기 위해서는 코드의 내부 구조와 로직을 알고 라인/함수/분기/조건 별로 테스트를 수행해야 한다. 반면 블랙박스 테스트란 코드의 내부 구조를 모른 채 입력과 출력만을 가지고 테스트를 진행하는 방식으로 커버리지는 측정하는 방식과는 다소 차이가 있다. 이러한 블랙박스 테스트는 사용자의 관점이 시스템이 예상대로 동작하는지 확인할 때 유용하다.

 

2. 정적 코드 분석과 동적 코드 분석

정적 코드 분석

코드 실행 없이 코드의 구문, 스타일, 구조 등을 분석하는 방식이다. 

*특징

- 정적 분석: 코드를 실행하지 않고 코드의 구문, 스타일, 구조 등을 검사한다.

- 정적 분석 도구: ESLint, SonarQube 등

- 버그 예방: 초기 개발 단계에서 오류를 발견하여 수정할 수 있어 이후 발생할 수 있는 문제를 사전에 예방할 수 있다.

*기타

빌드 및 컴파일 자동화: 코드가 정적 분석을 통과하면 자동으로 빌드 및 컴파일 단계로 이동합니다. 여기서는 코드가 정상적으로 컴파일되는지 확인하며, 컴파일 오류가 있을 경우 빌드가 중단되므로 문제가 있는 코드는 즉시 수정 요청을 받을 수 있습니다.

 

동적 코드 분석

코드가 실행되는 동안 실제 동작을 분석하는 방식으로, 메모리 사용, 성능, 실행 중 예외 상황 등을 점검할 수 있다.

*특징

- 동적 분석: 코드를 실행하면서 런타임 환경에서 테스트한다.

- 동적 분석 도구: Jest, JUnit 등

- 버그 예상: 실행 환경에 의존, 테스트 커버리지 제한(실행 환경에 의존적이기 때문에 테스트 범위가 제한적일 수 있다.)

 

*STATIC(정적 분석 자동화 도구)

STATIC은 코드 정적 분석 자동화 도구로, 자동화된 코드 정적 분석을 통해 수동적인 검토의 실수를 방지하고 많은 양의 소스 코드를 분석하는 시간을 단축한다.

- 수동적 기법(비공식 검토, 기술 검토, 워크 쓰루, 검사) / 자동화 기법

 

https://blog.naver.com/suresofttech/223489434060

챗GPT로 알아보는 정적 분석 자동화 도구 'STATIC'

https://blog.naver.com/suresofttech/220769058527

"STATIC"을 활용한 정적 검증