기능안전(Functional Safety) 요구사항 만족을 위한 소프트웨어 시험 서비스(정적분석/동적시험)를 제공합니다.

Convergence of IT Devices Institute Busan

기능안전 시험

홈 > 기능안전 시험 > 기능안전 시험

기능안전 시험은 관련 국제표준을 기반으로 안전과 관련된 시스템에 요구되는 기능안전 목표의 달성 여부를 확인하는 시험입니다.

시험대상

· 철도, 항공, 자동차, 원자력 등 안전과 관련된 시스템(장애 또는 오동작 시 신체, 생명, 재산 피해나 환경 파괴 및 사회적 혼란을 야기할 수 있는 시스템)에서 운영되는 소프트웨어 제품을 대상으로 합니다.

시험 목적

· 요구되는 안전 무결성 수준(Safety Integrity Level, SIL)에 따른 기능안전 목표 달성의 근거 자료로 활용됩니다.

분야 규격번호
기능안전 일반 · IEC 61508-3:2010
· KS C IEC 61508-3:2010
· KINS/RG-N08.18 Rev.2:2016 
자동차 · ISO 26262-6:2018
· KS R ISO 26262-6:2018
철도 · IEC 62279:2015
· KS C IEC 62279:2015
항공 · RTCA DO-178C:2011
원자력 · IEC 60880:2006
· KS C IEC 60880:2006
· IEC 62138:2018
· US NRC RG 1.171 Rev.1:2013

시험방법

정적 시험

· 코딩 규칙 검증

· 런타임 오류 확인

· 시험 도구 : QAC, Code Inspector, Codesonar

※ 시험 가능한 주요 코딩 규칙 종류

MISRA C/C++

AUTOSAR C++

JSF++

CERT C/C++

CWE 658/659

HIC++

IEC
61508-3:2010

IEC 62279:2015

ISO
26262-6:2018

동적 시험

· 코드 커버리지 분석

· 시험 도구 : Controller Tester

※ 시험 가능한 커버리지 종류

Statement Coverage
(구문 커버리지) · 전체 코드 라인 수 대비 수행된 코드 라인 수 비율

Branch Coverage
(분기 커버리지) · 코드 상에 존재하는 분기 구문 전체의 분기 조건 수 대비 수행 된 분기 수 비율

MC/DC
(변형 결정 조건 커버리지) · 코드 상에 존재하는 전체 MC/DC 조건 대비 수행된 MC/DC 조건 수 비율

Call Coverage
(호출 커버리지) · 전체 함수 호출 수 대비 적어도 한번 수행된 함수 호출 수 비율

Function Coverage
(함수 커버리지) · 전체 함수(정의) 수 대비 수행된(Covered) 함수 수 비율

Data flow Coverage
(데이터 흐름 커버리지) · 실행 경로에 포함된 변수를 이용하여 시험하는 방법

Path Coverage
(경로 커버리지) · 전체 경로 수 대비 수행된 경로 수 비율

시험절차 안내

    시험 신청 및 접수

  • · 시험 신청 서류 제출
  • · 시험 접수 확인
  • · 시험 가능 여부 확인

    견적서 발행

  • · 시험 수수료에 대한 견적서 발행
  • · 수수료 입금

    시험 협의

  • · 시험방법 및 진행 일정 확정

    시험 진행

  • · 시험 계획 수립 및 수행
  • · 시험성적서(결과 보고서) 작성 및 검토

    시험성적서 발행

  • · 시험성적서(결과 보고서) 발행 및 송부

※ 자동차, 철도, 원전, 국방 등의 기업(기관)에 납품하는 소프트웨어 제품의 코딩 규칙 및 코드 커버리지 기준을 충족하기 위한 “시험 업무 대행 서비스(Test Outsourcing)”를 제공합니다.

※ 기능안전 시험은 시험 기준 및 시험 방법 등에 따라 필요 서류, 세부적인 절차 등이 달라질 수 있으므로 반드시 시험 신청 전 담당자와 상담 후 진행을 부탁드립니다.

문의 및 상담