메뉴건너뛰기

제품소개

TBrun

소프트웨어 요구사항 및 구조적 검증을 위한 동적시험 최적화 솔루션을 제공합니다.

개요

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

LDRA TBrun (Dynamic Test)

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종류의 레포트 제공

특징 및 장점

  • 단위/통합 시험
    • 소프트웨어의 기능 / 구조적 검증을 위한 단위 시험 수행 모듈 통합 및 인터페이스 검증을 위한 통합 시험 수행 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 등

적용분야

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

주요고객

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

관련자료