확인，검증및테스트를위한matlab및simulin金宝appk
모델기반설계를이용하여임베디드시스템을확인하고검증할수있습니다。
MATLAB®및仿金宝app真软件®를이용한모델기반설계를통해엔지니어링팀은복잡한임베디드시스템을설계하고프로덕션급품질의C, c++및HDL코드를생성할수있습니다。MathWorks의툴은시뮬레이션테스트및정형기법기반의정적분석을통해모델기반설계에엄밀성과자동화를더함으로써오류를조기에찾고더높은품질을달성할수있습니다。
MATLAB및仿真金宝app软件를사용하여다음과같은작업을수행할수있습니다。
“수작업으로코딩하던과거의경험과비교하면,저희는모델기반설계를통해인건비30%,테스팅코드20%를줄이고생산성을30%이상향상시켰습니다。사내소프트웨어개발팀을구축하면서도일정보다일찍ECU개발을완료했습니다。”
大陵李，潍柴力量
확인및검증에MATLAB및仿真软件사金宝app용
요구사항검증
문서스,프레드시트또는IBM®理性的®门®등의요구사항관리에저장저장수있는텍스트요구사항을을통해공정을시작할수수개발공정을을수수수金宝appSimulink要求™를사용하면하면，설계，생성된코드및테스트아티팩트함께사항항을，작성및관리수있습니다。요구사항에서系统Composer™，Simulin金宝appk，StateFlow®의설계또는仿真软金宝app件测试™의MATLAB테스트까지의디지털스레드를생성할수있습니다。이추적성을통해구현또는테스트에서빠진부분을식별하고변경사항이설계또는테스트에미치는영향을빠르게파악할수있습니다。타사툴의요구사항을조회,동기화및관리하여개발공정내다른툴과의추적성을구축할수있습니다。
金宝app仿真软件测试의시간적평가를활용하면,평가및디버깅할수있는자연어형식의정확한구문으로평가를지정함으로써텍스트요구사항을검증할수있습니다。
인증표준준수
- 178、ISO 26262、IEC 61508、IEC 62304및马伯(MathWorks顾问委员会)스타일지침과같은표준에대해모델및코드를자동으로검증합니다。金宝app模型检查™는개발도중에발생하는표준및지침위반사항을파악할수있도록업계에서인정받는검사및메트릭을제공합니다。이를통해사용자의표준및지침을충족할수있는사용자지정검사를생성할수있습니다。IEC认证工具包(ISO 26262和IEC 61508)및做资格工具包(- 178和- 254)做는툴검증아티팩트,인증서및테스트스위트를통해코드생성및검증제품의적합성을검사하고임베디드시스템의인증을간소화하도록해줍니다。
오류의부재증명및정형기법으로요구사항검증
설계를시뮬레이션하지않고도정형검증을통해정수오버플로,데드로직,배열액세스위반,0으로나누기가발생하는숨겨진설계오류를찾을수있습니다。金宝app仿真软件设计校验™를통해설계에오류또는보안취약성이없는지정형적으로검증할수있습니다。또한仿金宝app真软件设计校验는설계가핵심요구사항을충족함을증명할수도있습니다。툴에서예외를탐지하면디버깅을위해반례를생성합니다。
자동테스트생성
테스트의미비점,의도치않은기능또는요구사항오류를식별하는것은중요합니다。金宝app仿真软件覆盖™는모델또는생성된코드가테스트중에얼마나실행되었는지계산할수있습니다。조건,결정,수정조건/결정및(MCDC)사용자지정커버리지목표등의업계표준메트릭을적용합니다。金宝app仿真软件设计校验는자동으로테스트케이스를생성하여불완전한커버리지를보완함으로써구조적,기능적커버리지목표를달성할수있습니다。
정적코드분석
손으로작성한코드및생성된코드를검증하기위해Polyspace®제품에서는정형기법을이용하여테스트케이스또는코드실행없이버그를찾고심각한실시간오류가없음을증명할수있습니다。Polyspace错误发现者™는MISRA®、ISO 26262、IEC 61508, - 178및FDA규정과같은표준에대한준수여부를검사하고문서화할수있습니다。사용자는CWE CERT-C, ISO / IEC 17961등의표준에대한적합성및소프트웨어의보안취약성을검사할수있습니다。Polyspace代码验证™는정적분석을수행하여C및c++소스코드에서오버플로,0으로나누기,범위를벗어난배열액세스및기타런타임오류가없음을증명할수있습니다。
