바로가기 메뉴
컨텐츠바로가기
주메뉴바로가기
하단메뉴바로가기

분야별 서비스소프트웨어 평가

품질 확보를 위한 소프트웨어 Verification & Validation 서비스

소프트웨어 평가란?

방위산업, 원자력, 철도, 자동차 등 다양한 분야에서 프로그램 동작시 소프트웨어상 발생할 수 있는 환경적 에러 및 요구사항 기반 각종 운용상 발생 가능한 에러요인을 해결함으로써 제품이 안정적으로 동작할 수 있도록 검증하는 제3자 검증서비스입니다.

소프트웨어 평가의 중요성

1991년 2월, 걸프전쟁 중 패트리어트 미사일 방어 시스템에서 발생한 사고는 소프트웨어를 통한 시간 계산의 오류로 인해 발생한 사고로서 당시 28명의 사상자와 100명의 중상자가 발생하는 대참사가 벌어졌습니다. 또한, 2009년 8월, 한국 첫 우주 발사체 나로호에서 발생한 사고는 헬륨 탱크의 압력을 측정하는 소프트웨어의 결함으로 발사를 중지하게 되어 경제적 피해를 유발했습니다.

이처럼, 소프트웨어의 오류가 직간접적으로 인류에 심각한 경제적 피해를 초래하거나 인간의 생명에 위협을 줄 수도 있습니다. 우주, 항공, 군사, 금융, 의료, ICT 기반 생활 기기 등 다양한 분야에서 소프트웨어가 사용되는 만큼 인류의 안전 제품의 안전과 성능을 보장하기확보를 위해 보다 체계적인 대응이 필요합니다.

제공 서비스
  • 방위산업 신뢰성 시험

    정적시험: 코딩규칙 검증, 취약점 점검, 소스코드메트릭 점검
    동적시험: 요구사항 기반 코드 시행률 100% 점검 (문장, 분기, MD/DC)
    ※ 방위사업청 무기체계 SW개발 관리 매뉴얼 (2017.7.13) 적용

    • 표준 코딩규칙 66개 준수여부 검증 (MISRA-C/C++, JAVA, C#)
    • CWE 658 (C), 659 (C++), 660 (JAVA) 적용 취약점 점검
    • Target 탑재 SRS, SDD 고려 Test Case 작성/시험
    • 산업표준: IEC61508, IEC60880, IEC62279, ISO26262, DO-178B/C
  • 원자력 / 철도 V&V

    Verification: 개발계획 수립 및 설계단계 각종 계획서 검증/가이드 제공
    Validation: 정적시험 (코딩규칙), 동적시험 (모듈시험, 통합시험, SW/HW 통합시험, SW확인시험)

    • 소스코드 설계/구현방법 컨설팅
    • System & SW safety life cycle process 검증
    • SW 확인 및 검증, SW 설계적합성 평가, SW 기능안전 평가
    • 산업표준: IEC62278, 62425, 62279, 62290, 61508, 61513
  • 자동차

    엔진 및 변속기 제어시스템, 배터리 제어장치, AVN (Audio, Video, Navigation), 전장분야에 대한 SW 기능시험

  • 전자 / 통신

    Smart TV Platform / Application SW테스팅, Smart Phone 임베디드 SW 테스팅

  • 항공

    무인항공기, 드론, 각종 항공기 내장형 디지털 제품에 대한 임베디드 SW테스팅

  • 조선해양

    IT기반 조선해양시스템, 선박네트워크기반 임베디드 시스템 SW테스팅

  • SI

    국방, 금융, 공공, 기업용 SI 시스템 (EP, KM, ERP, EIS) 통합 기능 / 성능 / 보안 시험

  • 보안

    SW 개발 및 운용 과정에서 SW에 내포될 수 있는 취약점(Vulnerability)을 최소화
    사이버 보안 위협에 대응하여 안전하고 신뢰성 있는 SW를 개발 및 운용하기 위한 서비스 제공

    • Secure Coding 규칙에 따른 개발 보안 점검
    • OWASP 및 행정자치부 가이드에 따른 운영 보안 점검
    • 보안 장비 및 시스템 취약점 점검, 모의 해킹 등

산업별 서비스

  • 정보통신기술기기

  • 산업용기기

  • 가전기기

  • 의료기기

  • 자동차

  • 원자력

  • 방위산업

  • 우주항공

  • 철도

  • 선박