MISRA C 코딩 규칙 준수를 위한 상용 및 공개 소프트웨어 정적분석 도구 성능 비교 연구
A Comparative Study on the Performance of Commercial and Open-source Static Analysis Tools for MISRA C Coding Standards
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
국방, 자동차와 같이 안전성이 중요한 산업에서는 신뢰성 있는 소프트웨어 개발을 보장하기 위해 MISRA C가 널리 적용되고 있다. 그러나 정적분석 도구는 규칙 지원 범위와 탐지 성능에서 차이가 있으며, 이에 대한 비교 연구는 제한적이다. 본 연구에서는 MISRA C:2012 예제 모음을 이용하여 상용 소프트웨어 도구 A와 오픈소스 소프트웨어 CPPCHECK를 평가하였다. 두 도구가 수행한 정적 분석 결과를 테스트 케이스(Test Case), 규칙 범주(Rule Category), 규칙 섹션(Rule Section) 의 세 가지 범주에서 분석하였으며, 정확도(accuracy), 정밀도(precision), 재현율(recall), F1 점수(F1-score)의 네 가지 평가지표를 사용하였다. 실험 결과, 도구 A는 두 가지 범주(Test Case, Rule Category)에서 CPPCHECK보다 우수한 성능을 보였다. 그러나 규칙 섹션 9, 15, 16에서는CPPCHECK가 더 좋은 성능을 보였다.
Abstract
In safety-focused industries such as defense and automotive, MISRA C is widely adopted to ensure reliable software. However, static analysis tools differ in rule coverage and detection performance, and comparative studies remain limited. In this paper, we evaluate a commercial software tool A and an open-source software CPPCHECK using the MISRA C:2012 example suites. We analyze the static analysis results produced by these tools across three categories (Test Case, Rule Category, and Rule Section) using four metrics (accuracy, precision, recall, and F1-score). Experimental results show that Tool A performs better than CPPCHECK in two categories (Test Case and Rule Category). However, in Rule Sections 9, 15, and 16, CPPCHECK achieves better performance, indicating strengths in specific areas.