Polyspace错误发现者
정적분석을사용한소프트웨어버그탐지
Polyspace错误发现者™는C / c++임베디드소프트웨어에서발생할수있는런타임오류,동시성문제,보안취약성및기타결함들을탐지합니다。의미론적분석을포함한정적분석을사용하여Polyspace错误发现者는소프트웨어제어,데이터흐름및프로시저간동작을분석합니다。결함들을감지한직후바로그것들을강조표시하여사용자는개발프로세스초기에버그를분류하고수정할수있습니다。
Polyspace错误发现者는MISRA C®， MISRA c++， JSF++，当然®C,证书®c++및사용자정의명명규칙과같은코딩규칙표준을준수하는지확인합니다。그리고발견된버그들,코딩규칙위반사항들,순환복잡도를포함한코드품질메트릭으로구성된보고서를생성합니다。Polyspace错误发现者는데스크탑에있는코드를분석하기위해Eclipse™IDE와함께사용할수도있습니다。
자동생성된코드의경우Polyspace결과에서仿真软件万博1manbetx®모델및dSPACE®TargetLink®블록으로역추적할수있습니다。
IEC认证工具包(ISO 26262및IEC 61508용)및做资格工具包(- 178용)을통해산업표준을지원합니다。
시작하기:
복잡한버그의근본원인찾기
디버거형태의이벤트추적,변수값,호출트리정보와함께코드를확인합니다。
다양한방식으로코드를탐색합니다。
코드분석에서仿真万博1manbetx软件모델로추적
생성된코드에대한분석을실행하고,찾아낸항목들에서소스모델블록으로추적합니다。추적합니다。
코드분석결과물에서모델로추적합니다。
모든런타임환경에알맞게구성
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修正案을준수하는지확인합니다。
코딩규칙검사를구성합니다。
프로젝트의소프트웨어품질모니터링
분석결과를품질기준값과비교하여,소프트웨어팀이보다쉽게협업하고프로젝트이정표를모니터링할수있습니다。
결과를필터링합니다。
통합된빌드분석
詹金斯및竹와같은빌드자동화툴과연동하여서버클래스머신에서Polyspace错误发现者服务器™정적분석엔진을실행합니다。
Polyspace제품을지속적인통합환경내로통합합니다。
협업리뷰를위한결과업로드및알림
자동으로결함을구성요소소유자에게할당하고,이메일알림을보내고,결과를Polyspace错误发现者访问에업로드하여문제를분류하고해결할수있습니다。
Polyspace错误发现者결과와함께이메일알림을보냅니다。
분석결과를리뷰하여문제분류및해결
Polyspace错误发现者访问™는중앙저장소에있는Polyspace정적코드분석결과와품질메트릭을확인하기위한웹브라우저인터페이스를제공합니다。정적분석결과를살펴보기위한탐색도구는코드와함께표시됩니다。
결과세부정보창。
프로젝트품질과소프트웨어품질메트릭모니터링
대시보드에는소프트웨어품질,프로젝트상태,결함수및코드메트릭을모니터링하는데사용할수있는정보가표시됩니다。
프로젝트개요대시보드。
이미사용하고있는버그추적툴과통합
웹브라우저인터페이스를사용하여Jira와같은버그추적툴에서티켓을생성하고할당합니다。
티켓생성。
컴파일러지원
微芯片MPLAB XC16및XC32컴파일러를인식하여Polyspace분석환경자동설정
万博1manbetx仿真软件지원
C函数블록에서호출된사용자정의코드분석
반증을이용하는견고한검사기능
수치적경계값들을포함하는모든시스템입력값을고려하여엄격한분석을실행하고,결함으로이어지는경우의값보기
성능검사기능
c++코드에서성능문제를일으킬수있는코딩방식들검사
CERT C지원
스레드안전문제,하드코딩된민감한데이터를위한새로운검사기능을포함한모든CERT C규칙의위반검사
이러한기능과해당함수에대한세부정보는릴리스정보를참조하십시오。
