효율적인 소프트웨어 개발 프로세스 구축과 함께 개발 단계별 검증이 가능하도록 다양한 자동화 소프트웨어 솔루션을 제공합니다.
1. 개요
1300 개 이상의 국제 표준 코딩 룰을 이용하여 잠재적 결함을 검출하고, 60여 개의 SW 품질 메트릭스를 측정
2. 특징 및 장점
2-1 Code Review
- 국제 표준 코딩룰을 이용한 잠재적 결함 검출
- 1300개 이상의 코딩 룰 지원
- 검출된 결함의 소스코드 추적 기능 제공
2-2 TBmisra
- MISRA-C:1988, MISRA-C:2004, MISRA-C:2012 지원
- MISRA C++:2008, MISRA AC 지원
- JSF++ AV, High Integrity C++DERA and IPA/SEC C 지원
2-3 Quality Review
- 소프트웨어 품질 측정을 위한 Metrics 지원
- 60가지 이상의 소프트웨어 Metrics 산출
- 유지보수성, 테스트 가능성, 명확성, 복잡성 파악 가능
2.4 TBsecure
- Secure(보안) 관련 코딩 규칙 지원
- 카네기 멜론 대학 소프트웨어 공학 연구소(SEI) CERT C 지원
- Common Weakness Enumeration(CWE) 지원
2.5 Design Review
- Call Graph를 통한 함수 및 클래스의 관계 파악
- Flow Graph를 통한 알고리즘 파악
- 매개변수 및 사용자 변수 데이터 흐름을 파악하여 위험 데이터 검토
2.6 안전성 인증 획득 지원
- 국방, 항공, 철도, 원자력, 자동차 분야의 표준 규격에 적합한 도구
- 안전 관련 검증 도구로 TUV 인증 획득
- 고객환경에서 적합 사용 인증 서비스 제공 (Tool Qualification Support Pack)
2.7 LDRA Certification Drivers
3. 적용분야
4. 주요고객
