효율적인 소프트웨어 개발 프로세스 구축과 함께 개발 단계별 검증이 가능하도록 다양한 자동화 소프트웨어 솔루션을 제공합니다.
1. 개요
설계 기반 기능 검증과 구조적 검증으로 소프트웨어의 안전성과 신뢰성을 확보할 수 있습니다.
2. 특징 및 장점
2-1 단위/통합 시험
- 소프트웨어의 기능 / 구조적 검증을 위한 단위 시험 수행
- 모듈 통합 및 인터페이스 검증을 위한 통합 시험 수행
- Coverage 측정: Statement, Branch, MC/D, Procedure/Function Call 등 Test Driver,
- Test Harness, Test Vector 자동 생성 및 Stub 처리 기능
- 테스트 케이스 생성 및 Pass / Fail 테스트 실행
- Regression(회귀) 테스트 가능
2-2 시험 환경 구축
- 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 등
2-3 시험 자동화
- TBeXtreme
– Test Case 자동 생성, 수행 기능 지원
– Standard Extreme Test, Tabular Extreme Test 지원
2.4 종합 리포트
- TBpublish
– 정적분석, 동적시험 결과를 통합한 결과 리포트로 편의성 제공
– Code Review, Quality Review, Design Review Report, Dynamic Coverage Report 등
2.5 Design Review
- Call Graph를 통한 함수 및 클래스의 관계 파악
- Flow Graph를 통한 알고리즘 파악
- 매개변수 및 사용자 변수 데이터 흐름을 파악하여 위험 데이터 검토
3. 적용분야
4. 주요고객
