Polyspace Bug Finder.
정적분석을사용한소프트웨어버그탐지
Polyspace错误发现者™는C / c++임베디드소프트웨어에서발생할수있는런타임오류,동시성문제,보안취약성및기타결함들을탐지합니다。의미론적분석을포함한정적분석을사용하여Polyspace错误发现者는소프트웨어제어,데이터흐름및프로시저간동작을분석합니다。결함들을감지한직후바로그것들을강조표시하여사용자는개발프로세스초기에버그를분류하고수정할수있습니다。
Polyspace Bug Finder는isrra c®, MISRA c++, JSF++, CERT®C,证书®c++및사용자정의명명규칙과같은코딩규칙표준을준수하는지확인합니다。그리고발견된버그들,코딩규칙위반사항들,순환복잡도를포함한코드품질메트릭으로구성된보고서를생성합니다。Polyspace错误发现者는데스크탑에있는코드를분석하기위해Eclipse™IDE와함께사용할수도있습니다。
자동생성된코드의경우Polyspace결과에서仿真软件金宝app®모델및dSPACE®TargetLink®블록으로역추적할수있습니다。
IEC认证套件(对于ISO 26262和IEC 61508)및做资格套件(对于DO-178和DO-254)을을산업표준을합니다。
시작하기:
복잡한버그의근본원인찾기
디버거형태의이벤트추적,변수값,호출트리정보와함께코드를확인합니다。
코드분석에서仿真金宝app软件모델로추적
。추적합니다。
모든런타임환경에알맞게구성
Polyspace错误发现者는어떠한컴파일러,타겟프로세서및RTOS환경이든구성하여사용가능합니다。
코딩규칙및인증요구사항준수
MISRA - C, MISRA c++, JSF AUTOSAR c++ 14日+ +및사용자정의규칙을적용합니다。ISO 26262, - 178、IEC 61508 EN 50128、IEC 62304등을준수하는지확인합니다。
보안요구사항충족
CERT C / C ++,ISO 17961및MISRA C:2012修正案1을준수하는지합니다。
프로젝트의소프트웨어품질모니터링
분석결과를품질기준값과비교하여,소프트웨어팀이보다쉽게협업하고프로젝트이정표를모니터링할수있습니다。
통합된빌드분석
詹金斯및竹와같은빌드자동화툴과연동하여서버클래스머신에서Polyspace错误发现者服务器™정적분석엔진을실행합니다。
협업리뷰를위한결과업로드및알림
자동으로결함을구성요소소유자에게할당하고,이메일알림을보내고,결과를Polyspace错误发现者访问에업로드하여문제를분류하고해결할수있습니다。
분석결과를리뷰하여문제분류및해결
Polyspace错误发现者访问™는중앙저장소에있는Polyspace정적코드분석결과와품질메트릭을확인하기위한웹브라우저인터페이스를제공합니다。정적분석결과를살펴보기위한탐색도구는코드와함께표시됩니다。
프로젝트품질과소프트웨어품질메트릭모니터링
대시보드에는소프트웨어품질,프로젝트상태,결함수및코드메트릭을모니터링하는데사용할수있는정보가표시됩니다。
이미사용하고있는버그추적툴과통합
웹브라우저이스를사용하여jira와와같은버그추적툴에서티켓을생성하고할당할당할당
컴파일러지원
瑞萨SH C컴파일러로컴파일하는코드를위한간소화된분석설정
c++ 17지원
C ++ 17기능을사용하는를波动에서에서실행
AUTOSAR c++ 14지원
r2020b에가된61개의새로운규칙을포함한한한한한의의의++ 14규칙규칙사
빌드시스템으로부터의구성
JSON컴파일데이터베이스를사용하여프로젝트파일또는분석옵션파일생성
金宝app仿真软件지원
金宝app仿真软件모델에서Polyspace옵션파일생성및패키징
CERT C지원
스레드안전문제및하드코딩된민감한데이터에대한새로운검사기능을포함한모든CERT C규칙위반검사
이러한기능과해당함수에대한세부정보는릴리스정보를를하십시오。