[2025_SW] 기능 안전 소프트웨어 신뢰성 향상을 위한 검증 및 분석 기법 (250819)
1. 개요
기능 안전 소프트웨어 신뢰성 향상을 위한 검증 및 분석 기법 교육은 국방, 자동차, 철도 등 다양한 산업에서 사용되는 소프트웨어의 품질 보증과 검증 프로세스를 효율적으로 수행하기 위한 방안을 체계적으로 다룹니다. 교육 과정은 국제 표준 기반의 소프트웨어 검증 활동과 검증 도구인 LDRA Toolsuite의 핵심 기능을 중심으로 진행되며, 실습 위주의 강의를 통해 이론과 도구 사용법을 효과적으로 익힐 수 있도록 계획되었습니다.
강사의 풍부한 실무 경험과 LDRA Toolsuite 활용 사례를 통해 기능 안전 요건 충족 및 품질 개선을 위한 최적의 접근 방안을 제시합니다.
2. 중점
- 무기체계 소프트웨어/DO-178C/ISO26262/SAE J3061/EN50128/IEC61508 규격에서의 소프트웨어 검증의 이해
- 국제 표준(MISRA, CWE, JSF 등) 및 요구되는 코딩 규칙 기반 코드 리뷰의 이해 및 실습
- 소프트웨어 품질 향상을 위한 설계 관련 Quality Metrics 산출의 이해 및 실습
- 소프트웨어의 요구 사항 검증을 위한 요구 사항 기반 소프트웨어 동적 시험의 이해 및 실습
- 소프트웨어의 검증을 위한 산출물 소개 (리포트)
3. 교육 대상
- 국방/항공, 자동차, 철도 등 기능 안전 표준을 충족해야 하는 산업의 소프트웨어 개발 관계자
- 소프트웨어 품질 보증 및 검증을 담당하는 테스팅 엔지니어
- LDRA Toolsuite 기 사용 인원 및 사용을 희망하는 인원
4. 교육 프로그램
| 일정 | 세부내용 | 강사 | |
| 1 일차 | 10:00 ~ 11:00 | 모아소프트 및 교육(솔루션) 소개 | 담당 엔지니어 |
| 11:00 ~ 12:00 | LDRA Tool Suite을 활용한 SW 검증 개요 – 기능 안전 표준의 요구사항 및 도구 활용 방안 (DO-178C, ISO 26262, IEC 61508 등) – LDRA Tool Suite 적용사례 (국방, 항공, 자동차 등) – LDRA Toolsuite의 주요 구성 요소 소개 |
||
| 13:00 ~ 16:00 | 정적 분석을 통한 코드 품질 평가 – LDRA Toolsuite를 활용한 정적 분석의 개요 및 이해 – MISRA, CWE, CERT 등 코딩 규칙 기반 코드 품질 검사 – 결함 탐지 및 코드 구조 분석 방법 – 복잡도, 데이터 흐름 등의 품질 메트릭 산출 방법 – 실습을 통한 정적 분석의 이해 |
||
| 2 일차 | 10:00 ~ 16:00 | 동적 시험 및 요구사항 기반 검증 – 동적 시험의 이해 – 요구도 기반 시험과 단위시험의 이해 – 코드 커버리지 분석 및 동적 시험 결과 Report 활용 – Test Case관리 및 Regression Test – 실습을 통한 동적 시험의 이해 |
담당 엔지니어 |
* 상기 강의 일정은 진행에 따라 다소 변경될 수 있습니다.
5. 교육비(1인 2일 기준, VAT 포함)
- 제품 구매 및 유지보수 고객 : 무료
- 비고객 : 44 만원
- 학생 : 22 만원
The 기능 안전 소프트웨어 신뢰성 향상을 위한 검증 및 분석 기법 ticket sales has ended!
