메뉴건너뛰기


LDRA Tool Suite

소프트웨어 개발단계별 검증 자동화를 통해 소프트웨어의 신뢰성을 보장

LDRA Tool Suite

소프트웨어 개발단계별 검증 자동화를 통해 소프트웨어의 신뢰성을 보장합니다.
소프트웨어 요구사항 관리, 설계, 구현, 시험에 이르는 전체 소프트웨어 개발 단계별 추적 자동화가 가능합니다.

 

ldra

 

 

개발단계별 기능

 

 

ldra

 

  • ldra 요구사항 추적관리 - 소프트웨어의 요구사항 도출, 분석 및 관리
    - 소프트웨어 개발 프로세스 전반에 걸친 요구사항
    추적/관리 기능
    - 요구사항의 양방향 추적을 위한 Upstream과 Downstream
    영향 분석 기능
    - 국제 표준 규격(DO-178C, ISO 26262 등)의 요구사항 관리 기능
  • ldra 정적분석 - 국제 표준 코딩룰(MISRA, CWE, CERT 등)을 적용
    잠재적 결함 검출
    - 소프트웨어 품질 측정을 위한 Metrics 지원
    - Call Graph, Flow Graph를 통한 설계 검토
    - 매개변수 및 사용자 변수 데이터 흐름의 파악을 통한 위험
    데이터 검토
  • ldra 단위 및 통합시험 - 소프트웨어의 구조적 검증 및 기능 시험 수행
    - Test Driver, Test Harness, Test Vector 자동 생성
    - Unit/Integration/Regression Test 수행을 위한 Host-Target
    환경 구축 지원
    - 테스트 케이스 생성 및 테스트 Pass/Fail 확인
  • ldra 프로세스 준수관리 - 항공 국제 표준(DO-178C/278A/254)에 따른 SW 개발
    프로세스 준수 확인
    - 개발 산출물 문서 템플릿 지원
    - FAA DER의 산출물 검토 의견 지원
    - 개발 산출물 검토 체크리스트 지원
  • ldra Object Code Verification - 국제 개발 표준 규격에서 요구하는 Additional Code 검증 지원
    - High Level Code와 Machine Code와의 비교 결과 제공

 

 

 

TBmanager


각각의 국제 표준 규격에서 요구하는 다양한 Objectives를 달성하기 위해 소프트웨어의 라이프사이클 전체 단계에 걸쳐 프로세스와 요구사항을 관리하고 처리합니다.

LDRA TBmanager & TBreq

  • 국제 표준 규격에 따른 SW 개발 프로세스 요구사항 관리 SW 개발 단계별 달성요건 충족여부 확인 국제 표준 규격 달성요건 지원 - DO-178C - IEC 61508 - IEC 62304 - 사용자 정의 요구사항 지원
  • SW 개발 프로세스 전반에 걸친 추적관리 SW 개발 프로세스 요구사항 추적 및 검증 자동화 요구사항 추적 - 시스템 요구사항 - 상위 요구사항 - 하위 요구사 검증 추적 - 요구사항별 검증결과 추적 변경사항 관리

TBmanager 주요기능

  • 수학,통계, 정보과학 및 컴퓨터공학 등 활용

    하위 요구사항과 소스코드 매핑 외부 저장소의 요구사항, 설계, 코드, 테스트 케이스 연결 소프트웨어 개발 프로세스 전반에 걸친 추적성 지원 요구사항과 테스트케이스를 연결하는 추적 매트릭스 생성
  • 소스코드 분석 관리

    검토를 위한 산출물 자동생성 사용자 정의 및 확장 가능한 코딩룰 적용 달성요건과의 추적관계를 나타내는 구조적 커버리지 결과 레포트 제공

  • 영향분석

    요구사항 구조적 커버리지 분석과 영향 분석 요구사항, 소스코드, 시험 데이터의 변경사항 자동탐지 상위(Upstream) 영향분석과 하위(Downstream) 영향분석

  • Compatibility Tool

    다른 요구사항 관리 도구와의 연동으로 기능 확장성 제공 IBM, artisan, Telelogic, Microsoft Office Project, Excel, Access, Word, Adobe PDF

TBmanager 특징 및 장점

  • 소프트웨어 개발 프로세스 전반에 걸친 요구사항 관리 기능 요구사항의 양방향 추적을 위한 Upstream과 Downstream 영향 분석 가능 요구사항 테스트 추적 메트릭스 생성 소스 코드 개발 작업 효율 관리의 자동화 SW 개발 프로세스 자산 및 테스트 산출물 관리 국제 표준 규격(DO-178C, ISO-26262 등)의 요구사항 관리

 

 

 

