LDRA Testbed / TBvision

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

Testbed / TBvision (Static Analysis)

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

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

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

적용분야

국방
  • 신뢰성 시험 프로세스 구축 및 동적시험 (코드 실행률 달성) 지원
항공
  • DO-178C Level A에 근거한 시험 환경 구축 및 Functional / Code Coverage 달성 지원
철도
  • EN 50128에 따른 기능 / 구조적 검증을 위한 단위시험, 통합시험 수행
자동차
  • ISO 26262 안전성 목표(Safety Goal)를 만족시키기 위한 Functional / Code Coverage 지원
조선해양
  • IEC 61508 안전성 인증(SIL)을 위한 모듈 통합 및 인터페이스 검증을 위한 통합 시험 수행

솔루션 담당: 장정훈 부장 02.6945.2120 jhjang@moasoftware.co.kr