LDRA Tool Suite, 어떤 문제를 해결하는 도구인가요?
항공전자·자동차·산업 제어 소프트웨어는 기능이 정상적으로 작동한다는 시험 결과뿐 아니라 개발 요구사항, 코드 품질, 시험 범위와 변경 이력까지 확인할 수 있어야 합니다. 검증 결과가 여러 도구에 흩어져 있으면 인증 대응 자료를 통합하기 어려울 수 있습니다.
LDRA Tool Suite는 요구사항 추적, 정적·동적 분석, 단위·통합시험, 구조적 커버리지와 보고서를 연계해 이러한 검증 과정을 지원합니다. 다만 적용 표준의 모든 인증 목표를 자동 완료하는 제품으로 이해해서는 안 됩니다.
LDRA 기능별 활용 영역
| 기능 | 주요 역할 | 프로젝트에서의 산출물 |
| 정적 분석 | MISRA·코딩 규칙, 품질 지표, 잠재 오류 분석 | 규칙 위반·검토 보고서 |
| 단위시험 | 함수 단위 입력·기대결과·실행 결과 확인 | 시험 케이스·결과 |
| 통합시험 | 구성요소 간 인터페이스 검증 | 통합시험 기록 |
| 구조적 커버리지 | Statement·Branch·MC/DC 등 측정 | 커버리지·미달성 분석 |
| 요구사항 추적 | 요구사항↔설계/코드↔시험 연결 | 추적성 매트릭스 |
| 보고·형상 관리 | 검증 증적과 결과 변경 이력 관리 | 검증·감사 대응자료 |
DO-178C와 ISO 26262에서 LDRA는 어떻게 활용하나요?
DO-178C는 항공 소프트웨어 개발보증 활동을 위한 지침이며, ISO 26262는 도로차량의 기능안전 표준입니다. 둘 다 체계적인 검증이 중요하지만 목표, 확인 방식과 적용 수준은 동일하지 않습니다.
LDRA를 활용하면 적용 규격에 맞춘 코딩 규칙 검사, 단위시험, 구조적 커버리지 및 추적성을 구성할 수 있습니다. 실제 필요한 분석 수준은 DO-178C의 DAL 또는 ISO 26262의 ASIL과 관련 개발·검증 계획을 기준으로 설정합니다.
도구 인정(Tool Qualification)은 무엇을 확인하나요?
도구 인정은 자동화 도구의 결과를 얼마나 신뢰하고 어떤 검증 활동을 줄이려는지, 오류가 결과에 미치는 위험이 무엇인지에 따라 필요성을 판단하는 과정입니다. DO-178C 프로젝트에서는 DO-330에 따른 도구 인정 검토가 적용될 수 있습니다.
LDRA 제조사는 Tool Qualification Support Pack(TQSP) 등 지원자료를 제공하지만, 패키지 보유 자체가 모든 프로젝트의 도구 인정을 의미하지는 않습니다. 대상 버전·설정·운영 절차와 도구의 사용 목적을 함께 검토해야 합니다.
도입 전 검토 체크리스트
| 확인 대상 | 구체적인 질문 |
| 개발규격 | DO-178C, ISO 26262, IEC 61508 중 무엇을 적용하는가? |
| 소스·언어 | C/C++ 및 사용 언어와 컴파일러를 지원하는가? |
| 타깃 환경 | 실제 보드·RTOS·디버거에서 검증할 수 있는가? |
| 검증 범위 | 정적 분석만 필요한가, MC/DC·단위시험도 필요한가? |
| 도구 인정 | DO-330/프로젝트 요구상 TQSP가 필요한가? |
| 산출물 | 요구사항 추적성·시험 보고서의 제출 양식은 무엇인가? |
평가판부터 실무 적용까지: 권장 절차
첫째, 보유 코드 일부와 검증 기준을 선정합니다. 둘째, 적용할 컴파일러·타깃과 규칙 설정을 확인합니다. 셋째, 정적 분석과 단위시험, 커버리지 등 필요한 기능을 시험합니다. 넷째, 검출 결과의 타당성과 보고서·추적성 자료를 평가합니다. 다섯째, 교육 및 운영 담당자, 자동화·이력 관리 방안을 확정합니다.
검증 도구 선정의 핵심은 기능 목록보다 현업 엔지니어가 동일한 결과를 재현하고 제출 가능한 검증 증적을 확보할 수 있는지 여부입니다.
모아소프트에서 교육·도입 상담을 받아야 하는 이유
모아소프트는 국방·항공우주 SW 신뢰성시험과 LDRA 활용 경험을 바탕으로 평가 범위, 교육, 도입환경 검토 및 기술지원 방안을 제안합니다. 개발 보드와 적용 표준에 따라 실제 시험 구성을 달리해야 하므로 도구 도입 초기에 검증 목표를 함께 정하는 것이 효율적입니다.
LDRA 평가판·교육 신청 시 개발언어, 코드 규모, 적용 표준, DAL/ASIL, 컴파일러·타깃 보드, 현재 수행 중인 시험 범위를 전달해 주세요.
고객이 자주 묻는 질문(FAQ)
Q. LDRA Tool Suite는 정적 분석 전용 도구인가요?
A. 아닙니다. 정적 분석 외에도 단위·통합시험, 구조적 커버리지와 요구사항 추적 등 통합 검증을 지원합니다.
Q. LDRA는 MC/DC 커버리지를 지원하나요?
A. 지원합니다. 다만 코드와 타깃 구성 및 측정 방식에 따라 실제 적용 범위가 달라집니다.
Q. LDRA TQSP가 있으면 DO-330 도구 인정이 자동 완료되나요?
A. 아닙니다. TQSP는 프로젝트별 인정 활동을 지원하는 자료이며 도구 사용 목적·버전·프로세스에 대한 판단이 필요합니다.
Q. 모아소프트에 교육이나 평가판을 요청하려면 무엇이 필요한가요?
A. 적용 규격, 개발언어, 컴파일러, 보드 환경, 검증 목표와 필요한 기능을 알려주시면 상담에 도움이 됩니다.
모아소프트 기술·교육 문의
LDRA 평가판, 검증 도구 도입, DO-178C·ISO 26262 관련 교육이 필요하다면 모아소프트로 문의하세요.
- 대표 문의: 02-420-3203
- 홈페이지: 기술 문의하기
