SW 개발도구

  • SW개발도구
  • Helix QAC
제품문의

코딩 규칙 검사 도구
코딩 규칙를 준수하여 소프트웨어 신뢰성 향상
소스코드 메트릭 검증을 통한 소프트웨어 품질 관리
통합 관리 솔루션을 통해 사용자 간 협업 극대화
웹 브라우저 기반으로 분석결과 공유

코딩 규칙
위반사항 분석
  • 자동차 : MISRA C/C++ 모든 버전 지원, AUTOSAR C++ 코딩 규칙 지원
  • 국방/항공 : 방위사업청 신뢰성 시험 지침 대응 코딩 규칙 (MISRA C/C++, JSF++)
  • 보안 : CERT C/C++, CWE 658/659
  • 기타 : HIC++ (High Integrity C++)
  • 사용자 정의 코딩 규칙 생성 가능
소스코드
품질 메트릭 측정
  • C언어 - 71개, C++언어 - 59개 메트릭 항목 지원
  • 자동차 : HIS 메트릭 지원
  • 국방/항공 : 방위사업청 신뢰성 시험 지침 대응 메트릭 지원
산업별 기능안전
표준 지원
Certification
  • 자동차 : ISO 26262:2011 ASIL D지원
  • 전기/전자 : IEC 61508:2010 SIL 4 지원
  • 철 도 : EN 50128:2011 SW-SIL 4 지원
  • 의 료 : IEC 62304:2006 SW safety Class C 지원
  • 원자력 : IEC 60880:2006
certification Certification 다운로드
웹 기반의
통합 관리 솔루션
제공
  • 분석결과 공유 : QA담당자, 개발자, 관리자 간 웹 기반 공유/ 신속한 협업 가능
  • 분석결과 버전 관리 : 버전 별 소스코드 비교 가능, 위반사항 및 메트릭 결과 추이 확인
  • 위반사항 예외 처리 : 예외 처리 소명양식 자동생성 가능 / 보고서 작성 업무 감소
  • 사용자 정의 리포트 : 사용자가 원하는 형태로 리포트 구성 가능
  • certification
  • certification
  • certification

Helix QAC 소개 영상

Q&A

주요고객

  • 자동차

    전자 로고

  • 국방

    자동차 로고

  • 전기/전자/철도

    국방/항공 로고

  • 기타

    의료 로고

적용사례

적용사례

자동차
구분 내용
회사명

100개국 이상에 Diesel engine 부품을 공급하는 회사 (Delphi)

상황

현대의 Diesel 엔진에는 기능 향상 및 작동시간 증가가 요구되고 있고, Eg Diesel 엔진의 설계기술은 점점 고도화되고 있음.
Delphi는 성능과 신뢰성을 높이기 위하여 Diesel 엔진에 더 많은 task를 추가함과 동시에 기존 모델을 Reengineering해야 했음.

해결방안 및 효과

MISRA(Motor Industry Software Reliability Association) 표준을 일찍부터 제품에 적용하고 있던 Delphi Diesel은 제품 성능의 획기적인 향상을 위해 MISRA 표준을 강화함

이에 PRQA사에서 제공하는 Windows 기반의 QAC와 MISRA Rule을 적용하여 연구소의 SW 품질을 Test함으로써 SW의 품질을 향상시키는 데 성공함.

국방/항공
구분 내용
회사명

미국의 대형 항공 회사(‘L사’)

상황

C++ Code 기반이면서 Safety, Hard real time, performance (time and space)의 제약 사항을 만족하는 C++용 Coding Rule을 표준화(JOINT STRIKE FIGHTER AIR VEHICLE C++ CODING STANDARDS)하여 JSF (일명 F-35) 개발에 적용함

JSF-AV-Rules에는 총 231개의 Rule이 있으며, MISRA-C의 Coding Rule을 벤치마킹하여 구성됨

해결방안 및 효과

MISRA-C 모듈과 동일하게 JSF Compliance Module을 제공하여 QAC++에서 사용할 수 있음

디지털기기 & 가전 분야 적용사례
구분 내용
회사명

일본 자동화기기 제조사 (‘O사’)

상황

수년 간 자동화기기용 애플리케이션을 개발하고 있으나, 시스템이 점점 복잡해짐에 따라 Manual Review가 불가능 해짐.

다양한 고객별 시스템을 개발함에 따라 Source Code에 대한 Maintainability의 필요성이 대두되었으며, QA부서에서는 Source Code에 대한 분석을 할 수 없으므로 고객이 직접 운용하면서 발생하는 Error에 대해 추후 지원을 해 주고 있었음.

해결방안 및 효과

QAC의 품질 문서를 기반으로 Fail 및 Pass를 적용하는 자체 QA시스템을 운용하여, 개발자들은 Source Code상에서 정해진 Rule과 Software Quality guideline을 지키도록 하고, 이 시스템에서 나온 정보를 바탕으로 QA 부서에서는 SW의 Quality를 측정함.

그 결과 개발자들의 Coding Skill이 향상되고, 개발자와 QA부서간 Source code에 대한 이견이 없어지게 됨.