테스트 도구
정적분석부터 단위테스트까지, "하나의 솔루션"으로
개발 초기 단계에서 소프트웨어 결함을 검출하세요.
MISRA, ISO 26262, AUTOSAR 등 주요 표준 준수 검증을 자동화합니다.
개발 초기 단계에서 소프트웨어 결함을 검출하세요. MISRA, ISO 26262, AUTOSAR 등 주요 표준 준수 검증을 자동화합니다.
왜 필요한가?
SW 품질 확보,
이런 어려움을 겪고 계신가요?
테스트 단계에서 결함이 많이 발견되어 수정 비용이 높나요?
개발 후반에 발견되는 결함은 수정 비용이 10배 이상 증가합니다. 정적분석으로 코딩 단계에서 결함을 발견하면 비용과 시간을 크게 절약할 수 있습니다.
MISRA, ISO 26262 등 코딩 규칙 준수 검증에 시간이 많이 소요되나요?
수작업으로는 수천 개의 코딩 규칙을 검증하기 어렵습니다. 자동화된 도구 없이는 표준 준수 증빙도 어렵습니다.
정적분석, 단위테스트, 커버리지 분석을 각각 다른 도구로 하고 계신가요?
도구마다 환경을 따로 구성하고 결과를 따로 관리하면 비효율적입니다. 통합 솔루션으로 일관된 품질 관리가 가능합니다.
제품 소개
Parasoft C/C++test
Parasoft C/C++test는 정적분석, 단위테스트, 커버리지 분석, 런타임 분석을 하나의 솔루션으로 제공합니다.
개발자가 코드 품질에 집중할 수 있도록 직관적인 워크플로우를 제공합니다.
통합 테스트 솔루션
정적분석, 단위테스트, 통합테스트, 커버리지 분석을 하나의 플랫폼에서 수행합니다. 별도 도구 통합 없이 일관된 환경에서 작업할 수 있습니다.
업계 최다 표준 지원
MISRA, AUTOSAR, CERT, ISO 26262, DO-178B/C, IEC 61508 등 다양한 산업 표준을 지원합니다. 표준 준수 리포트를 자동으로 생성합니다.
CI/CD 통합
Jenkins, Azure DevOps 등 CI/CD 도구와 통합됩니다. 지속적인 품질 검증을 자동화할 수 있습니다.
TUV 인증
ISO 26262 ASIL D까지 Tool Qualification이 완료되어 기능안전 프로젝트에 바로 적용할 수 있습니다.
주요 기능
정적 분석
(Static Analysis)
가장 포괄적인 정적 코드 분석
- 패턴 기반 분석: 코딩 규칙 위반 검출
- 데이터 흐름 분석: 변수 사용 오류 검출
- 추상 해석: 런타임 오류 예측
- 코드 메트릭: 복잡도, 중복도 등 측정
지원 코딩 표준
| 표준 | 설명 |
|---|---|
| MISRA C/C++ | 자동차 산업 표준 코딩 규칙 |
| AUTOSAR C++14 | AUTOSAR 코딩 가이드라인 |
| CERT C/C++ | 보안 코딩 표준 |
| CWE | 공통 취약점 열거 |
단위 및 통합 테스트
(Unit & Integration Testing)
완전한 테스트 프레임워크
- 테스트 케이스 자동 생성 지원
- 스텁(Stub) 및 목(Mock) 프레임워크 내장
- 크로스 플랫폼 테스트 실행
- IDE 통합 (Eclipse, VS Code 등)
테스트 효율화
- 테스트 생성 마법사로 빠른 테스트 작성
- 기존 테스트 자동 검출 및 실행
- 호스트/타겟 모두에서 테스트 실행 가능
코드 커버리지 및 추적성
(Coverage & Traceability)
멀티 메트릭 커버리지 분석
- 구문 커버리지 (Statement Coverage)
- 분기 커버리지 (Branch Coverage)
- MC/DC 커버리지
- 함수 커버리지
요구사항 추적성
- 요구사항-테스트케이스 연결
- 커버리지 결과와 요구사항 매핑
- 추적성 리포트 자동 생성
런타임 분석
(Runtime Analysis)
실행 시 오류 검출
- 메모리 누수 (Memory Leak)
- 널 포인터 역참조
- 버퍼 오버플로우
- 초기화되지 않은 메모리 사용
호스트 및 타겟 환경 모두 지원
- 호스트 PC에서 테스트 실행
- 실제 임베디드 타겟에서 테스트 실행
보안 테스트
(Security Testing)
보안 취약점 사전 검출
- CERT C/C++ 보안 코딩 규칙 검증
- CWE 취약점 검출
- DISA-ASD-STIG 준수 검증
- OWASP 가이드라인 적용
지원 표준
기능안전 표준
| 표준 | 적용 분야 | Parasoft 지원 |
|---|---|---|
| ISO 26262 | 자동차 | ASIL A~D 전체 지원, TUV 인증 |
| DO-178B/C | 항공 | Level A~E 지원 |
| IEC 61508 | 산업자동화 | SIL 1~4 지원 |
| IEC 62304 | 의료기기 | Class A~C 지원 |
| EN 50128 | 철도 | SIL 1~4 지원 |
보안 표준
| 표준 | 설명 | Parasoft 지원 |
|---|---|---|
| CERT C/C++ | 보안 코딩 가이드라인 | 완전 지원 |
| CWE | 공통 취약점 열거 | CWE 호환 인증 |
| UL 2900 | IoT 보안 | 취약점 검출 지원 |
기대 효과
실질적 효과
- 결함 조기 발견
- 테스트 단계가 아닌 코딩 단계에서 결함을 발견합니다. 늦게 발견되는 결함은 수정 비용이 기하급수적으로 증가합니다. 정적분석은 그 비용을 줄이는 가장 효과적인 방법입니다.
- 표준 준수 자동화
- 수천 개의 MISRA 규칙을 수작업으로 검증하는 것은 불가능합니다. 자동화된 도구로 검증하고, 심사용 리포트까지 자동 생성합니다.
- 통합 환경의 효율
- 정적분석, 단위테스트, 커버리지 분석을 하나의 플랫폼에서 수행합니다. 도구마다 환경을 따로 구성하고 결과를 따로 관리하는 비효율을 줄입니다.
- 품질 검증의 일상화
- CI/CD 통합으로 빌드할 때마다 자동으로 품질을 검증합니다. 품질 검증이 특별한 활동이 아니라 개발의 일부가 됩니다.
도입 지원
세온이앤에스는 Parasoft 공인 파트너로서 다음 서비스를 제공합니다:
- 도입 컨설팅 : 귀사 환경에 맞는 도입 전략 수립
- 설치 및 설정 : 개발 환경에 맞춘 설치 및 초기 설정
- 교육 : 사용자 교육 및 활용 가이드
SW 품질, 자동화된 도구로 확보하세요
SW 품질,
자동화된 도구로 확보하세요
Parasoft C/C++test로 개발 초기부터 품질을 확보하세요.
도입 상담을 통해 귀사 환경에 맞는 활용 방안을 안내해 드립니다.
Parasoft C/C++test로 개발 초기부터 품질을 확보하세요. 도입 상담을 통해 귀사 환경에 맞는 활용 방안을 안내해 드립니다.