Polyspace代码验证
소프트웨어에런타임오류가없음을증명
Polyspace代码验证™는C및c++소스코드에서오버플로,0으로나누기,범위를벗어난배열접근및기타런타임오류가없음을증명하는견고한정적분석툴입니다。프로그램실행이나탐침코드삽입,테스트케이스작성없이결과물을만들어냅니다。Polyspace代码验证는소프트웨어프로시저간,제어및데이터흐름동작을검증하기위한정형기법을기반으로의미분석과추상해석을사용합니다。이도구를통해손으로작성한코드,생성된코드또는이둘의조합을검증할수있습니다。각코드구문은런타임오류가없는지,실패하거나도달할수없다고증명되었는지,증명되지않았는지를나타내기위해코드에색상을입혀표현됩니다。
Polyspace代码验证는변수와함수반환값에대한범위정보를표시하고어떤변수가지정된범위제한을초과하는지를증명할수있습니다。코드검증결과를사용하여품질지표를추적하고소프트웨어품질목표를준수하는지확인할수있습니다。Eclipse™IDE와Polyspace代码验证는연동하여코드를검증할수있습니다。
IEC认证工具包(IEC 61508및ISO 26262용)와做资格工具包(- 178용)를통해업계표준을지원합니다。
시작하기:
호출계층구조。
인증용산출물생성
업계표준을따르는프로젝트의인증프로세스를완료할수있습니다。
做资格工具包。
모든런타임조건에대해가능한범위를표시하는툴팁。
의도하지않은소프트웨어동작방지
로직과프로그램구조에있는에러나어떤실행경로로도도달할수없는코드영역을찾습니다。
데드코드찾기。
코드검증결과에서仿真软万博1manbetx件모델로추적
생성된코드에대한검증을실행하고검증결과물에서仿真软件의소스万博1manbetx모델블록으로추적합니다。
코드검증결과물에서仿真软万博1manbetx件모델로추적하기
코드검증절차자동화
Polyspace代码验证服务器™를사용하여詹金斯및竹와같은빌드자동화도구로서버급시스템에서Polyspace代码验证정적분석엔진을실행합니다。
코드검증절차자동화。
협업리뷰를위한결과업로드및알림
자동으로결함을구성요소소유자에게할당하고,이메일알림을보내고,결과를Polyspace代码验证访问에업로드하여문제를분류하고해결할수있습니다。
Polyspace代码验证결과와함께이메일알림을보냅니다。
Polyspace代码验证결과물을리뷰하여문제분류및해결
Polyspace代码验证访问™는중앙저장소에있는Polyspace코드검증결과와품질메트릭에대한웹브라우저인터페이스를제공합니다。웹브라우저에서여러탐색도구들을사용하여코드가함께표시되는코드검증결과를조사합니다。
런타임오류검출
프로젝트품질및소프트웨어품질목표
대시보드에는소프트웨어품질,프로젝트상태,결함수,코드메트릭및소프트웨어품질목표를모니터링하는데사용할수있는정보가표시됩니다。
프로젝트개요대시보드。
이미사용하고있는버그추적툴과통합
웹브라우저인터페이스를사용하여Jira와같은버그추적툴에서티켓을생성하고할당합니다。
티켓생성。
컴파일러지원
微芯片MPLAB XC16및XC32컴파일러를인식하여Polyspace분석환경자동설정
초기화코드검사
나머지프로그램을검사하기전에초기화코드만단독으로검증하는기능과초기화코드에서모든전역변수가명시적으로초기화되었는지검사
万博1manbetx仿真软件지원
C函数블록에서호출된사용자정의코드분석
이기능과그에상응하는함수에대한세부정보는릴리스정보를참조하십시오。
