스토어 상세
테스트 자동화
LDRA Tool Suite
[화이트박스 검증도구] SW 개발주기 전체를 자동화하는 도구로 코드 분석→테스트→안전 인증 솔루션
솔루션 도입에 대해 궁금하신게 있으신가요?
큐밋 매니저가 상담을 통해 솔루션 도입에 도움을 드립니다.
LDRA는?_소프트웨어 검증, 요구사항 추적 및 표준 준수 자동화
LDRA는 안전·보안이 매우 중요한 임베디드·제어 소프트웨어(자동차, 항공기, 의료기기 등)를 위한 ‘코드 분석 → 테스트 → 인증 대응’ 자동화 솔루션입니다.
소프트웨어 검증, 요구사항 추적 및 표준 준수 자동화 솔루션으로 안전과 보안이 중요한 애플리케이션에 필요한 코드 분석을 자동화 하여 시간 및 비용의 절감을 달성하는 소프트웨어 품질 관리 도구입니다. 정적 분석, 동적 분석, 단위/통합/타깃 테스트, 코드 품질 분석, 요구사항 추적성, 표준 준수까지 SW 개발 생명주기 전체를 자동화하며, 가장 엄격한 인증 환경에서 이미 검증된 글로벌 SW 안전 인증 솔루션입니다.
왜 LDRA 쓸까요?
자동차, 항공, 의료기기처럼 결함이 생기면 대형 리스크가 있는 소프트웨어에서는 그냥 기능이 동작하는 것만으로는 충분하지 않습니다. 이런 분야는 국제표준(예: ISO 26262, DO‑178C 등)을 만족해야 하고, 코드 품질·테스트 커버리지 등이 증명되어야 합니다. LDRA는 이런 ‘표준 준수 + 검증 자동화’를 도와주는 솔루션입니다. 즉, "코드는 작성됐지만 진짜 안전하고 신뢰할 만할까?”에 답을 주는 도구 모음이에요.
LDRA는 단순 정적분석 도구가 아니라, 국제 인증까지 포함한 ‘End-to-End 소프트웨어 안전·보안 검증 플랫폼’입니다. 안전 필수 산업(Safety-Critical)의 개발 조직이 LDRA를 선택하는 이유는 아래 네 가지로 명확합니다.
1. 국제 안전·보안 표준 '완벽 대응'
항공·국방·자동차·철도·의료 등 주요 산업에서 요구하는 모든 안전·보안 표준을 자동으로 검증합니다.
- MISRA-C/C++, ISO 26262, DO-178C, IEC 61508, IEC 62304, ISO/IEC 27001 등
- 산업별 규정에 대한 완전한 Rule Mapping 내장
- 규칙 위반을 실시간 탐지하여 수작업 리뷰 50~70% 감소
- 인증기관이 요구하는 Compliance Report 자동 생성 → 인증 준비 시간·비용 절감 효과 극대화
2.정적·동적 분석을 통합한 올인원 플랫폼
다른 솔루션이 정적 분석 또는 일부 테스트 기능에 국한된 반면, LDRA는 정적 분석 + 동적 분석 + 커버리지 + 테스트 자동화를 하나의 워크플로로 묶어 제공합니다.
- 정적 분석 (Static Analysis): 코드 내 잠재 오류, 데드 코드, 메모리 누수, 규칙 위반 자동 검출
- 동적 분석 (Dynamic & Coverage Analysis): 단위 테스트, 경로 커버리지, 요구사항 추적성 확보
- 두 분석을 통합해 코드의 품질·테스트 완전성·안전성을 하나의 워크플로우에서 관리할 수 있습니다.
3. 요구사항 기반 품질관리 & 문서화 자동화
개발 조직이 가장 힘들어하는 추적성(Traceability) 관리와 문서화/인증 대응 업무를 자동화합니다.
- 요구사항 → 코드 → 테스트 자동 연결로 요구사항 변경 시 관련 코드·테스트 자동 추적
- 인증기관 제출 문서 자동 생성: Traceability Matrix 및 Compliance Report 자동 작성, 표준 인증 절차(DO-178C, ISO 26262 등) 대응
4. 개발 프로세스 통합 및 DevOps 자동화
기존 개발환경에 자연스럽게 녹아들어 지속적 품질 관리(CI/CD 기반 SQA) 를 가능하게 합니다.
- DevOps 및 CI/CD 자동 실행: Jenkins, GitLab 기반 자동 분석·리포트
- 팀 협업 효율 향상: HTML/PDF 보고서 자동 생성 및 공유 용이
개발 단계별 기능
[ISO 26262 V 모델 및 이를 지원하는 데 사용되는 도구] (출처: LDRA)
제품 구성 및 라인업
1. LDRA Testbed_ 정적 분석 (Static Analysis)
소스코드를 정적으로 분석해 표준 준수·잠재 오류·품질지표를 자동 검증
[주요 기능]
- 규칙 기반 품질 검증: MISRA-C/C++, CERT C, ISO 26262, DO-178C, IEC 61508 등 국제 표준 내장 규칙 세트 제공
- 코드 구조 분석: 제어 흐름(Flow Graph), 데이터 흐름(Data Flow), 함수 의존도(Call Graph) 분석
- 결함 검출: 데드코드, 미사용 변수/함수, 메모리 누수, 포인터 오류, 범위 초과, 위험 연산 탐지
- 정량적 품질 측정: 코드 복잡도(McCabe), 코드 라인수, 결함 밀도 등 메트릭 자동 산출
- 보고서 자동화: 규칙 위반 상세 보고서, 코드 품질 대시보드, MISRA Compliance Report 생성
2. LDRA TBrun_ 동적 분석 및 단위 테스트 (Dynamic & Unit Testing)
테스트 케이스 생성·실행·커버리지 측정까지 자동화
[주요 기능]
- 단위 테스트 자동 생성: 함수 시그니처 기반으로 입력값·경로 자동 생성
- 테스트 실행 자동화: 호스트·타깃 환경 모두 지원 (cross-debugger 연동 가능)
- 커버리지 측정: Statement / Branch / MC/DC / Path Coverage 측정 및 시각화
- 결과 검증: 실제 출력과 기대값 비교, PASS/FAIL 자동 판정
- 테스트 보고서: 인증 제출용 테스트 결과 문서 자동 생성 (DO-178C, ISO 26262 포맷 지원)
3.LDRA TBvision_ 시각화 및 코드 인사이트 (Visualization)
코드 구조와 결함을 시각적으로 탐색하고, 품질 리스크를 한눈에 파악
[주요 기능]
- 함수 호출 관계(Call Graph) 및 데이터 흐름(DFD) 시각화
- 코드 복잡도 Heatmap으로 위험 모듈 가시화
- MISRA 위반 위치·심각도별 시각표시
- 대시보드 기반 품질 리포트 (규칙 준수율, 결함 분포 등)
[TBvision에서 정적 분석을 진행한 결과] (출처: LDRA)
4. LDRA TBreq_ 요구사항 추적성 관리 (Requirements Traceability)
요구사항 → 코드 → 테스트 → 결과 간의 완전한 추적성 확보
[주요 기능]
- 요구사항 연결: DOORS, Polarion, Jira 등 요구사항 관리 도구와 연동
- 추적 매트릭스: 요구사항별 코드/테스트 매핑 자동 생성
- 인증 문서화: ISO 26262, DO-178C 등 표준 요구 Traceability Report 자동 작성
- 변경 영향 분석: 요구사항 변경 시 영향 받는 코드·테스트 자동 식별
5. LDRA TBpublish_ 보고서/인증 문서 자동 생성
분석 결과를 인증용 공식 문서 포맷으로 자동 변환
[주요 기능]
- HTML, PDF, Excel, XML 등 다양한 출력 형식 지원
- 규칙 위반 요약 / 상세 보고 / 표준별 적합성 요약
- LDRA Certification Services와 연계 시, DO-178C, IEC 61508, ISO 26262 인증용 문서 자동 생성
6. CI/CD 및 환경 통합 기능
- CI/CD 연동: Jenkins, GitLab CI, Azure DevOps 등 파이프라인 자동 분석
- SCM 연동: Git, SVN, Perforce 등 버전 관리 시스템과 연동
- IDE 통합: Eclipse, Visual Studio, IAR, Keil 등 IDE 통합 분석
- 다중 타깃 지원: 임베디드·RTOS·크로스컴파일러 환경 완전 지원
적용 산업 분야
산업 분야 | 설명 | 상세 내용 |
자동차 | ISO 26262 및 MISRA-C/C++ 준수를 위한 대표 도구 | - ECU(전자제어장치), ADAS(첨단 운전자 보조 시스템), 전동화 제어기, 자율주행 SW 등 - 기능 안전(Function Safety) 분석 및 테스트 자동화 - AUTOSAR, MISRA, ISO 21434(사이버 보안) 규격 대응 - 정적/동적 분석 + 커버리지 측정 + 인증 문서 자동화로 차량용 SW 검증 효율화 |
항공우주 | DO-178B/C, DO-330, DO-254 등 항공 SW 인증 표준 준수 | - 항공기 제어 시스템, 항법장치, 항공전자 소프트웨어 - Level A~E 안전 등급별 정형 분석과 테스트 검증 지원 - LDRA Certification Kit 제공 → FAA/EASA 인증용 문서 자동 생성 - Code Coverage (MC/DC) 분석 기능으로 필수 인증 요구 충족 |
의료기기 | IEC 62304 및 ISO 14971 기반의 안전성 검증 | - 환자 모니터링, 인슐린 펌프, 영상진단장비 등 임베디드 의료 SW - 요구사항–코드–테스트 간 Traceability 확보 - 위험 분석, 테스트 커버리지, 변경 영향 분석 자동화 |
철도·교통 | EN 50128 / EN 50657 등 철도용 안전 SW 규격 대응 | - 신호제어, 열차 자동제어(ATC/ATP), 차량 제어 시스템 - 정적분석+단위테스트 통합 검증으로 EN 인증 프로세스 간소화 - 프로젝트별 규칙 커스터마이징 및 검증 리포트 자동 생성 |
산업제어 / 에너지 | IEC 61508 기반의 기능 안전(FS) 확보 | - 원전, 플랜트 제어, 로봇, 터빈, 발전기 제어 시스템 - SIL(Safety Integrity Level) 1~4 등급별 검증 자동화 - 정적·동적 분석 결과를 문서화해 감사(Audit) 대응 용이 |
보안 중심 시스템 | CERT C, CWE, ISO/IEC 27001 기반 보안 코드 분석 | - 국방, 네트워크, 암호, 보안 모듈, 펌웨어 등 - 취약 코드·입력 검증 누락·버퍼 오버플로 등 자동 탐지 - 보안 규칙 세트 + MISRA 병행 적용으로 안정성과 보안성 동시 확보 |
➡️ 임베디드 소프트웨어 개발사: 자동차 ECU, 항공기 제어 시스템, 의료기기 펌웨어 등
➡️ 안전·보안 규제 많은 산업: 자동차(ISO 26262), 항공(DO-178C), 철도(EN 50128) 등
주요 고객사 도입 사례
- 자동차: H자동차, H오토에버 등
- 우주항공: 한국항공우주산업, K항공, H에어로스페이스 등
- 방산 : 국방과학연구소, L시스템, L넥스원, H시스템, D시스템즈 등
- 의료: M임플란트
- 철도: H로템
타 솔루션과의 차이점
구분 | LDRA | P사 | C사 | V사 |
표준 준수 | MISRA / DO-178C / ISO 26262 완전 대응 | 일부 | 제한적 | 일부 |
동적 테스트 | 포함 (TBrun) | X | X | O |
인증 문서화 | 자동화 (CMS) | 수동 | X | 수동 |
Traceability | TBreq | X | X | 제한 |
커버리지 분석 | Statement~MC/DC | O | 제한 | O |
CI/CD 통합 | O | 제한 | 제한 | O |
주요 강점 | 표준·인증 중심 통합 플랫폼 | 수학적 모델 기반 검증 | 대규모 코드 결함 탐지 | 테스트 자동화 중심 |
LDRA 솔루션 도입 Tip
- LDRA는 단순 GUI 테스트 자동화 툴이라기보다는 고신뢰·고안전 시스템을 위한 검증·컴플라이언스 툴이라는 점
- 따라서 처음 자동화 도입하는 소규모 웹·앱이나 모바일 앱보다는 안전/보안 요구가 높은 프로젝트에 맞춤형
- 기능만 구현하면 되는 외주 개발과는 다르게, 테스트 범위·분석 리포트·커버리지 증명까지 고려해야 함
가격 & 도입 문의
1. 도입형태
- 영구라이선스 (floating) OR 연간라이선스 (Subscription)
2. 가격 정책
- 프로젝트 및 인증제품, 제품사용자 수에 따른 맞춤견적 제공
👉🏻 [관련 기사] 진주시, 글로벌 소프트웨어 기업 LDRA와 손잡고 우주항공산업 경쟁력 강화
큐밋 매니저가 큐밋에 입점한 유사 솔루션을 비교 분석해서, 합리적인 비용 및 도입 지원을 도와드립니다.
➡️ 궁금한 점은 해당 페이지의 도입/ 문의 버튼 눌러 바로 문의하세요