- HalCoGen – LDRA 연동
HALCoGen-LDRA는 사용자가 HALCoGen을 통해 생성된 자동생성 코드를 HALCoGen-LDRA에서 제공하는 검증 환경을 통하여 IEC 61508 및 ISO 26262와 같은 기능 안전 표준을 준수할 수 있는 환경을 제공합니다.
HALCoGen-LDRA 패키지 소개
- HALCoGen compliance support package (CSP)
: 사용자가 IEC61508 및 ISO26262와 같은 기능 안전 표준을 준수할 수 있도록 문서화, 보고서 및 장치 테스트 기능을 제공하는 도구입니다.
- HALCoGen Test Automation Unit (TAU)
: 사용자가 IEC 61508 및 ISO 26262 평가를 지원하기 위해 LDRA unit-TI-Qual을 사용하여 Dynamic Coverage Report와 Regression Report를 생성하도록 지원하는 도구입니다.
HALCoGen-LDRA 특장점 소개
- 자동 생성된 초기화 코드에 대한 Test Case 제공
- Dynamic Coverage Report 제공
- Statement Coverage
- Branch Coverage
- MC/DC Coverage
- Test Manager Report 제공
- Quality Review Report – HIS Metrics
- Code Review Report – MISRA C
- Regression Report
- Test Results Reports
- Unit Test Report
- Safety Functional Tests
자동 생성된 초기화 코드에 대한 Test Case 제공
- HALCoGen에서 생성된 프로젝트를 제공된 LDRA Test Case를 통하여 손쉽게 IEC 61508 및 ISO 26262와 같은 기능 안전 표준을 준수할 수 있는 환경을 제공합니다.
