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 정적 코드 분석 프로젝트를 정리하여 개발 팀 및 워크플로를 지원할 수 있습니다. 대시보드에 표시된 정보를 사용하여 소프트웨어 품질, 프로젝트 상태, 결함의 수, 코드 메트릭을 모니터링할 수 있습니다.
제품 관련 자료:
또한 다음 목록에서 웹사이트를 선택하실 수도 있습니다.
미주
- América Latina (Español)
- Canada (English)
- United States (English)
유럽
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
아시아 태평양
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)