SW 개발도구

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

정적 분석 도구 Helix QAC

개발 시간 감소와 동시에 ISO 코딩 베스트 프랙티스에 대한
소프트웨어 신뢰성, 보안 및 적합성을 평가합니다.

개발 초기부터 꾸준한 테스트를 통해 최소 비용으로 결함을 잡으세요

Helix QAC는 Dataflow 문제, 소프트웨어 결함, 언어 구현 오류, 불일치, 코딩 표준 위반 및 보안 취약점을 지속적으로 감시하고 보고합니다.

  • C/C++에서 프로그램 실행 없이 수백만 라인의 소스 코드 분석
  • 코딩 규칙 표준 준수 (MISRA C/C++, CERT C/C++, AUTOSAR(C++) 등)
  • 소스코드 품질 메트릭 분석 제공 (방위사업청 메트릭 및 HIS메트릭 포함 71개(C언어))
  • 산업별 기능안전 표준 지원 인증 획득
    • IEC 61508:2010 (전기/전자l) SIL 4 지원
    • ISO 26262:2011 (자동차) ASIL D지원
    • EN 50128:2011 (철도) SW-SIL 4 지원
    • IEC 62304:2006 (의료) SW safety Class C 지원
    • IEC 60880:2006 (원자력)Cerification 다운로드 >
  • 상황 별 실시간 피드백 제공으로 개발자의 학습 및 실수 교정
  • 정확한 분석 결과와 빠른 분석 시간
  • 개발환경(IDE) 및 모든 CI 환경(ElectricFlow, Jenkins 등) 연동 가능

SGS-TUV Saar 인증

Helix QA·C는 국제 Safety critical 표준 IEC 61508, ISO 26262, EN 50128, IEC 60880 및 IEC 62304에 대해 SGS-TUV Saar으로부터 "Usable in the development of safety related software"인증을 획득, 고객이 보다 쉽고 빠르게 소프트웨어 제품의 표준 인증을 획득할 수 있도록 도와줍니다.

TRACE32 주요제품

개발 초기에 오류를 식별해 결함과 리콜 방지

소프트웨어 생성시 결함을 식별하고, 개발 라이프 사이클의 단순화로 비용과 사이클 타임을 줄입니다.

Helix QAC는 Dataflow 문제, 소프트웨어 결함, 언어 구현 오류, 불일치, 코딩 표준 위반 및 보안 취약성을 지속적으로 감지하고 보고합니다.

TRACE32 주요제품

오탐 및 미탐 최소화

Helix QAC는 ISO 표준 및 언어 구문에 명시된 ‘덜 알려진 문제점(Lesser known issues)’을 포함하여 컴파일러와 대부분의 개발자가 놓치는 이슈를 탐지합니다.

즉, 테스트에서 발생하는 결함을 줄이고 문제점을 직접 수정하는 데 드는 시간을 단축시켜줍니다.

TRACE32 주요제품

애플리케이션 보안 향상

취약점을 유발하는 C 언어 구문을 사용하지 않도록 해줍니다.

Helix QAC로 피할 수 있는 위험 요소

  • Buffer overflow 및 스택 스매싱
  • 동적 메모리 관리 기능 오류
  • Signed integer overflows, unsigned integer wrapping, truncation error로 인한 integer 관련 문제
  • 포맷 스트링 취약점을 사용하는 포맷 출력함수 오류
  • 동시 코드 개발 시 발생하는 Race condition 및 취약점
TRACE32 주요제품

Dataflow 결함 검출

Helix QAC는 코드의 Control-flow, 변수 상태, 라이브러리 사용 및 Semantic modeling과 관련된 주요 코딩 문제를 식별합니다.

Helix QAC의 Dataflow 분석 엔진은 Deep-flow 정적 분석 도구를 위한 업계 최초 기술인 SMT (Satisfiability Modulo Theories) 솔버엔진을 내장하고 있습니다.

TRACE32 주요제품

커스텀 리포트를 통한 모니터 및 지속적 향상

  • 컴플라이언스 리포트 : 더 높은 수준의 규칙 준수를 위해 코드의 어떤 부분에 가장 집중해야 하는 지를 시각화
  • 코드 리뷰 리포트 : 코드 적합성 및 정확성에 대한 수작업이 아닌, 설계, 최적화, 만족하는 요구사항을 논의 하는 데에 대한 peer review에 재집중
  • 메트릭 데이터 리포트 : 나만의 추가 검토에 활용할 수 있는 품질 메트릭 데이터의 소스를 XML 파일로 제공(방위사업청 6개 메트릭, HIS 메트릭 포함.)
  • 예외처리 리포트 : 분석에서 예외처리 된 메시지 진단에 대한 정보 제공
TRACE32 주요제품

이식성

Helix QAC는 개발언어의 특성과 확장성을 확인하여, 다양한 컴파일러와 플랫폼에서도 코드를 일관성 있게 작동시킵니다.

TRACE32 주요제품

Who is Helix QAC for :

  • 개발자 : “QA Testing Plan”의 제약 없이 더 나은 코드를 개발하고 싶은 경우
  • QA 관리자 : 팀 자체적으로 결함을 확인 후 수정까지 가능하게 하고자 하는 경우
  • 엔지니어링 리더 : 비즈니스 Risk를 제거하는 동시에 소프트웨어 개발 비용과 시간을 감소시키고자 하는 경우

주요 고객

  • 자동차

    전자 로고

  • 국방/항공

    자동차 로고

  • 전자/철도

    국방/항공 로고

  • 의료

    의료 로고

적용사례

    • 국방/항공
    • 자동차
    • 디지털기기&가전
    국방/항공
    구분 내용
    회사명

    미국의 대형 항공 회사(‘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++에서 사용할 수 있음

    자동차
    구분 내용
    회사명

    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의 품질을 향상시키는 데 성공함.

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

    일본 자동화기기 제조사 (‘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에 대한 이견이 없어지게 됨.