테스트 서비스
SW 테스트, "전문가에게 맡기세요"
정적분석부터 HIL 테스트까지, 전장 SW 테스트를 대행합니다.
다양한 OEM/TIER1 양산 경험을 보유한 테스트 전문가가 품질을 검증합니다.
정적분석부터 HIL 테스트까지, 전장 SW 테스트를 대행합니다. 다양한 OEM/TIER1 양산 경험을 보유한 테스트 전문가가 품질을 검증합니다.
왜 필요한가?
SW 테스트,
이런 어려움을 겪고 계신가요?
개발 일정은 빠듯한데 테스트까지 할 여력이 없으신가요?
연구원들이 개발과 테스트를 모두 수행하면 일정 지연이나 테스트 품질 저하가 발생합니다. 전문 테스트 인력이 필요합니다.
정적분석 도구, 커버리지 도구, HIL 장비가 없으신가요?
테스트 도구와 환경을 구축하려면 비용과 시간이 필요합니다. 도구만 있어도 활용 노하우가 없으면 효과적인 테스트가 어렵습니다.
ASPICE®, ISO 26262 요구사항을 충족하는 테스트가 필요하신가요?
단순히 테스트를 수행하는 것이 아니라, 표준에서 요구하는 방법론, 산출물, 커버리지 기준을 충족해야 합니다.
서비스 소개
세온이앤에스 테스트 용역 서비스
세온이앤에스는 Parasoft, HKSAT 등 전문 테스트 도구와 양산 경험을 보유하고 있습니다. ASPICE®, ISO 26262 요구사항을 충족하는 체계적인 테스트를 수행합니다.
전문 도구 활용
Parasoft C/C++test, HKSAT 등 검증된 도구로 테스트를 수행합니다. 도구 구매 없이 서비스로 이용하실 수 있습니다.
표준 준수 테스트
ASPICE®, ISO 26262, MISRA 등 표준 요구사항을 충족하는 테스트를 수행합니다. 심사에 필요한 산출물을 함께 제공합니다.
결함 분석 리포트
테스트 결과와 함께 결함 분석 리포트를 제공합니다. 결함의 원인과 해결 방안까지 안내합니다.
유연한 서비스 범위
정적분석만, 단위테스트만, 또는 전체 테스트 등 필요한 범위만 선택하여 의뢰하실 수 있습니다.
서비스 영역
정적분석 서비스
코딩 규칙 검사
| 검사 항목 | 설명 |
|---|---|
| MISRA C/C++ | 자동차 산업 표준 코딩 규칙 검증 |
| AUTOSAR C++14 | AUTOSAR 코딩 가이드라인 검증 |
| CERT C/C++ | 보안 코딩 규칙 검증 |
| CWE | 공통 취약점 검출 |
산출물
- MISRA Compliance Report
- 위반 룰 분석 및 개선 권고
- 코드 메트릭 분석 결과
런타임 오류 분석
| 분석 항목 | 설명 |
|---|---|
| Division by Zero | 0으로 나누기 오류 검출 |
| Null Pointer | 널 포인터 역참조 검출 |
| Buffer Overflow | 버퍼 오버플로우 검출 |
| Memory Leak | 메모리 누수 검출 |
| Uninitialized Variable | 미초기화 변수 사용 검출 |
단위 테스트 서비스
테스트 케이스 개발
| 기법 | 설명 | 적용 상황 |
|---|---|---|
| 명세 기반 | 요구사항/사양서 기반 테스트 케이스 도출 | 표준 준수 테스트 |
| 구조 기반 | 코드 구조 분석 기반 테스트 케이스 도출 | 커버리지 확보 |
| 경험 기반 | 전문가 경험 기반 결함 예측 테스트 | 실무 결함 검출 |
테스트 수행 및 커버리지
- 단위 테스트 수행 및 결과 분석
- 구문 커버리지 (Statement Coverage)
- 분기 커버리지 (Branch Coverage)
- MC/DC 커버리지 (ASIL 대응)
통합 테스트 서비스
SW 통합 테스트
- 컴포넌트 간 인터페이스 테스트
- 데이터 흐름 검증
- 타이밍 및 순서 검증
- 통합 결함 분석
시스템 통합 테스트
- SW-HW 통합 테스트
- ECU 레벨 기능 검증
- 통신 인터페이스 테스트 (CAN, LIN 등)
HIL 테스트 서비스
Hardware-in-the-Loop 테스트
- HILS 기반 SW 기능 테스트
- 실차 환경 시뮬레이션
- 요구사항 기반 시스템 테스트
- 자동화 테스트 스크립트 개발 (CAPL, LabVIEW)
테스트 방법론
테스트 케이스 개발 기법
명세 기반 테스트
(Specification-Based)
- 요구사항/사양서를 분석하여 입출력 조건 도출
- 경계값 분석, 동등 분할 기법 적용
- 표준 준수 증빙에 필수
구조 기반 테스트
(Structure-Based)
- 소스코드 분석을 통한 테스트 케이스 도출
- 분기, 조건 경로 기반 테스트
- 커버리지 목표 달성에 효과적
경험 기반 테스트
(Experience-Based)
- 전문가 경험 기반 결함 예측
- 탐색적 테스트, 오류 추측 기법 적용
- 실무에서 발생하는 결함 검출에 효과적
특수 테스트 기법
Fault Injection Test
- Fail-Safe 기능은 결함 상황에서만 동작
- 의도적으로 결함을 주입하여 Safety Mechanism 검증
- ISO 26262 요구 테스트 기법
성능 테스트 (Performance Test)
- 부하 조건에서 SW 동작 검증
- 응답 시간, 처리량 측정
- 실시간 제약 충족 확인
활용 도구
정적분석/단위테스트 도구
| 도구 | 주요 기능 |
|---|---|
| Parasoft C/C++test | 정적분석, 단위테스트, 커버리지 |
| HKSAT | 국산 정적분석, 런타임 오류 분석 |
서비스 프로세스
Phase 1: 테스트 계획
- 테스트 범위 및 목표 확정
- 테스트 전략 수립
- 환경 및 도구 준비
- 일정 및 비용 협의
Phase 2: 테스트 설계
- 테스트 케이스 개발
- 테스트 환경 구축
- 테스트 스크립트 작성 (자동화 시)
- 리뷰 및 승인
Phase 3: 테스트 수행
- 테스트 실행 및 결과 기록
- 결함 발견 및 보고
- 재테스트 수행
- 진행 상황 공유
Phase 4: 결과 분석
- 테스트 결과 분석
- 커버리지 달성 확인
- 결함 분석 리포트 작성
- 최종 산출물 인도
기대 효과
실질적 효과
- 결함 조기 발견
- 전문 도구와 경험을 바탕으로 개발 초기에 결함을 발견합니다. 늦게 발견되는 결함은 수정 비용이 기하급수적으로 증가합니다.
- 개발 집중 환경
- 연구원들이 테스트에 시간을 빼앗기지 않고 개발에 집중할 수 있습니다.
- 표준 준수 자연스러운 달성
- ASPICE®, ISO 26262 요구사항을 충족하는 테스트를 수행하면서 표준의 의도를 이해합니다. 형식적 준수가 아닌 실질적 품질 향상으로 이어집니다.
SW 테스트, 전문가에게 맡기세요
SW 테스트,
전문가에게 맡기세요
전문 도구와 경험을 갖춘 테스트 전문가가 귀사의 SW 품질을 검증합니다.
테스트 범위와 일정을 말씀해 주시면, 최적의 테스트 방안을 제안해 드립니다.
전문 도구와 경험을 갖춘 테스트 전문가가 귀사의 SW 품질을 검증합니다. 테스트 범위와 일정을 말씀해 주시면, 최적의 테스트 방안을 제안해 드립니다.