코드 기반 커버리지의 Back-to-Back 테스팅 솔루션

BTC EmbeddedPlatform

BTC EmbeddedPlatform 툴은 요구사항 생성부터 모델 및 자동생성코드 검증에 이르는 개발 과정을 간소화 시켜 개발 비용을 절감하고 개발 시간을 단축합니다. 특히 ISO 26262의 요구사항들을 지원하고 있으며, BTC 솔루션 이용 시 다음과 같은 이점을 얻을 수 있습니다.

주요특징

- 코드 커버리지 기반의 테스트 케이스 분석 및 자동 생성- 생성된 테스트 케이스의 실시간 코드 커버리지 분석 및 테스트 케이스 자동 생성- Back-to-Back Test 수행 및 자동 결과- 요구사항 기반 테스트 수행(Requirement Based Test)- Formal Specification & Verification- 검증 결과에 대한 상세 Report 제공- IEC 61508(SIL Level 3 및 4), 자동차 분야의 기능 안전 규격 ISO 26262에서 요구하는 안전기준을 충족하는 시스템 개발 프로세스에 적합

주요기능

Back-to-Back 테스트 Workflow

코드 커버리지 기반의 자동 생성된 테스트 케이스 분석 화면

Back-to-Back 테스트 결과 자동 판단

BTC EmbeddedPlatform의 ISO 26262 part6 지원 영역

Model Checking 방식을 이용한 Formal Verification

특징 및 장점

- TargetLink/Simulink/Stateflow와 유연한 통합- 커버리지에 대한 완벽 대응(Statement, Branch, MC/DC)- 잘못된 고정 소수점 스케일링 및 Divided by zero, Down case검출- 코드 및 형식화된 요구사항을 분석하여 테스트 케이스 자동 생성- Excel뿐만 아니라 IBM® Rational® DOORS® 와 PTC Integrity등의 툴과 직접 연계하여 요구사항 연동 가능- Back-to-Back 테스트 자동 실행(MIL/SIL/PIL) 및 결과 판단- 코드의 Unreachable영역을 검출하여 효율적인 코드 생성 가능- 도달 가능성 체크 : 차트 내 임의의 도달 가능성 및 최단 도달 단계에 대해 정적으로 검증

주요 고객

기술기사

  • [Automotive Electronics] ISO26262 인증의 효과적 테스트 방법
    바로가기
제 품문 의
top