Testbed / TBvision


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

Testbed / TBvision 주요기능

  • 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

Testbed / TBvision 특징 및 장점

  • 안전성 인증 획득 지원

    국방, 항공, 철도, 원자력, 자동차 분야의 표준 규격에 적합한 도구 안전 관련 검증 도구로 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
     

 

 

 

TBrun


설계 기반 기능 검증과 구조적 검증으로 소프트웨어의 안전성과 신뢰성을 확보할 수 있습니다.

LDRA TBrun (Dynamic Test)

TBrun 시험 절차 다이어그램

  • TBrun 단위 / 통합 시험 수행 TBrun 단위/통합 시험 수행

  • TBrun 시험 결과 시각화 TBrun 시험 결과 시각화

TBrun 주요기능

  • TBrun

    소프트웨어의 요구사항/구조적 검증을 위한 단위 시험 수행 모듈 통합 및 인터페이스 검증을 위한 통합 시험 수행 Coverage 측정 : Statement, Branch, MC/D, Procedure/ Function Call, LCSAJ, Data Coupling/Control Coupling 등 Test Driver, Test Harness, Test Vector 자동 생성 및 Stub 처리 기능 테스트케이스 생성 및 Pass-Fail 테스트 실행 Regression(회귀) 테스트 기능 Host-Host Test, Host-Target Test 지원 기능

  • Target Platforms

    IDE: AONIX, Cosmic, Eclipse, Greenhills, IAR, Keil, MPLAB X, QNX, TI, Renesas, TASKING, Wind River, CodeWarrior, Visual Studio, Atmel Studio 등 Processor: ARM, Freescale, Infineon, Intel, Microchip, MIPS, PowerPC, Renesas, TI 등

  • TLP

    Target License Package Host-Target Test를 위한 자동화 시험 최적화 환경구축 서비스

  • TBeXtreme

    Test Case 자동 생성, 수행 기능 지원 Standard Extreme, Tabular Extreme Test 지원

  • TBpublish

    정적분석, 동적시험, 결과를 하나의 포맷으로 통합한 결과 레포트 제공 27종류의 레포트 제공

TBrun 특징 및 장점

  • 단위/통합 시험

  • 소프트웨어의 기능 / 구조적 검증을 위한 단위 시험 수행 모듈 통합 및 인터페이스 검증을 위한 통합 시험 수행 Coverage 측정: Statement, Branch, MC/D, Procedure/Function Call 등 Test Driver, Test Harness, Test Vector 자동 생성 및 Stub 처리 기능 테스트 케이스 생성 및 Pass / Fail 테스트 실행 Regression(회귀) 테스트 가능

  • 시험 환경 구축

    Host-Host Test, Host-Target 지원 가능 TLP(Target License Package) - Host-Target Test를 위한 자동화 시험 최적화 환경 구축 서비스 - 고객 맞춤형 시험 환경 개발 지원 Target Platforms - IDE : Wind River, CCS, Freescale, Green Hills, IAR, iSYSTEM, Keil, MPLAB X, QNX, TI, Renesas, TASKING, Analog Devices, AONIX, ARM, Cosmic, Eclipse, CNU등 - Processor : ARM, TI, Freescale, Infineon, Intel, Microchip, MPS, PowerPC, Renesas 등

  • 시험 자동화

    TBeXtreme - Test Case 자동 생성, 수행 기능 지원 - Standard Extreme Test, Tabular Extreme Test 지원

  • 종합 리포트

    TBpublish - 정적분석, 동적시험 결과를 통합한 결과 리포트로 편의성 제공 - Code Review, Quality Review, Design Review Report, Dynamic Coverage Report 등

적용분야

  • 국방 국방 무기체계 SW 개발 프로세스에 따른 요구사항 추적 관리
  • 항공 항공 DO-178C에 따른 SW 개발 프로세스 적용 및 인증 지원
  • 철도 철도 EN 50128 SW 개발 프로세스 및 요구사항 추적 관리와
    SIL 인증 지원
  • 자동차 자동차 ISO 26262 SW 개발 프로세스에 따른 프로세스 관리
  • 조선해양 조선해양 IEC61508에 따른 제품 개발 프로세스 적용 및
    안전성 인증(SIL) 지원

주요고객

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

관련자료