자료실 : 한컴MDS
  • LOGIN
  • 회원가입
  • SW 개발도구
    • 디버거/컴파일러
      • TRACE32(전 세계 임베디드 시스템 디버거 분야 시장 점유율 1위)
      • Arm Solutions
      • Green Hills Software
    • SW 테스팅 솔루션
      • DT10
    • 자율주행/ADAS/ECU 개발 솔루션
      • LeddarTech(Solid-State LiDAR)
      • Cruden(Driving Simulator)
      • V2X솔루션(Cohda Wireless)
      • Danlaw(Mx-Suite)
      • Danlaw(HMI 테스트 자동화 솔루션)
      • QNX(실시간 임베디드 운영체제)
      • Cognata (자율주행 시뮬레이션 SW)
    • AUTOSAR & MBD 개발/검증 솔루션
      • mobilgene(AUTOSAR Basic SW)
      • ModelExaminer(Simulink 모델링 가이드라인 검증)
      • EmbeddedPlatform(코드 기반 동적 검증)
      • TPT(MIL/SIL/PIL/HIL/VIL 검증)
      • Reactis(Simulink 모델 기반 V&V)
  • 임베디드
    • 열화상 카메라
      • 열화상 카메라
      • 드론
        • 드론 제품
        • 페이로드
        • 드론용 열화상 카메라
      • 환경계측기
      • 파이로미터
      • 솔루션
      • 고객지원
    • 국방/항공 임베디드 SW
      • 국방/항공용 RTOS (NEOS)
    • 산업자동화 솔루션
      • 산업용 임베디드 모듈/보드/컴퓨터
      • 국방/항공/철도/의료용 시스템
      • 산업용 게이트웨이
      • HW기반 원격제어
  • IoT & AI
    • NVIDIA AI 플랫폼
      • Jetson Series
      • Autonomous Driving
      • DGX System
      • COMPUTE & VISUALIZATION
      • Partner Solution
      • NVIDIA 딥러닝 교육
        • NVIDIA 딥러닝 교육
    • 영상/음성 무전 솔루션
      • EveryTalk 솔루션
      • PTT 전용 단말기
    • Windows IoT 솔루션
      • Windows IoT OS
      • IoT 솔루션
      • VR 솔루션
    • 클라우드
      • 플랫폼
      • 솔루션
        • HashiCorp
        • Snowflake
    • 빅데이터/머신러닝/RPA 솔루션
      • Splunk
        • Splunk 소개
        • 제품소개
        • 고객지원
      • DataRobot
      • Power Automate
    • 원격 지원/제어 솔루션
      • 알서포트
  • 컨설팅
    • 교육/컨설팅/서비스
      • 국방/항공 인증 컨설팅(DO-178C/254)
      • 타이밍 분석 엔지니어링 서비스
  • 고객지원
    • 홍보센터
      • 공지사항
      • 언론보도
    • 제품문의
    • 연락처
    • 기술지원
    • 자료실
  • 회사소개
    • 회사개요
      • 회사개요
      • 인사말
      • 연혁
      • 사업부문 소개
      • 자회사/해외지사
    • 파트너/주요고객
    • IR
      • 주가정보
      • 주식정보
      • 재무정보
      • 공시정보
      • IR자료실
    • 인재채용
    • 기업문화
      • 윤리경영
      • 사회공헌
      • 기업문화
    • 찾아오시는길
ENG

Arm 공식 판매처

Arm Development Studio Keil MDK Fast Models

머신 데이터/클라우드/IoT

윈도우와 IoT 이야기 머신 데이터&클라우드 블로그 IoT Tech Tube
제품문의

SW 개발도구

디버거/컴파일러
  • - TRACE32(전 세계 임베디드 시스템 디버거 분야 시장 점유율 1위)
  • - Arm Solutions
  • - Green Hills Software
SW 테스팅 솔루션
  • - DT10
