심각한 런타임 오류의 부재 증명

Ada83 또는 Ada95 코드 연산의 런타임 정확성을 검사할 수 있습니다. 런타임 조건에 무관하게 런타임 오류가 발생하지 않을 명령문을 식별할 수 있습니다. 발견된 사항과 관련된 이벤트 추적, 변수 값 범위 및 호출 트리의 지원을 통해 런타임 취약점을 분석할 수 있습니다. Polyspace Client for Ada는 정형 기법을 사용하여 다른 테스트 수단으로 찾을 수 없는 오류를 검출할 수 있습니다. 코드를 실행하지 않고 가능한 모든 입력값에 대해 모든 코드 경로를 분석할 수 있습니다.

문서

소프트웨어 성능 최적화

안전성 및 보안성이 있는 연산을 식별하여 0으로 나누기와 같은 방어 코드를 제거할 수 있습니다. 어느 실행 경로를 통해서도 도달할 수 없는 코드 분기와 논리 및 프로그램 구조의 오류를 검출하고 이를 제거하여 메모리 사용량을 줄일 수 있습니다.

문서

강건성 및 기능 테스트 개선 및 보완

Polyspace Client for Ada를 사용하면 0으로 나누기 또는 오버플로 등 안전하지 않은 것으로 증명된 명령문을 집중적으로 테스트하여 강건성 테스트를 개선할 수 있습니다. 제어 및 데이터 흐름 분석과 함수 파라미터 및 전역 변수의 계산된 범위를 활용하고 Polyspace Client for Ada의 결과를 사용하여 경계 및 분할 테스트를 생성 및 유지 관리할 수 있습니다.

문서