Axivion
도구 검증 키트
.webp?width=850&name=TestCenter_hero4-min%20(1).webp)
ISO 26262, IEC 61508, IEC 62304를 준수하는 안전 프로젝트에 사용 권고
기업의 특정 환경에서 분석을 검증합니다.
Axivion 도구 검증 키트는도구 체인의 분류 및 검증을 지원합니다. 자동화할 수 있는 실행 및 결과 평가 프로세스를 갖춘 사전 제작된 테스트 제품군(HIS 메트릭스 및 MISRA, AUTOSAR C++14 및 CERT 규칙용)으로 구성되어 있습니다.
따라서 기능 안전 요건이 존재하는 환경에서 Axivion 정적 코드 분석의 적합성을 구체적으로 확인하고 검증할 수 있습니다.
.webp?width=850&name=Axivion_DevOpsLoop_noBG_870x470px%20(1).webp)
CI/DevOps 파이프라인에 통합
Axivion 도구 검증 키트는 CI 프로세스에 통합할 수 있습니다.
검증 테스트의 기술적 자동화를 통해 업데이트 또는 업그레이드의 형태로 변경이 이루어진 후 효율적으로 테스트를 반복하여 개선 및 혁신의 이점을 누리고 적합성 검사를 반복할 수 있습니다.
제공된 테스트 드라이버가 관련 규칙 세트 및 C/C++ 언어 버전에 대해 하나 이상의 테스트를 수행하고 테스트 상태를 보고합니다.
소프트웨어 품질을 증명하는 인증
Axivion 도구 검증 키트는 ISO 26262, IEC 62304, IEC 61508, EN 50128 및 EN 50657에서 요구하는 도구 신뢰도 수준(TCL)을 달성하는 데 도움을 줍니다.
SGS-TÜV Saar GmbH에서 Axivion 정적 코드 분석(SCA)가 위 표준에 부합하고 각 부문에서 최고의 안전성을 달성했음을 인증했습니다. 안전 프로젝트에서 솔루션의 용도를 설명하는 안전 매뉴얼과 함께 제공됩니다. 안전 설명서에 따르면 인증된 SCA 패키지를 사용하는 동안 Axivion 도구 검증 키트를 활용해야 합니다.
