embedded s/w
firmware개발/검증
firmware개발/검증
소프트웨어 테스트란
시스템이 정해진 요구 사항을 만족하는지, 예상과 실제 결과가 어떤 차이를 보이는지 수동 또는 자동 방법을 동원하여 검사하고 평가하는 일련의 과정입니다. 자동차, 전력, 원자력, 항공, 국방, 철도, 금융, 의료 등 다양한 분야에서 소프트웨어가 차지하는 비중이 증가하고, 기능과 역할이 많아지면서 날로 복잡해지고 있습니다. 이러한 소프트웨어의 결함은 많은 인명과 재산상의 피해를 가져올 수 있기 때문에 소프트웨어의 품질 향상에 대한 인식과 중요성은 점차 확대되고 있습니다.
사업분야
3자 검증(Independent Verification & Validation)
특정 소프트웨어에 대해서 개발 조직과 독립적인(Independent) 조직이 사양, 기능 및 신뢰성 등 소프트웨어가 갖춰야 할 특성을 갖고 있는지 분석하며(Verification),
고객의 요구사항에 부합하는지 검토하는(Validation) 총체적인 활동입니다.
자동차
전장 부품의 증가로 인해 더욱 복잡해지는 소프트웨어의 품질의 오동작에 따른 사고위험이 증가하기 때문에 기능에 대한 안전 확보를 필요로 합니다.
국방
방위사업청 지침 : 무기체계 소프트웨어 개발 시 신뢰성 시험을 수행하도록 규정
인프라(철도, 원전, 선박)
고신뢰 소프트웨어 품질 확보 : 동작 실패 시, 인명/재산/환경 등에 치명적인 피해를 유발
(예) 원자력/전력 생산 시스템, 선박/철도차량 제어 시스템
기능안전 문서대응
- ·국제 표준 기준 문서화
- ·코드 기반 문서화
- ·문서 추적성/정합성 검증
제어기 소프트웨어 검사
- ·정적 검증(코딩 룰, RTE)
- ·동적 검증(단위, 통합시험)
- ·모델검증
V-model
·C, C++, C#, Java
·MISRA 및 국제표준 SW코딩 규칙 준수
·함수 기준 적용
·C, C++, Java 점검 항목 적용
·단위 시험
·통합 시험
·구조/요구사항 기반 수행
·코드 실행률 100% 달성
사업실적
자동차
현대위아
한온시스템
경신
현대 환경차 연구소
현대모비스
삼성전자
LG전자
철도
현대로템(TMS)
CSIN테크(열차 차상제어기)
국방
한화시스템
영풍전자
원전
두산중공업(신한울 1,2호기)
기타
KST모빌리티
(마카롱 택시 블랙박스 테스트)