소프트웨어 신뢰성 솔루션

무기체계 소프트웨어 개발 단계별 핵심활동에대한 컨설팅 수행

요구사항 분석/도출(Requirement)

  • SW 안전성(Safety), SW 신뢰성(Reliability), SW 품질요소(Quality)에 대한 요구사항 분석 및 도출
  • SW 요구사항명세서(SRS) 작성지원

SW 구조 및 상세 설계(Design)

  • 최적화 설계 기법 적용
  • SW 설계기술서(SDD), SW 단위시험계획서(STP), SW 통합시험계획서(STP) 작성지원

소스코드 구현(Coding)

  • SW 품질 Metrics 정량적 목표 달성
  • SW 신뢰도(Reliability) Factor 수집/분석
  • SW 신뢰성 확보 활동 수행
  • SW 신뢰도 예측/검증

SW 규격화(Standardization)

  • 국방규격화 대상 기술문서 9종 제출
  • SW 요구사항명세서(SRS), SW 설계기술서(SDD)포함 9종 작성 지원

SW 신뢰성 시험(Test)

  • 정적시험(코딩규칙 검증, 취약점 점검, 소스코드 메트릭 점검) 수행
  • 동적시험(실제 하드웨어에 탑재하여 요구사항기반 코드 실행률 점검) 수행
  • SW 신뢰성 시험 3자 검증 정적/동적 시험 프로세스 구축 및 수행
  • SW 통합시험결과서(STR), SW 통합시험계획서(STP), SW 통합시험절차서(STD) 작성지원

국방 소프트웨어 신뢰성 시험 항목

코딩 규칙 검증

언어별 관련 표준 코딩규칙, 방사청코딩규칙(공통적용규칙 46개, C 전용규칙 5개, C++전용규칙 15개) 검증

취약점 점검

언어별 CWE 항목 점검 CWE-658©/659(C++)/660(JAVA)

소스코드 메트릭 (Code Metrics) 점검

Cyclomatic Complexity, Number of Call Levels를 포함한 방사청이 제시하는 6개의 메트릭 점검

요구사항 기반동적시험

SW를 실제 하드웨어(Target)에 탑재하여 요구사항기반 코드 실행률(문장, 분기, MC/DC) 점검

기능

요구사항 추적관리
  • 소프트웨어의 요구사항 도출, 분석 및 관리
  • 소프트웨어 개발 프로세스 전반에 걸친 요구사항 추적/관리 기능
  • 요구사항의 양방향 추적을 위한 Upstream과 Downstream 영향 분석 기능
  • 국제 표준 규격(DO-178C, ISO 26262 등)의 요구사항 관리 기능
정적분석
  • 국제 표준 코딩룰(MISRA, CWE, CERT 등)을 적용 잠재적 결함 검출
  • 소프트웨어 품질 측정을 위한 Metrics 지원
  • Call Graph, Flow Graph를 통한 설계 검토
  • 매개변수 및 사용자 변수 데이터 흐름을 파악하여 위험 데이터 검토
단위 및 통합시험
  • 소프트웨어의 구조적 검증 및 기능 시험 수행
  • Test Driver, Test Harness, Test Vector 자동 생성
  • Unit/Integration/Regression Test 수행을 위한 Host-Target 환경 구축 지원
  • 테스트 케이스 생성 및 Pass/Fail 테스트 수행
  • DO-178C의 Data Coupling/Control Coupling
프로세스 준수관리(LCS)
  • 항공 국제 표준(DO-178C/278A/254)에 따른 개발 프로세스 준수 확인
  • 개발 산출물 문서 템플릿 지원
  • FAA DER의 산출물 검토 의견 지원
  • 개발 산출물 검토 체크리스트 지원

솔루션 담당: 장정훈 부장 02.6945.2120 jhjang@moasoftware.co.kr