1. 시험 환경
2. 시험 환경 구축
1) 신뢰성 시험 흐름 구성도
(1)정적시험
- Vxworks OS 환경에서 Workbench를 이용한 LDRA실행
- Coding Rules을 이용한 Static Analysis 진행
- 결과 보고서 확인
(2)동적시험
- Convert to LDRA Test Case를 이용한 Dynamic Analysis 진행
- Coverage 달성 확인 및 결과 보고서 확인
2) 환경 구축시 이슈발생 및 조치
3. LDRA를 사용한 시험 과정 및 결과 확인
1) Wind River에서의 연동
2) Test Case를 이용한 시험
- File View란의 시험 함수를 우클릭하여 Create New Test Case를 클릭
- Test Case View란의 Test Case확인 후, Input / Output View 란에 시험 대상 함수에 입력값 혹은 출력값을 설정한 후 테스트 수행
- Test Case View를 확인하여 Pass / Fail 여부 확인
- 테스트 진행 후 File View란에서 Coverage 달성 확인
3) 결과 보고서 확인
- File View란에서 Coverage 확인 가능
- TBrun 상단의 Results 탭에서 Dynamic Coverage Analysis Report를 이용한 확인
