SW V&V Center

서비스 특징

1

국제 표준 인증 기반 검증 서비스 제공

국제 표준에 기반한 검증 서비스를 제공하며, 인증 획득을 위해 지원

2

검증 자동화 구축

프로젝트 특성에 맞는 효율적인 검증 프로세스 구축 지원

3

요구사항 기반 테스트 케이스 설계

요구사항과 테스트 케이스 간의 양방향 추적 가능

4

검증 프로세스 교육

다양한 프로젝트 경험을 바탕으로 실무 중심의 가이드

주요 서비스

1

정적 시험

소프트웨어를 실행하지 않고 소스 코드, 설계 문서, 산출물을 분석하여 코딩 규칙 위반, 잠재적 결함, 구조적 문제를 사전에 식별함으로써 개발 초기 단계에서 소프트웨어 품질을 확보하는 시험 입니다.

■ 코딩 규칙 준수 검증
- Misra C.C++, AUTOSAR, Secure Coding 등 국제 표준 검증, 분석 및 준수 가이드
- 소스 코드 메트릭 점검, 분석 가이드
- 조직 별/프로젝트 별 코딩규칙 제정 가이드

■ 실행 시간 오류 및 구조 검증
- MIRE의 CWE658/659/660 검증, 분석 및 개선 가이드
- 소스 코드 구조 분석을 통한 개선 가이드
- 소스 코드 분석을 통한 개선 가이드 (Dependency Structure Matrix 등)

2

동적 시험

실제로 소프트웨어를 실행하여 요구사항 충족 여부, 기능 동작, 오류 발생 여부를 검증하는 시험 기법입니다. 실제 사용 환경을 고려한 시험을 통해 잠재적인 결함을 식별하고 소프트웨어의 신뢰성과 안정성을 확보합니다.

■ 동적 시험 전략 수립 및 시험 환경 구성
- 효율적 시험을 위한 시험 전략 수립(Simulator, Target Resource, Regression Test 등)
- 시험 수준 결정 가이드 : SIL Level 결정
- 시험 환경 구성(Host / Target 시험 환경 구성)

3

보안 대응

소프트웨어 및 시스템에서 존재할 수 있는 보안 취약점을 사전에 식별하고, 위협 요소를 분석하여 보안 사고를 예방하고 시스템의 안전성을 확보하기 위한 검증 서비스입니다.

■ 자동차 보안 요구사항 분석

■ 보안 성적서 제출을 위한 시험 방법 제안

■ 제어기(ECU)별 사이버 보안 스펙 대응

■ 사이버 보안 확보/ 시험성적서 제출을 위함 서비스 진행
- 제어기 보안 리프로그램 기능 사양
- 제어기 일반 보안 사양
- HSM 기능 사양

4

모델 검증

■ 모델 분석 및 검증 전략 수립
- 모델 가이드라인 및 고객사 기준에 따라 검증 목적과 범위를 정의
- 개발 일정 및 가용 자원 분석하여 효율적인 검증 계획 수립

■ 모델 분석
- MAB, MISRA 등의 여러 가이드라인 기반 분석
- 분석한 결과로 가이드라인 준수를 위한 모델 수정

■ 모델 검증
- 모델 검증 및 코드 검증에서 모두 사용 가능한 TC 설계
- 모델-코드 검증 결과 비교로 정합성 확보

5

아키텍쳐 설계

■ 계층적 아키텍쳐 모델링
- 시스템, 기능, 논리, 소프트웨어 계층을 구조적으로 모델링

■ 요구사항 추적성 관리
- 요구사항과 아키텍쳐간 양방향 추적성 확보

■ 검증 친화적 모델
- 검증까지 고려한 아키텍처 모델링으로 시험 시나리오 도출 및 검증 자동화에 유리한 환경 제공

기술 노트

시스템 소프트웨어 개발

[SW검증센터] SW 품질향상을 위한 개발 프로세스(1) - 프로젝트 계획 수립 [출처] [SW검증센터] SW 품질향상을 위한 개발 프로세스(1) - 프로젝트 계획 수립

