소프트웨어 개발단계별 검증 자동화를 통해 소프트웨어의 신뢰성을 보장하는 솔루션

 


요구사항 추적관리

– 소프트웨어의 요구사항 도출, 분석 및 관리
– 소프트웨어 개발 프로세스 전반에 걸친 요구사항 추적/관리 기능
– 요구사항의 양방향 추적을 위한 Upstream과 Downstream 영향 분석 기능
– 국제 표준 규격(DO-178C, ISO 26262 등)의 요구사항 관리 기능


정적 분석

– 국제 표준 코딩룰(MISRA, CWE, CERT 등)을 적용하여 잠재적 결함 검출
– 소프트웨어 품질 측정을 위한 Metrics 지원
– Call Graph, Flow Graph를 통한 설계 검토
– 매개변수 및 사용자 변수 데이터 흐름의 파악을 통한 위험 데이터 검토


단위 및 통합 시험

– 소프트웨어의 구조적 검증 및 기능 시험 수행
– Test Driver, Test Harmess, Test Vector 자동 생성
– Unit/Integration/Regression Test 수행을 위한 Host-Target 환경 구축 지원
– 테스트 케이스 생성 및 테스트 Pass/Fail 확인


프로세스 준수관리

– 항공 국제 표준(DO-178C/278A/254)에 따른 SW 개발 프로세스 준수 확인
– 개발 산출물 문서 템플릿 지원
– FAA DER의 산출물 검토 의견 지원
– 개발 산출물 검토 체크리스트 지원