Polyspace Test

임베디드 시스템 내 C 및 C++ 코드에 대한 테스트 개발, 관리, 실행

Polyspace Test는 임베디드 시스템 내 C 및 C++ 코드에 대한 단위 테스트와 통합 테스트의 개발, 관리, 실행을 지원하는 툴을 제공합니다. Polyspace xUnit API 또는 그래픽 테스트 작성 편집기를 사용하여 테스트를 생성하고, 테스트 중인 코드를 격리 및 검증하기 위한 스텁 및 모의 객체를 제작할 수 있습니다. Polyspace Test를 사용하여 호스트 컴퓨터 또는 임베디드 타겟에서 테스트를 실행하고, 테스트 실행을 자동화하며, 추적성을 위해 테스트를 요구사항에 연결할 수 있습니다.

코드 커버리지 분석을 수행하여 결정, 조건 및 MC/DC(수정 조건/결정 커버리지)와 같은 메트릭으로 테스트 완전성을 측정할 수 있습니다. 자동 테스트 생성을 사용하여 원하는 코드 커버리지를 달성하고, 경계값을 테스트하고, 요구사항 기반 테스트 케이스를 확장할 수 있습니다.

Polyspace Test에는 Polyspace 정적 분석 툴의 결과를 구성, 실행, 검토할 수 있는 공통 사용자 인터페이스가 포함되어 있습니다. 이러한 결과를 사용하여 누락된 코드 커버리지의 정당성을 명시하고 테스트의 강건성을 검증할 수 있습니다.

IEC Certification Kit (for ISO 26262 and IEC 61508) 및 DO Qualification Kit (for DO-178)를 통해 산업 표준 지원이 가능합니다.

정적 코드 분석 결과, 테스트 상태, 코드 커버리지 메트릭을 요약하는 Polyspace 대시보드.

단위 테스트와 통합 테스트 개발 및 실행

Polyspace Test xUnit API를 사용하거나 그래픽 테스트 작성 편집기를 사용하여 대화형 방식으로 C 및 C++ 코드를 개발하고 테스트를 실행할 수 있습니다. 스텁과 모의 객체를 생성하여 테스트 중인 구성요소를 격리하고 gMock과 같은 타사 모의 라이브러리와 통합할 수 있습니다.

문서

소스 코드와 함께 도달할 수 있는 코드 및 도달할 수 없는 코드에 대한 코드 커버리지 결과를 보여주는 표.

코드 커버리지 및 프로파일 실행 측정

결정, 조건 및 MC/DC 등 산업 표준 메트릭에 대한 코드 커버리지를 생성하고 검토할 수 있습니다. 코드 실행 프로파일링으로 테스트를 실행하여 메모리 및 런타임 성능을 향상해야 하는 코드 섹션을 파악할 수 있습니다.

문서

테스트와 소프트웨어 요구사항 연결

사용자 인터페이스의 C 및 C++ 테스트를 IBM^® DOORS^®, IBM DOORS Next, Microsoft^® Word, or Microsoft Excel^® 등 외부 편집기 또는 툴에서 작성된 테스트 요구사항에 연결할 수 있습니다.

문서

호스트 컴퓨터 및 타겟 하드웨어에서 테스트 실행

테스트를 실행하고, 코드 커버리지 메트릭을 수집하며, 호스트 하드웨어 및 타겟 하드웨어 모두에서 메모리 및 실행을 프로파일링할 수 있습니다.

문서

커버리지 및 경계값 목표를 충족하는 테스트 생성

수작업으로 생성한 테스트 케이스를 증대하고 불완전한 코드 커버리지 및 경계값 테스트를 해결하기 위한 테스트를 자동으로 생성할 수 있습니다.

문서

인증 지원

산업 표준에 대한 인증 과정을 완료하는 데 필요한 아티팩트를 생성할 수 있습니다. Polyspace Test는 IEC 61508 및 ISO 26262 표준에 대한 사용 적합성을 TÜV SÜD에서 인증받았습니다. 리포트 및 아티팩트를 DO-178C 인증에 사용할 수 있습니다.

문서