메뉴건너뛰기

제품소개

Testbed / TBvision

LDRA는 정적분석을 통해 소프트웨어의 잠재적 결함 검출과 품질 측정결과를 제공합니다.

개요

1300 개 이상의 국제 표준 코딩 룰을 이용하여 잠재적 결함을 검출하고, 60여 개의 SW 품질 메트릭스를 측정

LDRA Testbed / TBvision (Static Analysis)

  • Code Review - 잠재적 결함 검출 - 국제 표준 코딩룰 적용 - MISRA C/C++, CWE 등 지원
  • Quality Review - 소스코드 메트릭 기준 적용 - 소스코드 품질 측정 - 명확성, 시험가능성, 유지보수성 메트릭 산출 - 무기체계 SW개발 및 관리 매뉴얼의 '소스코드메트릭' 산출
  • Design Review - 설계와 코드 일치성 확인 - 코드의 시각화 검토 - 위험데이터 검토
  • MISRA-C:2012 코딩규칙 코딩규칙 검증
  • Call Graph and Flow Graph Call Graph and Flow Graph
  • SW 품질 측정 SW 품질 측정

기능

  • Code Review 국제 표준 코딩룰을 이용한 잠재적 결함 검출 1300개 이상의 코딩룰 지원 산업표준 코딩룰 위반사항 점검 검출된 결함의 소스코드 추적 기능 제공
  • Quality Review 소프트웨어 품질 측정을 위한 60개 이상의 Metrics 지원 소프트웨어 품질 Metrics를 통한 코드 복잡도 산출 신뢰도 예측 및 시험데이터 선정  
  • Design Review Call Graph를 통한 함수 및 클래스의 호출관계 파악 Flow Graph를 통한 소스코드 알고리즘 파악 매개변수 및 사용자 변수, 데이터 흐름 분석을 통한 위험 데이터 검토
  • TBmisra MISRA-C:1998, MISRA-C:2004, MISRA-C:2012 지원 MISRA C++:2008, MISRA AC 지원 JSF++ AV, High Integrity C++DERA and IPA/SEC C 지원
  • TBsecure Secure(보안) 관련 코딩 규칙 지원 CWE-658(C)/659(C++)/660(Java) 지원 CERT C 및 CERT Java

특징 및 장점

  • 안전성 인증 획득 지원 국방, 항공, 철도, 원자력, 자동차 분야의 표준 규격에 적합한 도구 안전 관련 검증 도구로 TUV 인증 획득 고객환경에서 적합 사용 인증 서비스 제공 (Tool Qualification Support Pack)

LDRA Certification Drivers

  • MISRA
     
  • International Standards
    / Processes
  • DO-178B/C
    Levels A, B, C, D
  • C & C++ Standards
     
  • ISO26262
     
  • NUGEG 6501
     

적용분야

  • 국방 국방 무기체계 SW 품질 측정 및 신뢰성 검증을 위한 정적시험
    (코딩규칙 검증/실행시간 오류 검출) 지원
  • 항공 항공 DO-178C에 따른 SW 품질 측정 및 정적분석 지원
  • 철도 철도 EN 50128에 근거한 SW 정적분석 지원
  • 자동차 자동차 ISO 26262 안전성 목표(Safety Goal)를 만족시키기 위한
    SW 품질 측정
  • 조선해양 조선해양 IEC 61508 안전성 인증(SIL)을 위한
    SW 설계 및 코드 검증 수행

주요고객

  • 방위사업청
  • 국방과학연구소
  • 정보통신산업진흥원
  • 한국항공우주연구원
  • 한국산업기술시험원
  • 한국항공우주산업주식회사
  • 서울도시철도5678
  • 경남로봇산업진흥재단
  • 한국전력공사
  • LIGNex1
  • 한화
  • 대한항공
  • 현대오토런
  • 현대자동차
  • LGCNS
  • LG이노텍
  • 삼성SDS
  • 삼성THALES
  • 삼성중공업
  • 서울대학교
  • 카이스트
  • 연세대학교
  • 고려대학교
  • 홍익대학교
  • 인하대학교
  • 수원대학교
  • 경북대학교

관련자료