(1) 무기 체계 sw 개발 및 관리 메뉴얼
체계 요구사항 분석(SDR) → 요구사항 분석 → sw 설계 → (STP) → sw 구현(STD) → 통합 시험(STR) → (TRR) → 단위 시험 → DT(개발단계 test) → OT(운영단계 test) → 규격화
(2) 정탐 / 오탐 / 미탐
정탐: 위배인 것을, 잘 찾음
오탐: 위배가 아닌 것을, 잘못 찾음
미탐: 위배인 것을, 못 찾음
- Mission critical SW
< 기업용 sw >
.. web, 통신 ... 금융
→ 경제적 손실 ↑
< 산업용 sw >
차, 무기(= 국방), 철도, 원전, 항공
→ 생명 손실 ↑, 각 도메인 표준을 따라야함.
: 우측으로 갈수록 품질 기준이 엄격
- 지능화, 무인화, 네트워크화 → sw 및 검증 비중 증가
HW 중심 설계(60's ~ 70's) ☞ SW 중심 설계(90's 이후)
- IEC 61508 기반(유럽 보일러) → 각 도메인 표준 규칙 생성
< 우리나라 표준 >
-정적검증 = 자동차 기반
-동적검증 = 항공
- 방위사업청 메뉴얼 지침
14년: 정적/동적시험 의무화
16년: 소스코트 메트릭 추가
20년: 메트릭 규제 협의
22년: 보안 규칙 ex.사이버 보안
- V&V
문서검증 → 정적검증 → 동적검증 → 시험검증