MISRA 2012 규칙 특성 중 결정 가능성(Decidability)이란?

수정일 Thu, 26 May 2016 시간: 02:22 PM

규칙 특성 중 결정 가능성(Decidability)이란 

쉽게 말해서 정적 분석 도구에서 보고한 결함 중 오탐(False Alarm)이 발생 가능한지 여부를 나타낸 특성이다.

예를들어 MISRA 2012 규칙 중 02_03"(사용되지 않은 타입 선언은 없어야 함)" 규칙은 결정 가능(decidable) 규칙이므로 오탐이 없어야 합니다.

반대로 02_02 "(죽은 코드(dead code)는 없어야 함)" 규칙은 결정 불가능(undecidable) 규칙이므로 오탐이 발생할 가능성이 있는 규칙입니다.


Code Inspector의 규칙 설명 뷰에 각 규칙 별로 결정 가능성(Decidability) 를 표시하고 있습니다.



아티클이 유용했나요?

훌륭합니다!

피드백을 제공해 주셔서 감사합니다.

도움이 되지 못해 죄송합니다!

피드백을 제공해 주셔서 감사합니다.

아티클을 개선할 수 있는 방법을 알려주세요!

최소 하나의 이유를 선택하세요

피드백 전송

소중한 의견을 수렴하여 아티클을 개선하도록 노력하겠습니다.