모아소프트 로고

개요

일정·기준 수립

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

정적시험

• 체계 개발 시 적용할 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 수정 후 정적분석, 동적분석 재 수행

검수지원

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

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

• 도구 버전 확인 및 소프트웨어 신뢰성시험 결과서와 도구 산출 결과 일치 확인 동적 수행 환경 및 실제 타겟 환경 일치 확인