SW테스팅 분야
다양한 검증방법으로 정확한 분석을 합니다.
임베디드 시스템 SW 검증방법
소프트웨어적인 방법
- 정적 분석 도구 이용
- 동적 분석 도구 이용
- In-house 도구를 이용한 방법
하드웨어적인 방법
- Integration Test System
정적분석
- Coding 표준을 점검(ex MISRA-C rules)
- 실행시간 오류를 검출
- 잠재된 S/W 버그를 검출
- 표준화 룰을 적용하여 SW개발기간을 단축함
동적분석
- Unit Test를 자동으로 수행
- MC/DC를 만족시키는 테스트 케이스를 생성 -> MC/DC 커버리지를 만족시키는 임베디드 시스템 SW를 개발
모니터링 방법
Non-Intrusive Method
- Module OS에서 통신을 수행
- CPU/IOP Board : 통신전용 파티션을 생성하여 수행
Intrusive Method
- 비행 제어 소프트웨어가 있는 파티션에서 통신을 수행