안녕안녕하세요. 🤗 임베디드 소프트웨어 검증 센터를 운영하고 있는 MDS인텔리전스 입니다. 소프트웨어 분야에서는 프로젝트 계획을 사전에 체계적으로 수립하는 것에 대해 곤란함을 호소하는 경우가 종종 있습니다. 상위 수준에서 개략적인 일정 계획만 정리하고 계획 수립 단계를 마무리하는 경우를 흔히 볼 수 있는데, 이는 어떤 항목을 구체적으로 계획해야 하는지 모

##소프트웨어 #소프트웨어검증 #소프트웨어품질 #개발프로세스 #소프트웨어개발프로세스 #WBS #WorkBreakdownStructure

SW검증 담당자 2026년 01월 09일

시스템 소프트웨어 개발

[SW검증센터] 무기체계 SW 획득을 위한 정적 시험

안녕하세요. 🤗 임베디드 소프트웨어 검증 센터를 운영하고 있는 MDS인텔리전스 입니다. 방위사업청이 고시한 ‘무기체계 소프트웨어 개발 및 관리 매뉴얼(2022.12.22)’은 방위력개선사업으로 획득되는 소프트웨어의 체계적인 개발 및 관리를 위한 프로세스와 산출물 작성표준 등을 규정하기 위한 목적을 가지고 있습니다. 이번 포스팅에서는 무기체계 소프트웨어 획

SW검증 담당자 2026년 01월 05일

시스템 소프트웨어 개발

[SW검증센터] SW 개발 프로세스와 테스트(2) – 단위 테스트

안녕안녕하세요. 🤗 임베디드 소프트웨어 검증 센터를 운영하고 있는 MDS인텔리전스 입니다. 이번 포스팅에서는 임베디드 소프트웨어 개발 프로세스와 테스트에서 단위 데스트 관련하여 알려드리겠습니다. 혹시~? 앞의 이어지는 글을 확인 하셨나요? 아래 컨텐츠를 확인해 보시고 오시면 이해가 쏙쏙! 👍 🔎 연재글 [SW검증센터] SW 개발 프로세스와 테스트(1)

#동적시험 #동적검증 #단위시험 #통합시험 #SWTEST #SW품질 #UnitTesting #ESSPEC #VectorCAST #ISO26262 #ASPICE

SW검증 담당자 2025년 12월 26일

시스템 소프트웨어 개발

[SW검증센터] SW 개발 프로세스와 테스트(1) - 동적검증

안녕하세요. 🤗 임베디드 소프트웨어 검증 센터를 운영하고 있는 MDS인텔리전스 입니다. 이번 포스팅에서는 임베디드 소프트웨어 개발 프로세스와 테스트 관련하여 알려드리겠습니다. 테스트의 필요성 국내 임베디드 시스템 개발 분야에서 SW 테스트의 중요성은 점점 증가되어, 개발 프로세스 내에 테스트가 기본중의 기본으로 자리 잡혀 있습니다. 그것은 SW 제품의 신

#소프트웨어 #소프트웨어품질 #동적검증 #동적시험 #단위시험 #통합시험 #SW품질 #SWTEST #UnitTest #ESSPEC #VectorCAST #ISO26262 #ASPICE #vmdel

SW검증 담당자 2025년 12월 26일

시스템 소프트웨어 개발

[SW검증센터] A-SPICE 4.0 프로세스 개요

안녕하세요. 🤗 임베디드 소프트웨어 전문 기업, MDS인텔리전스입니다. 2023년 11월, A-SPICE 4.0 버전이 배포되면서 자동차의 소프트웨어 개발 프로세스에서 A-SPICE 인증 및 대응이 더욱 중요시되었습니다. A-SPICE의 개요와 함께 MDS인텔리전스의 임베디드 SW 검증센터에서 A-SPICE 대응을 위해 수행하고 있는 프로세스에 대해 설명

##ASPICE #소프트웨어검증 #단위시험 #단위테스트 #MDS인텔리전스 #엠디에스인텔리전스 #ASPICE #소프트웨어검증 #단위시험 #단위테스트

SW 검증센터 2025년 12월 26일