자율주행/ADAS/ECU 개발 솔루션
  • - LeddarTech
  • - Cruden
  • - V2X솔루션
  • - Danlaw(Mx-Suite)
  • - Danlaw(HMI 테스트 자동화 솔루션)
  • - QNX
  • - Cognata (자율주행 시뮬레이션 SW)
AUTOSAR & MBD 개발/검증 솔루션
  • - mobilgene
  • - ModelExaminer
  • - EmbeddedPlatform
  • - TPT
  • - Reactis

임베디드

열화상 카메라
  • - 열화상 카메라
  • - 드론
  • - 환경계측기
  • - 파이로미터
  • - 솔루션
  • - 고객지원
국방/항공 임베디드 SW
  • - 국방/항공용 RTOS (NEOS)
산업자동화 솔루션
  • - 산업용 임베디드 모듈/보드/컴퓨터
  • - 국방/항공/철도/의료용 시스템
  • - 산업용 게이트웨이
  • - HW기반 원격제어

IoT & AI

NVIDIA AI 플랫폼
  • - Jetson Series
  • - Autonomous Driving
  • - DGX System
  • - COMPUTE & VISUALIZATION
  • - Partner Solution
  • - NVIDIA 딥러닝 교육
영상/음성 무전 솔루션
  • - EveryTalk 솔루션
  • - PTT 전용 단말기
Windows IoT 솔루션
  • - Windows IoT OS
  • - IoT 솔루션
  • - VR 솔루션
클라우드
  • - 플랫폼
  • - 솔루션
빅데이터/머신러닝/RPA 솔루션
  • - Splunk
  • - DataRobot
  • - Power Automate
원격 지원/제어 솔루션
  • - 알서포트

컨설팅

교육/컨설팅/서비스
  • - 국방/항공 인증 컨설팅(DO-178C/254)
  • - 타이밍 분석 엔지니어링 서비스

고객지원

홍보센터
  • - 공지사항
  • - 언론보도
제품문의
연락처
기술지원
자료실

회사소개

회사개요
  • - 회사개요
  • - 인사말
  • - 연혁
  • - 사업부문 소개
  • - 자회사/해외지사
파트너/주요고객
IR
  • - 주가정보
  • - 주식정보
  • - 재무정보
  • - 공시정보
  • - IR자료실
인재채용
기업문화
  • - 윤리경영
  • - 사회공헌
  • - 기업문화
