본 콘텐츠는 모아소프트 기술 소개 시리즈의 여섯 번째 콘텐츠로, 소프트웨어 개발 전 과정에서 수행되는 SW 검증 체계와 산업별 검증 지원 기술을 다룹니다.
모아소프트는 국제 표준과 산업 규제를 기반으로, 요구사항부터 시험·검증까지 연결되는 체계적인 SW 검증 프로세스 구축 및 수행 환경을 제공합니다.
SW 검증이란?
소프트웨어 개발 과정에서 요구사항과 구현 결과의 일치 여부를 검증하고, 오류를 조기에 발견하여 품질을 확보하는 핵심 활동입니다.
모아소프트는 정확성·안전성·신뢰성을 확보하기 위한 표준 기반 SW 검증 체계를 다양한 산업 분야에 적용하고 있습니다.
AI 신뢰성 검증 프로세스
AI 기반 소프트웨어에 대한 신뢰성을 확보하기 위해, 데이터셋부터 모델 성능까지 단계별 검증을 수행합니다.
데이터 편향과 성능 불균형을 최소화하고, 객관적인 결과 도출을 목표로 합니다.
- AI Software GAP 분석
- 밸런스 기반 데이터셋 평가 항목 준비
- 평가 항목 목표 조정
- 메타데이터 통합 및 데이터셋 보강
- AI 모델의 정확성 측정
- AI 모델의 밸런스 기반 성능 분석
- 결과보고서 작성
산업별 SW 검증 프로세스 구축 및 시험수행 지원
각 산업 분야의 특성과 인증 요구사항을 반영한 SW 검증 프로세스를 구축하고, 시험 수행까지 지원합니다.
도메인별 기준에 맞춘 절차 정의를 통해 인증 대응 효율을 높입니다.
SW 검증 수행 분야
- 민간항공기, 군용항공기 감항인증 기준 충족
- 무기체계 소프트웨어 신뢰성시험 시험절차 및 기준 충족
- 무기체계 보안성 시험절차 및 기준 충족
- 자동차 SW(ISO-26262 / A-Spice) 시험절차 및 기준 충족
- 철도, 원자력 등 산업별 기준에 따른 시험절차 및 기준 충족
DO-178C/DO-278A 검증 목표 달성
항공·항공전자 소프트웨어 인증을 위한 표준 기반 검증 목표 달성을 지원합니다.
인증 산출물 확보와 함께, 감사 및 심사 대응이 가능한 검증 체계를 제공합니다.
- 정적분석: 인증을 위한 Tailoring된 Ruleset 제안 및 검증 수행
- 동적분석: Statement, Decision, MC/DC Coverage
- Date & Control Coupling 검증
- DAL A를 위한 완벽코드 검증
- STR, SVR(SO1#2–SO1#3), 예외처리보고서 등 인증 필수 산출물 제공
우주/항공 요구사항을 만족하는 SW 검증
우주/항공 분야에서 요구되는 기능 안전 요구사항 만족을 위해, 개발 단계별 맞춤형 SW 검증을 수행합니다.
- High/Low level Requirement 검증
- Robustness test
- WCET(Worst-Case Execution Time)
- MCP 환경에서의 SW 검증
- CAST-32A and A(M)C 20-193
- FACE Objectives 만족
- Data/Control Coupling
- DO-178C DAL-A 검증
- Tool Qualification (DO-330)
요구사항 분석 및 명세(요구사항 추적관리) → 설계(모델기반개발) → 구현(정적분석) →
SW 단위시험 → SW 통합시험 → 인수시험 및 유지보수(요구사항 검증)까지 단계별 검증을 체계적으로 수행합니다.
제공 역량
정적 분석
소스코드 수준에서 품질과 안전성을 확보하기 위한 정적 분석을 수행합니다.
보안약점과 품질 이슈를 사전에 식별하여 효율적인 SW 공급 관리를 지원합니다.
- 소스코드 보안약점 점검
- 다양한 분석 기술 바탕의 소스코드 상 보안취약점을 정확하고 빠르게 검출
- 오픈소스 관리 기반 효율적인 소프트웨어 공급망 관리
- 오픈소스 라이선스 식별 및 보안 취약점 진단
동적 시험
실행 환경에서의 동작 검증을 통해 요구사항 충족 여부를 확인합니다.
자동화 기반 시험으로 반복 테스트 효율을 높입니다.
- GUI 자동화 테스트
- 그래픽 사용자 인터페이스 테스트 및 인간-기계 인터페이스 테스트 자동화
- 코드 커버리지 분석(C/C++, C#, Tcl, QML 등 크로스 플랫폼 지원)
AI 신뢰성 검증
AI 시스템의 검증 신뢰도를 확보하기 위한 객관적인 검증 체계를 제공합니다.
공학적 방법론과 데이터 관리 기술을 적용하여 검증용 데이터를 설계합니다.
- 객관적 AI 검증
- 검증용 데이터를 공학적 관점과 검증 방법론에 따라 설계
- 데이터 관리 기술(밸런스)을 적용한 성능 검증 환경 제공
사이버보안 디바이스 취약점 분석
임베디드 환경을 포함한 디바이스 보안을 고려하여, 시스템 단위의 보안 분석과 테스트를 통해 소프트웨어 보안 수준을 점검합니다.
- 사이버보안 디바이스 취약점 분석
- 임베디드 시스템 보안 분석 및 침투 테스트(펜테스트)
- 하드웨어 및 소프트웨어 보안 성능 지원
모아소프트는 표준과 규제를 고려한 SW 검증 프로세스를 기반으로, 정적·동적 분석부터 AI 신뢰성 검증, 보안 취약점 분석까지 프로젝트 특성에 맞는 맞춤형 SW 검증 환경 구축을 지원합니다.
SW 검증 체계 수립이나 인증 대응이 필요한 경우, 적용 환경에 맞는 검증 범위와 수행 방안을 안내해 드립니다. 자세한 상담을 원하신다면 문의주세요!
다음 콘텐츠에서는 모아소프트가 보유한 또 다른 핵심 기술 중 하나인 SW & HW 인증을 소개할 예정입니다.
관련문의: 02-6945-2156 / Contact us – (주)모아소프트 (moasoftware.co.kr)
🔗 이전 시리즈 바로가기