Polyspace Server for Ada는 Ada83 및 Ada95 코드에서 오버플로, 0으로 나누기, 범위를 벗어난 배열 액세스 및 기타 특정 런타임 오류의 부재를 증명하는 우수한 정적 분석 엔진입니다. 멀티스레드 코드를 비롯하여 가능한 모든 제어 및 데이터 흐름의 프로시저 간 분석을 수행하여 각 연산을 항상 안전함, 항상 결함 있음, 도달할 수 없음 또는 취약함으로 식별할 수 있습니다. Polyspace Server for Ada는 런타임 오류가 없고 실패하는 것으로 증명되고, 도달할 수 없거나 검증되지 않은 코드 세그먼트를 식별할 수 있습니다.
Polyspace Server for Ada는 서버급 머신에서 실행할 수 있으며, Jenkins®와 같은 툴을 사용해 빌드 및 지속적 통합 시스템에 통합하여 검증을 자동화할 수 있습니다. 이런 분석 결과를 Polyspace Client for Ada를 사용하여 검토하거나 Polyspace Access 에 퍼블리시하여 문제를 분류하고 해결할 수 있습니다.
심각한 런타임 오류의 부재 증명
각각의 Ada83 또는 Ada95 코드 연산의 런타임 정확성을 철저히 검사할 수 있습니다. 런타임 조건에 무관하게 런타임 오류가 발생하지 않을 명령문을 식별할 수 있습니다. 발견된 사항과 관련된 이벤트 추적, 변수 값 범위 및 호출 트리의 지원을 통해 런타임 취약점을 분석할 수 있습니다. Polyspace Server for Ada는 정형 기법을 사용하여 다른 테스트 수단으로 찾을 수 없는 오류를 검출할 수 있습니다. 코드를 실행하지 않고 가능한 모든 입력값에 대해 모든 코드 경로를 분석할 수 있습니다.
자동화 및 데브옵스로의 통합
기존 데브옵스 워크플로 및 툴의 일부로 통합된 코드를 분석함으로써 최신 소프트웨어 개발 방식을 지원할 수 있습니다. Polyspace Server for Ada는 Jenkins 및 Bamboo® 등의 널리 사용되는 지속적 통합 툴에서 작동합니다.
소프트웨어 설계 및 코드 이해도 개선
소프트웨어의 제어 및 데이터 흐름을 점검하고 변수 및 연산자와 관련된 범위 정보를 확인할 수 있습니다.
소프트웨어 성능 최적화
안전성 및 보안성이 있는 연산을 식별하여 0으로 나누기와 같은 방어 코드를 제거할 수 있습니다. 어느 실행 경로를 통해서도 도달할 수 없는 코드 분기와 논리 및 프로그램 구조의 오류를 검출하고 이를 제거하여 메모리 사용량을 줄일 수 있습니다.
전역 변수 사용 분석
작업 또는 스레드에 의해 공유되는 변수를 비롯하여 전역 변수에 대한 읽기/쓰기 연산을 디버그하는 데 소비되는 시간을 경감할 수 있습니다. 동시 액세스 그래프를 통해 데이터 경쟁으로 이어지는 제어 및 데이터 흐름을 이해할 수 있습니다. 코드 최적화를 위해 사용되지 않는 전역 변수를 식별할 수 있습니다.
정적 애플리케이션 보안 테스트
잠재적으로 취약한 Ada 명령문에 메모리 액세스, 버퍼 오버플로, 수치 오버플로 등의 총체적인 스트레스를 가하여 응용 프로그램에 치명적인 보안 취약점이 없음을 증명할 수 있습니다. 20가지 CWE 약점 규칙을 지원합니다. Polyspace Server for Ada에서 생성된 결과를 활용하여 퍼즈 테스트를 보완 또는 대체하고 취약한 연산에 집중할 수 있습니다.
강건성 및 기능 테스트 개선 및 보완
Polyspace Server for Ada를 사용하면 0으로 나누기 또는 오버플로 등 안전하지 않은 것으로 증명된 명령문을 집중적으로 테스트하여 강건성 테스트를 개선할 수 있습니다. 제어 및 데이터 흐름 분석과 함수 파라미터 및 전역 변수의 계산된 범위를 활용하고 Polyspace Server for Ada의 결과를 사용하여 경계 및 분할 테스트를 생성 및 유지 관리할 수 있습니다.
정적 분석 프로젝트 관리 및 프로젝트 품질 모니터링
Polyspace Access로 Ada 정적 코드 분석 프로젝트를 정리하여 개발 팀 및 워크플로를 지원할 수 있습니다. 대시보드에 표시된 정보를 사용하여 소프트웨어 품질, 프로젝트 상태, 결함의 수, 코드 메트릭을 모니터링할 수 있습니다.
제품 관련 자료:
Polyspace 제품군
Polyspace 제품은 개발 라이프사이클 전반에 걸쳐 소프트웨어 품질을 테스트하고 모니터링함으로써 중요한 코드의 안정성과 보안성을 향상할 수 있습니다.
Polyspace Access
코딩 결함을 식별하고, 정적 분석 결과를 검토하고, 소프트웨어 품질 메트릭을 모니터링할 수 있습니다.
Polyspace Code Prover Server
소프트웨어에서 런타임 오류의 부재를 증명할 수 있습니다.
Polyspace Bug Finder
정적 분석을 사용하여 소프트웨어 버그를 식별할 수 있습니다.
Polyspace Test
임베디드 시스템 내 C 및 C++ 코드에 대한 테스트 개발, 관리, 실행
Polyspace Bug Finder Server
서버 컴퓨터에서 실행되는 정적 분석을 통해 소프트웨어 결함을 식별할 수 있습니다.
Polyspace Client for Ada
소스 코드에서 런타임 오류의 부재를 증명할 수 있습니다.
Polyspace Code Prover
소프트웨어의 런타임 오류의 부재를 증명할 수 있습니다.
Polyspace Server for Ada
컴퓨터 클러스터에서 검증을 수행하고 메트릭을 퍼블리시할 수 있습니다.
