메뉴건너뛰기


국방 무기체계 소프트웨어 시험

방위사업청 ‘무기체계 소프트웨어 개발 및 관리 매뉴얼’의 신뢰성 시험 기준에 따라 소프트웨어 신뢰성 시험 및 Solution

 

개요

방위사업청 ‘무기체계 소프트웨어 개발 및 관리 매뉴얼’의 신뢰성 시험 기준에 따라 소프트웨어 신뢰성 시험 및 Solution을 제공합니다.

 

 

일정·기준 수립

전체 시험 일정 협의
  • 시험 규모 및 범위 확인, 개발 대상 언어 점검 (C, CPP, C#, JAVA), 개발방법론 확인(MBD, CBD 등), SW Level 등급 점검을 통해 전체 시험 일정 협의를 진행

 

정적시험

Coding Rule 선정
  • 체계 개발 시 적용할 Coding Rule 선정 Consulting을 진행

 

신뢰성 시험(정적) 제공
  • 국제 표준 코딩 룰(MISRA, CWE, CERT 등)을 적용하여 잠재적 결함(코딩 규칙 위배, Runtime Error) 검출 Call Graph, Flow Graph를 통한 설계 검토 매개변수 및 사용자 변수 데이터 흐름의 파악을 통한 위험 데이터 검토 잠재적 결함 검출 시 SW 수정 후 정적 분석 재 수행

 

동적시험

시험계획 작성 지원
  • 소프트웨어 신뢰성 시험 대상 판단 및 목표 값 설정 등 시험계획 작성 지원

 

시험 환경 구축
  • 개발환경과 동일한 Target 연동 환경 구축

 

신뢰성 시험(동적) 제공
  • 요구사항, 구조적 기반의 Test Case 도출 자동화 생성을 위한 Test Case 작성 생성된 TCF파일, LDRA, Target 장비를 활용하여 Statement Coverage, Branch Coverage, MC/DC 시험 수행 결함 발견 시 SW 수정 후 정적분석, 동적분석 재 수행

 

※ 소프트웨어 신뢰성 및 품질 향상을 위한 Requirement Coverage, Function coverage 산출
※ 소프트웨어 신뢰성 시험 결과에 대한 공인인증서 발급 제공

 

검수지원

소프트웨어 통합시험 결과서 검토
  • 적용도구 및 평가 기준 확인 방어코드 및 코드 실행률 미 달성 항목에 대한 설명 첨부 자동화 도구 시험 결과 보고서 첨부

 

정적 시험 실사 체크리스트 점검
  • 정적 시험 도구 버전 및 시험대상 파일 일치 여부 확인 프로젝트의 코딩규칙과 도구에서 제공하는 코딩규칙간 매핑 관계 확인

 

동적 시험 실사 체크리스트 점검
  • 도구 버전 확인 및 소프트웨어 신뢰성시험 결과서와 도구 산출 결과 일치 확인 동적 수행 환경 및 실제 타겟 환경 일치 확인
방위사업청/국방과학연구소 주관 검수 일정 지원