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