[MOASOFT CORE BIZ] SW 검증 (6편)
본 콘텐츠는 모아소프트 기술 소개 시리즈의 여섯 번째 콘텐츠로, 소프트웨어 개발 전 과정에서 수행되는 SW 검증 체계와 산업별 검증…
Home »
동적분석
소프트웨어 품질과 보안의 핵심인 정적분석
[vc_row][vc_column][vc_column_text css=””] 지난 포스팅에서는 시큐어코딩의 위배 사례 및 대응책에 관해 알아보았습니다. 시큐어코딩을 올바르게 적용하였는지 확인하는 방법에는 여러 가지가 있습니다.…
ARP4754, DO-178C 항공 산업 규정 준수를 위한 검증 도구 LDRA
ARP 4754 ‘민간 항공기 및 시스템 개발 지침’으로도 알려진 ARP4754는 민간 항공기 및 항공기 시스템 개발을 위한 지침과 권장…
美 NASA 무인우주선 ‘Orion’, 소프트웨어 검증, 소스코드 분석 및 테스트 파트너 ‘LDRA’
LDRA는 Orion 프로젝트에서 부스터, 엔진 컨트롤러를 포함하여 비행 소프트웨어와 소프트웨어 하위 시스템의 코딩 결함 및 규정 준수 격차에 대한 명확한 V&V를 지원하였습니다.
2022년 12월 21일, 아르테미스 1호 달 궤도 탐사 임무가 성공적으로 종료되었습니다.
Orion 프로젝트의 소프트웨어 검증, 소스 코드 분석 및 테스트 파트너인 LDRA는 소프트웨어 개발에 대한 지속적인 지원을 수행해왔습니다. Orion Multi-Purpose Crew Vehicle(MPCV) 소프트웨어 개발의 필수 구성 요소였던 LDRA는 요구 사항 관리, 표준 준수 및 여러 하위 시스템 과소프트웨어 공급업체를 대상으로 한 테스트를 포함하여 많은 V&V 활동을 지원하였습니다.
2008년 Orion 프로젝트의 소프트웨어 검증 도구로 LDRA가 선택된 것은 LDRA의 45년간의 경험이 우주항공과 관련된 소프트웨어 개발의 신뢰성을 엄격하게 검증할 수 있다는 사실을 증명합니다.
이 외에도 CCDev(Commercial Crew Development) 프로그램을 포함한 많은 우주 응용 프로그램에서 LDRA를 사용하고 있으며 Artemis에 대한 LDRA의 지속적인 참여는 LDRA가 우주항공 소프트웨어에 효율적이고 적합한 도구인지를 보여줍니다.
- 포스팅과 관련한 자세한 내용보기 : LDRA Supports Artemis I Mission Success With Robust Verification & Validation Processes for Orion Spacecraft – LDRA
DO-178 규격에서의 구조적 커버리지 분석
요구사항 기반 시험을 진행한 뒤, 실행되지 않은 소스 코드에 대한 커버리지를 만족하기 위해 어떠한 활동이 필요한지 DO-178에서 기술하는 구조적 커버리지…
소프트웨어 검증 컨설팅
소프트웨어검증 1. 개요 국방, 항공, 자동차, 철도, 원자력, 의료 등 다양한 분야의 소프트웨어의 잠재적 결함과 고장을 식별하기 위한 정적 분석과…
