QAC / QAC++

QAC / QAC++ 는 정적 테스트 도구이다

Code Inspection 을 통해 SW Coding 단계에서 잠재적 결함을 제거하는 방법이다.

Code Inspection 에는 Coding Rule Check, Fault Detection 등이 있는데
QA∙C/C++ 은 Coding Rule 체크의 범주에 속한다. 즉 QAC / QAC++ 은 기능 검증은 할 수 없다.

QAC 에서 만든 규칙을 MISRA - C 1998 버전에서 그대로 채택하였기 때문에
QAC 를 한다고 하면 MISRA 를 한다고 말하기도 한다

Coding Rule Check 의 종류에는

- 명명규칙, 코딩스타일, 연산자 사용 규칙, 호환성 규칙, 오류 규칙 등이 있다

* 명명 규칙 - 명명이 가능한 Identifier (식별자)의 이름 짓는 규칙

* 코딩 스타일 - 들여쓰기, 괄호의 위치 등 코드를 읽기 쉬운 구조로 작성하기 위한 규칙

* 연산자 사용 규칙 - 연산자로 인해서 발생하는 소프트웨어 오류를 최소화하기 위한 규칙

ex) signed 데이터와 unsigned 데이터를 서로 assign 하지 않는다

비교 문에서 float 형 데이터를 사용하지 않는다

* 호환성 규칙 - 어떠한 환경에서도 재사용이 가능한 코드 작성을 위한 규칙

* 오류 규칙

QAC / QAC++ 에서 알아두어야 할 개념 중에 Personality 라는 것이 있다.

옵션이라고 생각해도 좋을 것 같다

* Message Personality : 분석 대상에 적용할 코딩 룰의 집합. 룰을 변경하거나 출력 형태를 변경하기 위한 설정

* Analyser Personality : 개발하는 프로젝트에 따른 특성을 설정, 프로젝트에서 참조하는 라이브러리 정보 및 일부 Style Guide 룰 설정. 프로젝트에 의존적인 정보

* Compiler Personality : 코드 분석을 위한 컴파일러의 특성을 설정