장비 상세정보

1. Key Feature

   • 시험 분야 : 항공 S/W 신뢰성 시험
   • AAV 비행제어, 모터제어, 자율 비행 등 AAV용으로 개발된 S/W의 신뢰성 분석 및 평가
   • AAV, 항공 SW 개발 기업에게 결과 제공 및 신뢰성 향상 방안 제공
   • 소프트웨어 개발 단계별 검증 활동 자동화 도구 지원
   • 항공용 시스템 문제 발생 시 정지 불가능 리스크가 크고 소프트웨어의 비중이 높아 DO-178C 항공용 시스템 특성을 고려하여 소프트웨어의 안정성/신뢰성 확보가 필수
   1. 신뢰성 시험 절차
   2. LDRA 장비 설치 사진

2. 요구사항 추적 관리

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

3. 동적시험

   • 소프트웨어의 구조적 검증 및 기능 시험 수행
   • Unit / Integration / Host-Target Test 지원 가능
   • 테스트 케이스 생성 및 Pass/Fail 테스트 수행
   • 자동 테스트 케이스 및 Boundary/Equivalence test

4. 정적분석

   • 국제표준 코딩률(MISRA, CWE, CERT 등)을 적용 잠재적 결함 검출
   • 소프트웨어 품질 측정을 위한 Metrics 지원
   • Callgraph를 통한 함수 및 클래스의 호출 관게 파악 기능
   • 매개변수 및 사용자 변수 데이터 흐름을 파악하여 위험 데이터 검토

5. 기타

   • 동적시험 환경 구축(Target License Package)
   • Object code 검증(TBobjectBox)
   • SW검증 도구 자격 증명 (Tool Qualification Support Pack)

6. Specification

   • 정적 시험	코딩 규칙 및 취약점 점검, 메트릭 점검
     동적 시험	구조 기반 단위/통합 시험 및 커버리지 측정, 요구사항 기반 시스템 시험 및 커버리지 측정
     CodeScrollTM STATIC	C/C++/C#/JAVA 언어 지원 코딩 규칙 검사 : MISRA C, MISRA C++, IEC 61508 등 Tool Certification : Do-178C, IEC 61508, ISO 26262, IEC 60880, IEC 62304 등
     CodeScrollTM Controller Tester	C/C++언어 지원 구조 기반 단위 시험/통합 시험 Statement/Branch/MCDC/Function call 커버리지 지원 Tool Certification : Do-178C, IEC 61508, ISO 26262, Do-178C, IEC 60880, IEC 62304 등
     QualityScrollTM Cover	요구사항 기반 시스템 시험의 커버리지 측정 Statement/branch/MCDC/Functrion/Function-call/ 변경 커버리지 측정 Tool Certification : Do-178C, IEC 61508, ISO 26262, IEC 60880, IEC 62304 등
     QualityScrollTM VPES	시험 결과 자동 이력 관리