메뉴건너뛰기

소프트웨어검증

개요

국방, 항공, 자동차, 철도, 원자력, 의료 등 다양한 분야의 소프트웨어의 잠재적 결함과 고장을 식별하기 위한 정적 분석과 동적 시험을 진행합니다.
또한 IEC 61508, EN 50128, ISO 26262, DO-178C 등 국제 표준 규격에서 요구하는 소프트웨어의 안전성과 신뢰성을 확보할 수 있는 검증 및 검증 솔루션을
제공합니다.

소프트웨어 검증 절차

  • 1일정수립 전체 시험 일정 협의
  • 2기준수립 기능성, 신뢰성 평가를 위한 기준 협의
  • 3정적분석 잠재적 결함 검출 시 SW 수정 후 정적 분석 재수행
  • 4동적시험 결함 발견 시 SW 수정 후 정적분석, 동적시스템 재수행
  • 5결과보고 분석 및 수행 결과 발표

정적분석

소프트웨어 국제 표준 코딩률 적용

국제 표준 코딩률(MISRA), 실행시간오류(CWE)등

소프트웨어 품질 검토

복잡성, 유지보수성, 시험가능성 산출

소프트웨어 설계 검토

Call Graph, Flow Graph, 위험 Data 분석

동적분석

시험 환경 구축

개발환경과 동일한 Target 연동 환경 구축

Test Case 설계

요구사항, 구조적 기반의 Test Case 도출

Test Case 생성

자동화 생성을 위한 Test Case 작성 템플릿 지(TCMAN)

동적시험 수행

생성된 TCF파일, LDRA, Target 장비를 활용하여 시험 수행

정적분석 절차

정적분석 절차 다이어그램 - 정적분석 범위선정:국제 표준 코딩률 적용(LDRA Code Review Report), 품질 검토(LDRA Quality Review Report), 설계 검토(LDRA Data Flow Analysis Report)

  • 국제 표준 코딩률 적용 잠재적 결함을 검출하기 위해 MISRA C/C++, 실행시간오류(CWE) 등의 국제 표준 코딩률을 적용하거나 회사 자체 표준 코딩률을 적용
  • 품질 검토
     
    Cyclomatic Complexity, Number of Calling Functions, Nmuber of Called Functions, Clarity, Maintainabilty, Testabilty 등의
    소프트웨어 품질에 관한 지표들을 선정하여 SW 품질 향상
  • 설계 검토
     
    개발된 소프트웨어가 요구사항과 일치하는지 확인하기 위해서 Flow Graph, Call Graph, 위험 Data 분석(함수 파라메터 및
    사용자 변수 데이터 흐름 분석)결과를 토대로 검토
  • 시험 사례
     
    국방(무기체계 소프트웨어 획득 및 관리 실무 지침서)분야, 항공(DO-178C)분야, 자동차(ISO 26262)분야, 철도(EN 50128)분야,
    전자기기(IEC 61508)분야 등 여러 프로젝트를 대상으로 SW 시험 수행

동적시험 절차

단위, 통합 시험 자동화 솔루션으로 최적화된 시험 환경과 결과 제공

Test Case 설계 시 요구사항 기반 Test Case와 구조적 기반 Test Case 도출하여 기능 시험에 사용, Test Case 작성 템플릿을 제공

Test Case 작성 템플릿을 이용하여 자동 생성지원. 시험대상 함수의
정보, 함수의 Stub 정보, 변수의
입출력 정보 포함

시스템 개발환경과 동일한 시험환경 구축 지원. Wind River, TI, ARM, IAR, KeI, Freescale 등 다양한 시험 환경 지원

구축된 시험환경에서 생성해 놓은 Test Case를 사용하여 소프트웨어 시험을 수행하고 수행 후 생성되는 결과를 분석하여 설계 사양서의 오류 또는 개발된 소프트웨어의 결함을 발견

적용분야

  • 국방 국방 무기체계 소프트웨어 신뢰성 시험 프로세스 구축 및 시험
    (정적/동적) 수행
  • 항공 항공 DO-178C에 근거한 타겟 기반 시험 환경 구축 및 시험 수행 지원
  • 철도 철도 EN50128에 따른 단위, 통합, 시스템 단계별 시험 수행
  • 자동차 자동차 ISO26262 안전성 목표(Safety Goal)를 만족시키기 위한
    시험 솔루션 지원
  • 조선해양 조선해양 IEC61508 안전성 인증(SIL)을 위한 소프트웨어 시험
    프로세스 구축 및 시험 수행

주요고객

  • 국방과학연구소
  • 방위사업청
  • 한국산업기술시험원
  • 한국항공우주연구원
  • 한국항공우주산업주식회사
  • 한화
  • 대한항공
  • LG CNS
  • 현대오토런
  • 삼성