소프트웨어의 잠재적 결함 검출과 품질 측정 결과를 제공하는 정적분석 솔루션. 1300 개 이상의 국제 표준 코딩 룰을 이용하여 잠재적 결함을 검출하고, 60여 개의 SW 품질 메트릭스를 측정합니다.

  • Code Review
    • 잠재적 결함 검출
    • 국제 표준 코딩룰 적용
    • MISRA C/C++, CWE 등 지원
  • Quality Review
    • 소스코드 메트릭 기준 적용
    • 소스코드 품질 측정
    • 명확성, 시험가능성, 유지보수성 메트릭 산출
    • 무기체계 SW 개발 및 관리 매뉴얼의 ‘소스코드 메트릭’ 산출
  • Design Review
    • 설계와 코드 일치성 확인
    • 코드의 시각화 검토
    • 위험 데이터 검토

Code Review

– 국제 표준 코딩룰을 이용한 잠재적 결함 검출
– 1,300개 이상의 코딩룰 지원
– 산업표준 코딩룰 위반사항 점검
– 검출된 결함의 소스코드 추적 기능 제공


Quality Review

– 소프트웨어 품질 측정을 위한 60개 이상의 Metrics 지원
– 소프트웨어 품질 Metrics를 통한 코드 복잡도 산출
– 신뢰도 예측 및 시험 데이터 선정


Design Review

– Call Graph를 통한 함수 및 클래스의 호출관계 파악
– Flow Graph를 통한 소스코드 알고리즘 파악
– 매개변수 및 사용자 변수, 데이터 흐름 분석을 통한 위험 데이터 검토


TBmisra

– MISRA-C:1998, MISRA-C:2004, MISRA-C:2012 지원
– MISRA C++ : 2008, MISRA AC 지원
– JSF++ AV, High Integrity C++ DERA and IPA/SEC C 지원


TBsecure

– Secure(보안) 관련 코딩 규칙 지원
– CWE-658(C) / 659(C++) / 660(Java) 지원
– CERT C 및 CERT Java