당사의 소프트웨어 검증 센터는 20여 년간의 소프트웨어 검증 노하우와 풍부한 경험을 보유한 전문 인력을 보유하고 있으며, 국제적으로 인증된 소프트웨어 검증 도구를 활용한 검증 서비스를 제공합니다. 또한 이러한 검증 도구는 당사에서 해외 제조사와 협력하여 직접 판매 및 기술 지원을 하고 있어 보다 신속하고 신뢰성 높은 서비스가 가능합니다.
실제로 소프트웨어를 실행하여 요구사항 충족 여부, 기능 동작, 오류 발생 여부를 검증하는 시험 기법입니다. 실제 사용 환경을 고려한 시험을 통해 잠재적인 결함을 식별하고 소프트웨어의 신뢰성과 안정성을 확보합니다.
■ 동적 시험 전략 수립 및 시험 환경 구성
• 효율적 시험을 위한 시험 전략 수립(Simulator, Target Resource, Regression Test 등)
• 시험 수준 결정 가이드 : SIL Level 결정
• 시험 환경 구성(Host / Target 시험 환경 구성)
■ 모델 분석 및 검증 전략 수립
• 모델 가이드라인 및 고객사 기준에 따라 검증 목적과 범위를 정의
• 개발 일정 및 가용 자원 분석하여 효율적인 검증 계획 수립
■ 모델 분석
• MAB, MISRA 등의 여러 가이드라인 기반 분석
• 분석한 결과로 가이드라인 준수를 위한 모델 수정
■ 모델 검증
• 모델 검증 및 코드 검증에서 모두 사용 가능한 TC 설계
• 모델-코드 검증 결과 비교로 정합성 확보
기술 노트
시스템 소프트웨어 개발
[SW검증센터] 코드 한 줄이 만드는 차이: 실제 코드 검증으로 잡아낸 치명적인 오류와 가이드
소프트웨어 검증 업무를 하다 보면 종종 이런 질문을 받습니다. " 컴파일도 잘 되고 기능 테스트도 다 통과했는데, 왜 굳이 단계별로 코드를 검증하고 커버리지까지 확인해야 하나요? " 답은 간단합니다. 눈에 보이는 정상적인 시나리오에서는 시스템이 잘 돌아가지만, 특정 조건이나 예기치 못한 데이터가 들어오는 '임계점의 순간'에 시스템을 다운시키는 시한폭탄 같은
swtest@mdsit.co.kr
시스템 소프트웨어 개발
[SW검증센터] 자율주행을 위한 SOC 차량용 반도체 : 핵심 기술과 역할
오늘날의 SoC는 자율 주행차 뿐만 차량의 다양한 전자 시스템에서도 핵심적인 역할을 하고 있습니다. 각 자동차 제조사들은 SoC를 통해 자율주행 기술을 고도화하며, 기존의 차량 제어 시스템을 혁신하고 있습니다. 또한, 반도체 제조업체들은 자율주행차의 요구사항을 충족하기 위해 더욱 발전된 SoC칩을 개발하고 있습니다. 이번 시간에는 차량용 반도체 SoC에 대
swtest@mdsit.co.kr
시스템 소프트웨어 개발
[SW검증센터] 자율주행을 위한 SOC 차량용 반도체 : 핵심 기술과 역할
오늘날의 SoC는 자율 주행차 뿐만 차량의 다양한 전자 시스템에서도 핵심적인 역할을 하고 있습니다. 각 자동차 제조사들은 SoC를 통해 자율주행 기술을 고도화하며, 기존의 차량 제어 시스템을 혁신하고 있습니다. 또한, 반도체 제조업체들은 자율주행차의 요구사항을 충족하기 위해 더욱 발전된 SoC칩을 개발하고 있습니다. 이번 시간에는 차량용 반도체 SoC에 대
swtest@mdsit.co.kr
시스템 소프트웨어 개발
[SW검증센터] 안전한 SW를 위한 한 걸음, 테스팅 표준 (ISO/IEC/IEEE-29119 Part.3 Test Documentation)
이번 테크노트에서는 ISO/IEC/IEEE 29119 표준의 part.3에 대해서 살펴보고자 합니다. Part.3은 Part.2에서 정의한 시험 프로세스(조직, 관리, 동적)에서 작성·관리되어야 하는 테스트 문서(Test Documentation)의 양식과 포함 항목을 표준화한 문서입니다. 즉 어떠한 산출물을, 어떠한 형식으로, 어떠한 정보를 담아서 작성
swtest@mdsit.co.kr
시스템 소프트웨어 개발
[SW검증센터] 효과적인 소프트웨어 검증을 위한 문서 품질 확보
문서 기반 검증, 왜 중요한가? 소프트웨어 검증 업무를 수행하다 보면 종종 이런 상황을 마주하게 된다. “코드는 구현되어 있는데, 무엇을 기준으로 검증해야 하지?” 테스트를 수행하기 위해서는 정상 동작의 기준이 필요하다. 그리고 그 기준이 되는 것이 바로 요구사항 명세서, 설계서, 인터페이스 문서와 같은 개발 문서이다. 많은 사람들이 소프트웨어 검증을 단순
swtest@mdsit.co.kr
시스템 소프트웨어 개발
[SW검증센터] ISO 21448 & SOTIF 이해하기
최근 몇 년 사이 자동차 기술은 눈부시게 발전했습니다. 차선 유지 보조, 자동 주차, 앞차와의 거리를 조절하는 어댑티브 크루즈 컨트롤 등 첨단 운전자 보조 시스템(ADAS)은 이제 많은 차에 기본적으로 탑재되고 있으며, 완전 자율주행 자동차 시대도 멀지 않은 듯 합니다. 자동차가 스스로 주변 환경을 인식하고 판단하며 움직이는, 그야말로 ‘똑똑한 자동차’의
실차에서 드러나는 진짜 문제들 HIL, SIL, MIL 테스트를 아무리 충실히 수행해도, 실차 테스트에 들어가면 전혀 예상 못 한 소프트웨어 결함들이 튀어나오는 경우가 많습니다. 이는 단순히 테스트가 부족해서가 아니라, 테스트 환경이 실제 상황을 완전히 재현하지 못했기 때문입니다. 실제 차량은 하드웨어 노이즈, 네트워크 타이밍, 사용자 조작 등 다양한 변수
이번 포스팅에서는 자동차 소프트웨어에서 자주 발생하는 보안 약점 유형과 실제 사례를 소개해 드리고자 합니다. 자동차 소프트웨어 보안이 중요한 이유 오늘날 자동차는 단순한 기계 장치가 아닙니다. 수십 개의 ECU(Electronic Control Unit)와 수백만 줄의 코드로 구성된 거대한 움직이는 컴퓨터입니다. 이러한 복잡한 임베디드 시스템이 해킹된다면,
소프트웨어 시험은 소프트웨어의 품질을 보증하기 위해 다양한 테스트 방법을 활용하여 버그를 찾아내고 요구사항 충족 여부를 평가하는 과정입니다. 이 과정에서는 실행 환경에서 소프트웨어를 다양한 방식으로 평가하며, 주요 특징은 다음과 같습니다 01. 실행 기반 테스트 소프트웨어 코드를 실제로 실행하여 오류를 발견하고, 동작을 검증합니다. 02. 입력과 출력 평
#소프트웨어테스팅도구#소프트웨어테스트변화#소프트웨어테스팅#SW테스팅#SW테스터
SW검증팀
시스템 소프트웨어 개발
[SW검증센터] 소프트웨어 테스팅의 독립성
소프트웨어 개발 과정에서 테스팅은 필수적인 요소입니다. 테스팅은 개발자, 테스터 엔지니어 등 다양한 주체가 수행할 수 있습니다. 어떤 주체가 테스팅을 수행하는지에 따라 독립성의 수준이 달라지게 됩니다. 이번 글에서는 ISTQB (International Software Testing Qualifications Board)에서 다루는 테스팅의 독립성에 대해