Polyspace代码验证™는C및c++소스코드에서오버플로,0으로나누기,범위를벗어난배열액세스및기타런타임오류의부재를증명할수있습니다。프로그램실행,코드계측또는테스트케이스없이도결과를생성할수있습니다。Polyspace代码验证는정형기법을기반으로한정적분석과추상해석을사용합니다。수작업코드,생성된코드또는둘이조합된코드에도사용할수있습니다。각연산은여러색을사용하여런타임오류가없는지,실패하는것으로증명되는지,도달할수없거나증명되지않는지를표시합니다。
Polyspace代码验证는변수및함수반환값에대한범위정보를표시하고,어떤변수가지정된범위제한을초과하는지증명할수있습니다。결과를대시보드에퍼블리시하여품질메트릭을추적하고소프트웨어품질목표를준수할수있습니다。
IEC认证套件(适用于IEC 61508和ISO 26262)및DO认证套件(适用于DO-178)를통해산업` ` `준지원이가능합니다。
전역변수사용분석
작업또는스레드에의해공유되는변수를비롯하여전역변수에대한읽기/쓰기연산을디버그하는데소비되는시간을경감할수있습니다。
동시액세스그래프를통해데이터경쟁문제로이어지는제어및데이터흐름을이해할수있습니다。코드최적화를위해사용되지않는전역변수를식별할수있습니다。
Simulink및Stateflow통합
생성된코드에대해분석을실행하고그결과를소스Simulink®모델블록및Stateflow®차트로추적할수있습니다。Simulink환경에서Polyspace®분석을시작할수있습니다。
데스크탑에서대화형방식분석
소프트웨어프로젝트전체또는일부에대해정적코드분석을실행할수있습니다。데스크탑툴을사용하여리포트를생성하고결과를검토하며분류할수있습니다。
디버거와같은보기를통해복잡한버그의근본원인을찾아런타임오류를일으키는각명령문을단계별로탐색할수있습니다。60개이상의C및c++컴파일러를기본적으로지원하며,프로젝트의빌드시스템에서추출하여자동으로Polyspace분석을설정함으로써프로젝트를조직하고구성할수있습니다。
정적애플리케이션보테스트
버퍼오버플로,메모리액세스,수치오버플로등의심각한보안취약성의부재를증명할수있습니다。코드실행없이모든코드경로와입력값에대해코드를분석하여퍼즈테스트의필요성을줄일수있습니다。