SW 개발도구

  • SW개발도구
  • QA Framework
제품문의
     

개요

  • 정확하고 안전한 소프트웨어 작성을 위한 솔루션
    • C, C++ 언어 사용 시 발생할 수 있는 SW 결함 검출
    • 산업별 기능안전 Coding Guide line 지원(ISO 26262, IEC 61508 등)
    • MISRA-C/C++, CERT-C/C++, JSF-C++와 같은 세계적인 SW 코딩 규칙 위반사항 검출
    • Data/Control Flow 분석을 통한 Runtime Error 결함검출
    QAC

주요 이점

  • 시장 출시일정 단축 및 개발비용 절감효과
  • 개발 사이클 초기에 SW의 잠재 결함 검출
  • 코드의 품질 확보 및 코딩 표준 준수 확인
  • 코드 리뷰 프로세스 개선 및 팀워크 향상
  • 코딩 규칙 학습을 통한 개발자의 개발능력 향상 (베스트 프랙티스 증진)
  • SW 신뢰성, 이식성, 유지보수성 강화

기능

  • 분석 결과 화면에서 바로 코드 수정이 가능한 GUI제공
  • MISRA, CERT, JSF, 방위사업청 코딩 규칙 적용 가능
  • 소프트웨어 품질측정 Metrics 분석 제공
  • 프로젝트 또는 소스코드 라인 수의 제약 없음
  • Semantic 분석지원
  • Data/Control Flow 분석을 통한 Runtime Error 검출
  • 코멘트 기반 메시지 Suppression
  • 크로스 모듈 분석 (Link Time Checking)
  • 모든 CI 환경 연동 가능(ElectricFlow, Jenkins 등) 자세히보기
  • 컴파일러 연동을 통한 분석 대상 파일 자동 수집
  • Visual Studio Plug-In 제공
  • 산업별 기능안전을 위한 Tool Certification 보유 Certification 이미지
    • 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 (원자력)
    • Certification 자세히보기 자세히보기
    • Certification 다운로드 다운로드

주요 고객

  • 전자/철도

    전자 로고

  • 자동차

    자동차 로고

  • 국방/항공

    국방/항공 로고

  • 의료

    의료 로고

기술기사

적용사례

    • 휴대폰
    • 디지털기기&가전
    • 오토모티브
    • 국방/항공
    휴대폰 분야 적용사례
    구분 내용
    회사명

    해외 휴대폰 개발 업체 (’M사’)

    상황

    다양한 Test 도구를 활용하여 SW의 품질 확보에 심혈을 기울이고 있었음

    보다 높은 SW Quality 확보를 위해 함수의 SW Quality Metrics와 실제 SW의 Bug와의 연관관계를 분석하려는 시도를 하게 됨

    다양한 SW Quality Metrics를 제공해 주는 도구를 활용하였으나, QAC에서 제공되는 SW Quality Metrics가 가장 상세한 정보를 담고 있었음

    해결방안 및 효과

    다른 도구에서 제공되지 않고 QAC에서만 제공되는 몇 개의 Metrics를 이용, 함수의 복잡도가 높을수록 실제 발생하는 Error가 많은 것을 확인

    전사적으로 Coding Guideline의 재정립 및 개발프로세스에 QAC를 활용한 검증을 포함하여, 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에 대한 이견이 없어지게 됨.

    오토모티브
    구분 내용
    회사명

    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++에서 사용할 수 있음