소프트웨어검증
1. 개요
국방, 항공, 자동차, 철도, 원자력, 의료 등 다양한 분야의 소프트웨어의 잠재적 결함과 고장을 식별하기 위한 정적 분석과 동적 시험을 진행합니다. 또한 IEC 61508, EN 50128, ISO 26262, DO-178C 등 국제 표준 규격에서 요구하는 소프트웨어의 안전성과 신뢰성을 확보할 수 있는 검증 및 검증 솔루션을 제공합니다.
2. 소프트웨어 검증 절차
정적분석
소프트웨어 국제 표준 코딩률 적용
국제 표준 코딩률(MISRA), 실행시간오류(CWE)등
소프트웨어 품질 검토
복잡성, 유지보수성, 시험가능성 산출
소프트웨어 설계 검토
Call Graph, Flow Graph, 위험 Data 분석
동적분석
시험 환경 구축
개발환경과 동일한 Target 연동 환경 구축
Test Case 설계
요구사항, 구조적 기반의 Test Case 도출
Test Case 생성
자동화 생성을 위한 Test Case 작성 템플릿 지원
동적시험 수행
생성된 TCF파일, LDRA, Target 장비를 활용하여
시험 수행
3. 정적분석 절차
4. 동적시험 절차
단위, 통합 시험 자동화 솔루션으로 최적화된 시험 환경과 결과 제공
5. 적응분야
5. 주요고객
