소프트웨어 검증 센터

MDS인텔리전스 소프트웨어 검증 센터는 다양한 국제 표준 준수 대응, 인증 및 고객 요구사항 준수를 위한 고품질의 검증 서비스를 제공합니다.

당사의 소프트웨어 검증 센터는 20여 년간의 소프트웨어 검증 노하우와 풍부한 경험을 보유한 전문 인력을 보유하고 있으며, 국제적으로 인증된 소프트웨어 검증도구를 활용한 검증 서비스를 제공합니다. 또한 이러한 검증도구는 당사에서 해외 제조사와 협력하여 직접 판매 및 기술지원을 하고 있어 보다 신속하고 고품질의 서비스가 가능합니다.

서비스 영역

자동차 등 모빌리티 분야	항공/유도무기 등 국방분야	철도, 전자제어 등 인프라 분야
· ISO 26262 · A-SPICE · ISO 21434	· 무기체계 소프트웨어 개발 및 관리 매뉴얼 · DO-178C · CWE 658/659	· IEC 62279 · EN 50128
· 국제표준에서 요구하는 시험 방법론 기반의 검증 용역 - 정적, 동적, 보안 등 · 국제표준 인증을 위한 산출물 가이드	· 방위사업청 규정에서 요구하는 소프트웨어 신뢰성 시험 용역 및 시험평가 지원 · 항공 표준 준수를 위한 시험 용역 - Coupling, Coverage, Rule Check 등	· SIL 레벨에 따른 소프트웨어 검증 용역 · SW 품질 향상을 위한 코딩 룰 가이드

검증 프로세스

<코딩규칙 준수 검증/실행시간 오류 검증>

코딩규칙 준수 검증	실행시간 오류 및 구조 검증
다양한 코딩 규칙(MISRA C/C++, AUTOSAR, Secure Coding 등) 검증, 분석 및 준수 가이드	MITRE의 CWE658/659/660 검증, 분석 및 개선 가이드
소스코드 메트릭 점검, 분석 및 가이드	소스코드 구조 분석을 통한 개선 가이드
조직 별/프로젝트 별 코딩규칙 제정 가이드	소스코드 구조 분석을 통한 개선 가이드 - Dependency Structure Matrix 등

정적시험 프로세스

- 정적시험 전략 수립 : 시험 목적 정의, 개발 일정 분석, 사전 교육 필요성 확인을 통한 효율적 시험 계획 수립

- 정적시험 환경 구축 : Continuous Integration, 가상화 및 ALM 연계성 고려

- 정적시험 결과 분석 및 가이드 : 결함 검토 및 개선 방안 등을 개발자와 함께 분석 및 가이드

- 개선 결과 검토 및 산출물 작성 지원: 개선 결과 Review 및 매트릭 초과 사유서 등 작성 가이드

<시험 전략 수립 및 시험 환경 구성 /통합 시험>

동적 시험 전략 수립 및 시험 환경 구성	동적 시험
효율적 시험을 위한 시험 전략 수립 - Simulator, Target Resource, Regression Test 등	Unit/System Level의 테스트 용역 - 소스코드 커버리지 : Statement, Branch, MC/DC 등 - Function & Call Coverage 커버리지
시험 수준 결정 가이드 : SIL Level 결정 등	요구사항 기반 테스트 케이스 개발 가이드 - 동등 분할 기법, 경계 값 분석 기법 등
시험 환경 구성 - Host / Target 시험 환경 구성	요구사항과 시험 결과의 추적성 확보 가이드
시험 환경 구성 - Host / Target 시험 환경 구성	시험 결과 Report 작성 지원

동적시험 프로세스

- 동적시험 전략 수립 : 시험 환경 제약 사항 확인, 개발 일정 분석, 타겟 가용성, 리소스 등을 고려한 효율적 시험 계획 수립

- 동적시험 환경 구성 : Regression Test를 고려한 시험 환경 구성

- 동적시험 Test case 개발 및 시험 : 시험 요구사항에 따른 테스트 케이스 개발 및 시험

- 동적시험 결과 분석 및 산출물 작성 : 시험 결과 분석, 추가 시험 필요성 분석, 추가 시험 및 산출물 작성 가이드

<보안 시험>

정적 보안 시험	침투 시험
국내외 OEM의 보안 코딩 요구사항 준수 여부 점검	퍼징 기술을 활용한 보안 침투 시험
CWE/CERT와 같은 ISO 21434 에서 요구하는 시큐어 코딩규칙 준수 여부 점검	다양한 차량용 통신 인터페이스(CAN/BT/WIFI/ Ethernet …)에 대한 퍼징 시험 수행
소스코드 보안 취약점 점검	알려지지 않은 보안 취약점 탐지

보안 시험 프로세스

- 보안시험 계획 수립 : OEM 요구사항에 알맞은 보안 시험 계획 수립

- 정적 보안 시험 : 정적 보안 시험 환경 구성 및 보안 시험 수행

- 침투 시험 : 퍼징 시험 환경 구성 및 침투 시험 수행

- 보안시험 결과 분석 및 산출물 작성 : 고객사 또는 OEM이 요구하는 산출물 제공

서비스 특장점

- 철저한 보안 시설과 인프라를 통한 원격 시험 가능
- - 보안룸, CCTV, VPN, 시건 장치 등
- 국내외 인증된 시험 도구 공급사로 신속・고품질의 기술 협업
- - HelixQAC, CodeSonar, VectorCAST, beSTORM, Structure101, Ranorex 등…
  숙련된 엔지니어를 통한 서비스 지원