Proven by Intelligence
보이지 않는 안전을 인텔리전스로 증명하다.
기술 인사이트를 만나보세요.
소프트웨어 검증에 관한 질문 TOP3 in AFMSC 2025
저희 MDS인텔리전스는 최근 Automotive & Future Mobility SW Conference 2025를 성공적으로 개최 마무리 하였습니다.
2025년 5월 28일, 서울 양재동 엘타워에서 열린 이 행사에서는 자동차 소프트웨어 개발자들을 대상으로 '안전하고 신뢰할 수 있는 자동차 소프트웨어 개발 방안’을 주제로 발표가 진행되었고,
Safety&Security와 Process 2가지 Track으로 진행하여 SDV(Software Defined Vehicle) 대응을 위한 사례 및 전략 방안으로 많은 개발자분들의 호응을 얻었습니다.
이번 시간에는 전시 부스 운영을 통해 검증에 대한 고객분들의 다양한 질문들 중 TOP3에 대해 안내해 드리도록 하겠습니다.
1. 단위 검증에서의 Interface Test란?
위 질문 내용은 기존 전자, 인포, 샤시의 3가지 스펙으로 나뉘었던 시기에 샤시 ES스펙에서 볼 수 있었던 내용으로 이해할 수 있으며, 현재 국내 자동차 ES스펙의 동적 검증 항목은 통합 및 표준화 작업으로 보다 명확하게 분석되고 있습니다.
통합된 스펙에서는 동적 검증의 단위검증 항목에서 Interface Test가 제외되며, 통합 검증 내 포함되는 항목으로만 확인할 수 있습니다.
2. 요구사항 기반의 TestCase는?
동적검증시 요구사항 기반의 TestCase를 설계해야 이유는 기능안전 관리를 위한 품질 확보 활동의 일환으로 요구사항 – 설계 - 테스트 간의 추적성이 모두 가능한 시험이 진행되어야 하기 때문입니다.
그러므로 요구사항 기반의 TestCase는 SW의 기능이 요구사항에 맞게 구현되었는지 고려되어야 하며, 설계의 내용대로 입력과 출력이 확인되는지 검토되어야 합니다.
하지만, 개발자는 빠르게 돌아가는 개발 단계에서 품질 조기 확보를 위해, 검증의 타이밍과 방법에 대해 고민하고 적절한 방안을 찾아야 합니다.
그에 대한 방안으로 저희 MDS인텔리전스에서는 요구사항 기반의 시험이 가능하도록 지원하는 다양한 도구를 취급하고 있으며, 소프트웨어 검증센터에서는 검증 서비스를 진행하고 있습니다.
3. Rust 언어를 검증하는 방법은?
Rust 언어는 단위시험과 정적시험을 진행할 수 있으며, 단위 시험은 Rust내에 내장되어 있는 기능을 사용할 있습니다. 또한 정적시험은 Rust 정적 분석을 지원하는 도구가 다양하게 있기 때문에, 코드 품질과 오류 탐지를 위한 목적에 맞는 도구를 찾아 사용하는 것이 가능 합니다.
저희 MDS인텔리전스는 정적 분석 도구인 CodeSonar를 통해 Rust 분석을 지원하고 있습니다.
CodeSonar는 Rust 언어에 대한 정적 분석을 공식적으로 지원하며, 2024년 4월 3일 발표된 CodeSonar 8.1 버전부터 Rust를 포함한 Kotlin, Python, Go, JavaScript, TypeScript 등 다양한 언어에 대한 분석 기능이 추가 되었습니다 .
마무리 하며
소프트웨어를 통한 새로운 가치적 기능들이 사용자에게 지속적으로 제공되려면, SW 개발 속도 향상 및 품질 확보가 필수가 되어야 합니다.
MDS인텔리전스의 소프트웨어 검증센터는 다양한 제어기에 대한 검증 서비스를 진행하고 있으며, 다양한 검증 도구를 통해 인증에 대비하실 수 있도록 다각도로 지원 드리고 있습니다.
이번 포스팅 혹은 구체적인 검증 서비스 관련하여 궁금하신 사항이 있으시다면 sve@mdsit.co.kr로 문의 메일 보내주시길 바랍니다.
고객분들의 SDV로 나아가는 길목에서 발 빠르게 대처하여 품질 확보 활동에 도움이 되도록 노력하겠습니다.
MDS인텔리전스
임베디드 소프트웨어 고품질 및 신뢰성 확보를 위한, SW 검증센터
E. sve@mdsit.co.kr
