Helix QAC의 제조사인 Perforce Software(구.PRQA)는 다양한 산업에서 적용 되는 코딩 규칙인 MISRA C/C++ 제정을 담당하는 Working Group내 핵심 멤버이며, AUTOSAR C++ 코딩 규칙 제정에 유일하게 참여한 정적 분석 도구 Vendor입니다. 따라서 코딩 규칙과 관련된 글로벌 트렌드에 빠르게 대응할 수 있습니다.
Helix QAC는 다양한 산업군 별 국제 기능 안전 표준에서 요구하는 정적분석 항목을 지원할 뿐만 아니라, 사이버보안과 관련된 정적분석 요구사항을 지원하고 있습니다.
(ISO 26262, ISO/SAE 21434, IEC 61508, EN 50128, IEC 62304, IEC 60880, 방위사업청 무기체계 소프트웨어 개발 및 관리 매뉴얼, 현대자동차 요구사항)
또한, 국제적인 코딩 가이드라인 위반사항을 정확하게 검출하며 여러 분야에서 요구되는 소스코드 메트릭 측정을 통해 소프트웨어의 품질을 향상시키는 정적분석 도구입니다.
주요 특징
01. 국제적인 코딩 규칙 검증
- 자동차 : MISRA C/C++ 2023 포함 모든 버전,AUTOSAR C++ 코딩 규칙100% 지원
- 국방/항공 : 방위사업청 신뢰성 시험 지침 대응 코딩 규칙 지원 (MISRA C/C++, JSF++)
- 보안 : 현대차 보안코딩 가이드,CWE658/659, CERT C/C++100% 지원
- 기타 : HIC++ (HIGH INTEGRITY C++)
- 사용자 정의 코딩 규칙 생성 가능
02. 소스코드 메트릭 측정
- 자동차 : 현대자동차 코드 메트릭,HIS 메트릭, CK메트릭 100% 지원
- 국방/항공 : 방위사업청 신뢰성 시험 지침 대응 메트릭 100% 지원
- C언어 71개, C++언어 80개 항목 지원
03. 기능안전 및 사이버보안 관련 국제 표준의 정적분석 요구사항 대응
- 기능안전
* ISO26262(자동차)
* IEC61508(전기/전자)
* EN50128(철도)
* IEC62304(의료기기)
* IEC60880(원자력)
* DO178, DO330(항공)
- 사이버보안
* ISO/SAE21434
* 현대자동차 보안코딩 가이드라인
04. 분석 결과 통합 관리
- 분석결과 공유 : 웹 기반 분석결과 공유를 통해 이해관계자들 간의 편리하고 신속한 협업 가능
- 분석결과 차수 관리 : 차수 별 코딩규칙 위반사항 및 메트릭 결과 추이 확인 차수 별 소스코드 수정 내용 비교 및 레거시 코드 관리 가능
- 위반사항 예외처리 : 예외처리 소명 양식 자동생성으로 문서 작업 감소
- 사용자 정의 리포트 : 사용자가 원하는 양식의 리포트 구성 가능
* 현대자동차 보안코딩 성적서 자동 생성
주요 기능
01 정확한 위반사항 검출과 편리한 결함 수정
- 코딩 규칙에 대한 위반사항을 정확히 검출(MISRA C/C++:2023 100%지원)- 사용자가 편리하게 위반사항을 수정할 수 있도록 다양한 기능 제공
02 분석 결과에 대한 통합 관리 플랫폼 Helix QAC Dashboard
- 규칙 위반사항을 웹 브라우저에 공유함으로써 업무 효율 증가 및 팀워크 향상- 예외처리 소명 양식 자동 생성으로 추가적인 문서 작업 소요 감소
03 SW품질 향상을 위한 소스코드 메트릭 측정
- 사용자가 측정하고자 하는 메트릭을 선택할 수 있으며, 결과를 한눈에 파악 가능- 분석 차수별 소스코드 메트릭 추이 추적 관리
04 사용자 정의 리포트 생성
- 사용자가 원하는 항목의 리포트 구성 및 다양한 형식으로 Export 가능- 현대자동차 보안 코딩 성적서 자동 작성 플러그인 제공
05 정적 분석 자동화 - 빌드 자동화 시스템 연동 및 주요 IDE Plug-in 제공
- 모든 CLI환경을 지원, 빌드 자동화 시스템과 연동을 통해 코딩 규칙 분석 자동화- Visual Studio, Eclipse 등 개발환경 Plug-in 제공을 통해 사용자 편의 제공
블로그
