SW 개발도구

  • SW개발도구
  • BTC
제품문의

EmbeddedTester

개요

BTC 제품은 툴 체인화를 통해 요구사항 생성부터 모델 자동 생성 코드에 대한 검증까지의 개발과정을 간소화시켜 개발 비용을 절감하고 개발 시간을 단축시킵니다.

Embedded Tester는 코드 분석을 통해 Test Vector를 자동으로 생성합니다. 그리고 자동화된 Requirement Based Test 및 Back-to-Back Test와 함께 Statement, Branch, Condition, MC/DC 등의 Code coverage를 지원합니다. Statement, Branch, Condition, MC/DC 등 Code coverage를 지원합니다.

개요

Embedded Validator

개요

Embedded Validator는 특정 속성에 대한 디자인의 동적 동작을 확인하는 기술인 Model Checking을 사용하여 모델이 요구사항에 맞게 구현되어 있는지를 검증합니다.

특징 및 장점

  • 범위 위반 해석: 임의의 변수가 지정 범위 외의 값을 취할 가능성을 정적으로 검증
  • 도달 가능성 체크: 차트 내 임의의 도달 가능성 및 최단도달단계에 대해 정적으로 검증
  • TargetLink를 이용해서 Simulink/Stateflow 모델을 정확히 수학적으로 번역하여, 해당 기술의 요구사항 만족 여부를 정적으로 검증
  • 다양한 형태의 리포트 생성 기능
개요

Embedded Specifier

개요

Embedded Specifier는 비형식적 기술(Informal)부터, 준형식 기술(Semi-formal), 형식 기술(Formal)을 지원하여, 개발 초기부터 안전성을 중요시하는 엔지니어에게 적합한 툴입니다. 자연어 기술된 요구사항을 컴퓨터가 해독 가능한 언어로 변환합니다. 요구사항에 근거한 테스트 실행 결과 평가를 자동화합니다.

특징 및 장점

  • IBM® Rational® DOORS® 와 PTC Integrity등의 툴과 직접 연계하여 대응
  • 전체 성과물들을 일관되게 연결하여 지속적인 추적이 가능
  • 진단 유닛(C-Observer)의 자동생성
  • 형식화 된 요구사항에 근거한 테스트 케이스의 자동생성
개요

주요 고객

개요