金宝app仿真软件检查
설계품질을측정하고검증활동을추적하며표준준수여부를검증할수있습니다。
金宝app模型检查™는설계품질과표준준수여부를평가하기위해모델,요구사항,테스트를분석할수있습니다。업계에서인정받는검사및메트릭을제공하며이를통해개발과정에서모델링표준과지침위반사항을식별할수있습니다。지원하는고무결성소프트웨어개발표준은ISO 26262 - 178 c,做- 254、IEC 61508、ISO 25119、IEC 62304, MAB (MathWorks顾问委员会)스타일지침등이있습니다。金宝app模型检查는CERT C, CWE, ISO / IEC TS 17961등의시큐어코딩표준도지원합니다。이를통해사용자의표준및지침에부합하는사용자지정검사를생성할수있습니다。편집시검사를통해편집하는중에규정준수문제를식별할수있습니다。
金宝app模型检查는설계상태와품질을평가할수있도록크기,복잡성등의메트릭을제공합니다。모델테스트대시보드를통해요구사항기반테스트활동에서나온데이터를통합하여테스트상태를추적할수있습니다。자동모델리팩터링을통해모델링클론을대체하고설계복잡성을줄이며재사용가능한콘텐츠를식별할수있습니다。模型切片机툴은모델에서문제있는동작을분리하고,디버깅을위해단순화된모델을생성합니다。
IEC认证套件(适用于ISO 26262和IEC 61508)및DO认证套件(用于DO-178和DO-254)을통해업계표준을지원합니다。
시작하기:
고무결성소프트웨어개발에즉시사용가능한검사
모델및생성된코드의품질과보안성을개선하기위해仿真软件检查는I金宝appSO 26262 - 178 C, - 331, - 254, IEC 61508、ISO 25119、EN 50128과같은업계표준의준수여부,고무결성소프트웨어개발을위한MISRA - C: 2012年,MAB (MathWorks顾问委员会)지침과IEC 62304표준,CERT C, CWE, ISO / IEC TS 17961등의시큐어코딩표준등에대한사전구성된검사를제공합니다。
결과와권장조치가있는대화형리포트。
편집시오류식별및수정
맞춤법검사기능으로문서에서맞춤법오류를방지할수있는것처럼,편집시검사를통해모델편집도중에위반사항에대한알림을받을수있습니다。편집중에오류를수정하여개발공정후반에서의비용이많이드는재작업과추가테스트를최소화할수있습니다。
편집시검사로설계하면서준수문제를감지하고수정합니다。
모델검사구성,사용자지정및자동화
모델이소속조직의자체표준또는지침을준수하도록,模型顾问API또는模型顾问配置编辑器를사용하여모델링검사와구성을사용자지정할수있습니다。준수검증을가속화하기위해여러컴퓨터에서동시에검사를실행할수도있습니다。
模型顾问配置编辑器로사용자지정검사를생성합니다。
보안표준에대한준수여부검사
생성된코드의Certc, cwe, iso / iec ts 17961표준준수문제를줄이기위해모델을검사하여코딩표준준수위반사항을발생시킬수있는모델링구문을식별할수있습니다。편집시검사를통해시큐어코딩표준에서권장하지않는블록의추가와같은변경사항이생겼을때문제를식별할수있습니다。
생성된코드의시큐어코딩표준준수를저하시킬수있는블록을탐지합니다。
요구사항기반테스트메트릭
模型试验仪表板는요구사항기반테스트의품질과완전성에대한개요를제공하고ISO 26262 - 178등업계에서인정받는소프트웨어개발표준의지침을반영할수있습니다。이로써요구사항,모델,테스트,테스트결과등여러소스에서온프로젝트내아티팩트간디지털스레드를형성하고,그것들의일관성및완전성을분석하며상태에대한상세한메트릭측정값을제공할수있습니다。
대시보드위젯은각각의메트릭을요약해지침준수여부,요구사항에대한테스트완성도,테스트가포괄하는요구사항의비율과같은현재테스트결과를신속하게평가할수있게해줍니다。
요구사항기반테스트아티팩트의검토및관리
模型试验仪表板는프로젝트내아티팩트와추적성링크들을분석하고프로젝트내각구성요소에대한기능적요구사항,테스트케이스,테스트결과등을工件패널에보여줍니다。구현이나검증에서의미비점을식별할수있도록,모델로의추적성이없는아티팩트는강조표시됩니다。
대시보드는어떤아티팩트가프로젝트의구성요소로추적되지않는지보여줍니다。
ISO 26262에따른테스트완성도평가
模型试验仪表板를사용하여요구사항기반테스트활동의품질과완성도를ISO 26262 - 6:2018에따라평가할수있습니다。대시보드는요구사항,테스트,테스트결과간의추적성을모니터링할수있습니다。프로젝트내구현및검증아티팩트를분석하고,ISO 26262 - 6:2018에따라요구사항기반테스트케이스및테스트결과의완성도와품질메트릭을제공합니다。대시보드는추적하는모델의요구사항,테스트케이스,테스트결과를정리하여,테스트완성도와각단위에대한구조적커버리지를파악할수있게해줍니다。
ISO 26262검토를위해대시보드위젯을클릭하여표에있는메트릭에대한세부정보를봅니다。
품질측정을위한모델메트릭수집
金宝app模型检查는ISO 26262, - 178 c, - 331, - 254, IEC 61508、IEC 62304, EN 50128및기타표준에대한모델의아키텍처,복잡성및가독성준수여부를평가할수있는모델의메트릭을수집합니다。
모델메트릭을수집하고사용자지정하여품질을평가합니다。
대시보드에서통합메트릭확인
度量仪表板는모델크기,코드라인,지침준수상태,재사용,복잡성등의메트릭을하나의보기로통합하여프로젝트의품질에대한이해를돕습니다。대시보드를사용하여모델검토과정에서설계의품질과표준준수여부를검토할수있습니다。
度量仪表板의설계상태에대한통합보기。
종속성강조표시
模型切片机는정적종속성분석을사용하여블록,신호,모델구성요소간의상호종속성을강조표시하고,시뮬레이션중활성동작을기반으로동적종속성분석을사용하여대형모델이나복잡한모델에서기능적종속성을더욱잘이해할수있게도와줍니다。
설계오류또는테스트실패디버깅
金宝app仿真软件测试™에서테스트가실패하거나仿真软件设计校验™에서속성위반이식별된경우,模型切片机로디버깅을시작하여오류의원인을분리하고문제를더욱빠르게해결할수있습니다。
단순화된독립모델생성
模型切片机는사용자가지정한시작지점,기록된신호또는시뮬레이션시간창을기준으로모델의일부를분리한다음,시뮬레이션동작을보존하는작은모델로저장하여디버깅을돕고성능을개선할수있습니다。
디버깅을위해단순화된모델로자를수있는모델의부분강조표시。
Stateflow를사용한활동기반시간슬라이싱
시뮬레이션중에Stateflow®에서선택된상태와전이가동시에활성화될때만으로시뮬레이션시간간격을한정하여모델을강조표시하여,관심동작만분리할수있습니다。
상태가활성일때활성화된로직을식별합니다。
모델링클론의식별및리팩터링
识别建模克隆툴은모델을분석하여중복된모델링패턴을찾아낼수있습니다。이렇게중복된클론을재사용가능한라이브러리로자동으로리팩터링하여유지관리성을개선하고설계복잡성을줄일수있습니다。
모델변환을통한구성요소재사용성및모델가독성개선
子系统模型变压器툴은变异源또는变体블록으로변환할수있는모델링패턴을식별하고모델을리팩터링하여모델구성요소화와재사용성을개선할수있습니다。제거할수있는数据存储블록을식별하여가독성을높일수있습니다。
변형체로대체할수있는모델링패턴찾기。