찾아오시는길
  • SW 개발도구
    • 디버거/컴파일러
      • TRACE32(전 세계 임베디드 시스템 디버거 분야 시장 점유율 1위)
      • Arm Solutions
      • Green Hills Software
    • SW 테스팅 솔루션
      • DT10
    • 자율주행/ADAS/ECU 개발 솔루션
      • LeddarTech(Solid-State LiDAR)
      • Cruden(Driving Simulator)
      • V2X솔루션(Cohda Wireless)
      • Danlaw(Mx-Suite)
      • Danlaw(HMI 테스트 자동화 솔루션)
      • QNX(실시간 임베디드 운영체제)
      • Cognata (자율주행 시뮬레이션 SW)
    • AUTOSAR & MBD 개발/검증 솔루션
      • mobilgene(AUTOSAR Basic SW)
      • ModelExaminer(Simulink 모델링 가이드라인 검증)
      • EmbeddedPlatform(코드 기반 동적 검증)
      • TPT(MIL/SIL/PIL/HIL/VIL 검증)
      • Reactis(Simulink 모델 기반 V&V)
  • 임베디드
    • 열화상 카메라
      • 열화상 카메라
      • 드론
        • 드론 제품
        • 페이로드
        • 드론용 열화상 카메라
      • 환경계측기
      • 파이로미터
      • 솔루션
      • 고객지원
    • 국방/항공 임베디드 SW
      • 국방/항공용 RTOS (NEOS)
    • 산업자동화 솔루션
      • 산업용 임베디드 모듈/보드/컴퓨터
      • 국방/항공/철도/의료용 시스템
      • 산업용 게이트웨이
      • HW기반 원격제어
  • IoT & AI
    • NVIDIA AI 플랫폼
      • Jetson Series
      • Autonomous Driving
      • DGX System
      • COMPUTE & VISUALIZATION
      • Partner Solution
      • NVIDIA 딥러닝 교육
        • NVIDIA 딥러닝 교육
    • 영상/음성 무전 솔루션
      • EveryTalk 솔루션
      • PTT 전용 단말기
    • Windows IoT 솔루션
      • Windows IoT OS
      • IoT 솔루션
      • VR 솔루션
    • 클라우드
      • 플랫폼
      • 솔루션
        • HashiCorp
        • Snowflake
    • 빅데이터/머신러닝/RPA 솔루션
      • Splunk
        • Splunk 소개
        • 제품소개
        • 고객지원
      • DataRobot
      • Power Automate
    • 원격 지원/제어 솔루션
      • 알서포트
  • 컨설팅
    • 교육/컨설팅/서비스
      • 국방/항공 인증 컨설팅(DO-178C/254)
      • 타이밍 분석 엔지니어링 서비스
  • 고객지원
    • 홍보센터
      • 공지사항
      • 언론보도
    • 제품문의
    • 연락처
    • 기술지원
    • 자료실
  • 회사소개
    • 회사개요
      • 회사개요
      • 인사말
      • 연혁
      • 사업부문 소개
      • 자회사/해외지사
    • 파트너/주요고객
    • IR
      • 주가정보
      • 주식정보
      • 재무정보
      • 공시정보
      • IR자료실
    • 인재채용
    • 기업문화
      • 윤리경영
      • 사회공헌
      • 기업문화
    • 찾아오시는길

고객지원

한컴MDS는 고객을 먼저 생각합니다.
고객지원
  • SW 개발도구
  • 임베디드
  • IoT & AI
  • 컨설팅
  • 회사소개
자료실
  • 홍보센터
  • 제품문의
  • 연락처
  • 기술지원

[자동차SW블로그] ISO 26262에서 요구하는 Code Coverage를 향상시키는 방법

등록일 2021-05-21 조회수 1211

BTC EmbeddedPlatform : Code Coverage를 향상시키는 방법

Code Coverage는 소프트웨어 테스트가 어느 정도 수행됐는지를 의미합니다.

Coverage의 종류로는 Statement, Branch, MC/DC, Function, Function Call 등이 있으며,

Coverage Test는 국제 표준인 ISO 26262에서 규정하고 있습니다.

​

ISO 26262 Part 6의 Table 9와 Table 12를 보면 Branch, MC/DC, Function, Call은 ASIL D에서 ‘++’ 표시가 된 것을 확인할 수 있습니다. 여기서 ‘++’는 필수적으로 수행해야 하는 것을 의미하는 표시로, Coverage Test가 매우 중요한 검증 과정이란 것을 알 수 있습니다.

[그림 1] ISO 26262 Part 6의 Table 9, Table 8

​

[그림 2]는 BTC社 EmbeddedPlatform을 활용하여 Coverage Test를 수행한 결과입니다.

Condition Coverage를 보면 테스트 결과가 75%인 것을 확인할 수 있으며, 여기서 75%는 Test Case로 전체 분기문 중에서 75%만 수행했다는 것을 의미합니다. 즉, 추가적인 작업을 통해서 Condition Coverage를 높일 필요가 있습니다.

[그림 2] Coverage Test 결과

​

Coverage를 높이기 위해서는 Stimuli vector generation 속성을 변경하여 추가적으로 stimuli vector를 생성해야 합니다.

여기서 “Stimuli vector”는 다른 Tool에서 사용하는 Test case에 해당됩니다. 생성 기준 없이 Stimuli vector를 추가하는 것은 무의미하지만, PLL(Property Location Language) 기능을 활용하면 효율적으로 Coverage를 높이는 Stimuli vector를 생성할 수 있습니다.

