- 솔루션담당 장정훈 부장 02.6945.2120 jhjang@moasoftware.co.kr 기술지원 담당 강유선 팀장 02.6945.2141 yskang@moasoftware.co.kr
개요
방위사업청 ‘무기체계 소프트웨어 개발 및 관리 매뉴얼’의 신뢰성 시험 기준에 따라 소프트웨어 신뢰성 시험 및 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 산출
※ 소프트웨어 신뢰성 시험 결과에 대한 공인인증서 발급 제공
검수지원
소프트웨어 통합시험 결과서 검토
- 적용도구 및 평가 기준 확인 방어코드 및 코드 실행률 미 달성 항목에 대한 설명 첨부 자동화 도구 시험 결과 보고서 첨부
정적 시험 실사 체크리스트 점검
- 정적 시험 도구 버전 및 시험대상 파일 일치 여부 확인 프로젝트의 코딩규칙과 도구에서 제공하는 코딩규칙간 매핑 관계 확인
동적 시험 실사 체크리스트 점검
- 도구 버전 확인 및 소프트웨어 신뢰성시험 결과서와 도구 산출 결과 일치 확인 동적 수행 환경 및 실제 타겟 환경 일치 확인
방위사업청/국방과학연구소 주관 검수 일정 지원