SW테스팅 분야

● 임베디드 시스템 SW 검증방법

   ■  소프트웨어적인 방법
   ■  하드웨어적인방법

● 정적분석
● 동적분석
● 모니터링방법
< 임베디드 시스템 sw 검증방법 >
◉ 소프트웨어적인 방법

▣ 소프트웨어적인 방법

▷ 정적 분석 도구 이용

▷ 동적 분석 도구 이용

▷ In-house 도구를 이용한 방법
 
▣ 하드웨어적인 방법

▷ Integration Test System

<정적분석>

▷ Coding 표준을 점검(ex MISRA-C rules)

▷ 실행시간 오류를 검출

▷ 잠재된 S/W 버그를 검출

▷ 표준화 룰을 적용하여 SW개발기간을 단축함

 

그림4
<동적분석>

▷ Unit Test를 자동으로 수행

▷ MC/DC를 만족시키는 테스트 케이스를 생성
    -> MC/DC 커버리지를 만족시키는 임베디드 시스템 SW를 개발

 

그림5
<모니터링 방법>

Non-Intrusive Method

Module OS에서 통신을 수행

CPU/IOP Board : 통신전용 파티션을 생성하여 수행

Intrusive Method

비행 제어 소프트웨어가 있는 파티션에서 통신을 수행

그림3