​

PLL(Property Location Language)은 Coverage goal에 해당되는 지점을 알려주는 기능입니다. PLL 값을 활용하여 Stimuli vector를 생성하면 해당되는 Coverage goal을 만족시키도록 분석이 가능합니다.

​

[그림 3]은 Code Coverage의 Unknown을 나타내는 화면입니다. “Unknown”은 생성한 Stimuli vector로 해당 구문을 수행할 수 있는지 없는지를 판단할 수 없는 상태를 말합니다. 이러한 문제를 해결하기 위해 추가적으로 Stimuli vector를 생성하여 수행 가능한 구문인지 Dead code 인지 판별해야 합니다.

​

[그림 3]의 C:160(PLL)을 보면 코드상 1854 line에서 Unknown이 발생한 것을 확인할 수 있습니다.

이는 [그림 4]와 같이 Source Code에서도 직접 확인이 가능합니다.

​

[그림 3] Code Coverage의 View Details

​

[그림 4] 코드상 Unknown이 발생한 지점

​

[그림 3], [그림 4]의 정보를 바탕으로 [그림 5], [그림 6]과 같이 Coverage goal, Step, Timeout 등을 설정하면 코드를 자세히 분석할 수 있습니다.

[그림 7]을 보면 PLL을 통해 적절한 Stimuli vector를 생성하여 커버리지가 증가한 것을 확인할 수 있습니다.

​

[그림 5] PLL로 Coverage goal 설정

[그림 6] PLL로 Engine, Timeout, Step 설정

​

[그림 7]에서 “Condition Coverage가 100%”라는 것은 소프트웨어가 결함이 없는 상태임을 의미하는 것은 아닙니다. 다시 말해 요구 사항에 맞게 소프트웨어가 동작하는 것이 아니라, 단순히 코드상에 있는 모든 분기문을 수행했다는 의미입니다.

[그림 7] PLL 기능을 활용한 Coverage Test 결과



​EmbeddedPlatform을 활용하면 ISO 26262에서 요구하는 Coverage Test가 가능하며 PLL 기능으로 커버리지를 손쉽게 증가시킬 수 있습니다.



▶ BTC EmbeddedPlatform 자세히 보기

▶ 출처:자동차 SW 블로그

이전글 [자동차SW블로그] AUTOSAR 개념 및 AUTOSAR Classic 플랫폼 개발 방법 소개(2)
다음글 [자동차SW블로그] 차량용 진단 프로토콜 UDS를 이용한 차량 진단 방법 및 Reprogramming 진행 과정

목록

확인
제 품문 의
top
sitemap

SW 개발도구

  • 디버거/컴파일러
  • SW 테스팅 솔루션
  • 자율주행/ADAS/ECU 개발 솔루션
  • AUTOSAR & MBD 개발/검증 솔루션

임베디드

  • 열화상 카메라
  • 국방/항공 임베디드 SW
  • 산업자동화 솔루션

IoT & AI

  • NVIDIA AI 플랫폼
  • 영상/음성 무전 솔루션
  • Windows IoT 솔루션
  • 클라우드
  • 빅데이터/머신러닝/RPA 솔루션
  • 원격 지원/제어 솔루션

컨설팅

  • 교육/컨설팅/서비스

고객지원

  • 홍보센터
  • 제품문의
  • 연락처
  • 기술지원
  • 자료실

회사소개

  • 회사개요
  • 파트너/주요고객
  • IR
  • 인재채용
  • 기업문화
  • 찾아오시는길
Porto Website Template

(주)한컴MDS (구.MDS테크놀로지)개인정보처리방침법적고지

주소 : 13493 경기도 성남시 분당구 대왕판교로 644번길 49 DTC타워 9층TEL: 031-627-3000 FAX:031-627-3008사업자등록번호 : 117-81-22859대표자 : 이창열

Copyright©Hancom MDS Inc. All Rights Reserved.