검증 솔루션
-
SW단위 동적 검증 자동화 도구 개발 및 운영이 가능한
엔지니어링 서비스 제품입니다.- AUTOSAR Application의 별도 단위 빌드(FailSafe 로직) 및 실제 개발 타깃 환경에서 테스트 자동 수행
- SW 개발 사양서 자동 파싱 → SIREN용 테스트 케이스 자동 생성
- 컴파일러, 디버거 연동 방식으로 테스트 케이스 자동 수행
- 사용자 지정 리포트 문서 작성
- 완성된 SW 플랫폼 없이 테스트 환경 구축 가능: 기능 및 비기능 테스트 수행
- Input 값 제어를 통해 다양한 테스트 시나리오를 구현 가능
- 요구사항 기반, 인터페이스, Fault Injection 테스트 가능
Siren 자동화 테스트의 필요성
- SW 단위 개발 단계에 대한 테스트 프로세스 필요: A-SPICE, ISO26262에서 권고하는 단위 테스트 프로세스 수행
- SW 플랫폼 배포 전, FailSafe 로직의 개발 및 테스트 진행
- 사양서 기반 FailSafe Dev. 결과에 대한 기능적 검증: 다양한 테스트 시나리오 구현 가능
- 개발 담당자의 개발 및 테스트 결과에 대한 신뢰성 확보 : 휴먼 에러 검출
테스트 결과 view: Siren GUI를 활용한 결과 리포트
- 결과 Summary: PASS/FAIL 결과, 함수 별 실행 시간 데이터 수집, 커버리지 측정 결과 수집
- 디버깅 및 정당화 처리: FAIL 결과에 대한 원인 분석, 필요 시 테스트 결과에 대한 정당화 처리