验证,验证및测试를위한MATLAB및仿真软件万博1manbetx
모델기반설계를이용하여임베디드시스템을검증합니다。
엔지니어링팀은MATLAB®및仿万博1manbetx真软件®를이용한모델기반설계를통해복잡한임베디드시스템을설계하고고품질의C, c++,高密度脂蛋白코드를생성합니다。MathWorks툴은엄격하고자동화가능한시뮬레이션테스팅및正式方法기반정적분석을이용하여모델기반설계를보완하여오류를조기에탐지하고높은품질을달성합니다。
MATLAB및仿真万博1manbetx软件로할수있는작업은다음과같습니다。
“수작업으로코딩하던과거의경험과비교하면,저희는모델기반설계를통해인건비30%,테스팅코드20%를줄이고생산성을30%이상향상시켰습니다。저희는자체소프트웨어개발팀을구축하는한편,일정보다빨리ECU개발을완료했습니다。”
李大明，潍柴动力
검증에MATLAB및仿真软万博1manbetx件활용하기
요구사항검증
문서스,프레드시트또는IBM®理性的®门®같은요구사항관리툴에저장된非正式텍스트요구사항으로부터터개발프로세스를시작합니다。万博1manbetx仿真软件需求™를이용하면사용자의아키텍처,설계,생성된코드,테스트아티팩트와함께요구사항을열람,작성,관리할수있습니다。요구사항으로부터에서作曲家™,Stateflo万博1manbetxw仿真软件®으로작성된설계또는仿真软件测万博1manbetx试™의MATLAB테스트까지디지털스레드를구성할수있습니다。이러한추적성을이용하여구현물또는테스트의미비점을식별하고,설계나테스트의변경이미치는영향을빠르게이해할수있습니다。第三方工具에서나온요구사항을열람,동기화,관리하여,사용자의개발프로세스에있는다른툴들과의추적성을구축할수있습니다。
万博1manbetx仿真软件测试에있는时间评估를활용하면,평가하고디버깅할수있는자연어형식의정밀한시멘틱스를이용하여평가를지정함으로써텍스트요구사항을검증할수있습니다。
인증표준준수
- 178、ISO 26262、IEC 61508、IEC 62304및MAAB (MathWorks汽车顾问委员会)스타일지침을비롯한표준에대한모델과코드의적합성을자동으로검증합니다。万博1manbetx模型检查™는개발시표준및지침위반을식별하는,업계에서인정받는검사및메트릭을제공합니다。사용자의표준또는지침에맞춰사용자지정검사를생성할수도있습니다。IEC认证工具包(ISO 26262및IEC 61508용)및做资格工具包(- 178용)에서는工具Qualifcation工件,证书그리고测试套件들을제공하여,코드생성및검증제품의적합성을검사하고임베디드시스템의인증을간소화할수있습니다。
오류가없음을증명하고요구사항을공식적으로검증합니다。
모델의시뮬레이션없이도形式验证을통해整数溢出,死去的逻辑,数组访问违反및除零로인해유발되는숨겨진설계오류를탐지합니다。万博1manbetx仿真软件设计校验™를이용하면사용자의설계오류또는보안취약점을Frmal方法로검증할수있습니다。万博1manbetx仿真软件设计校验를이용하면설계가핵심요구사항을충족하고있음을증명할수도있습니다。툴이异常을탐지하면디버깅을위해반례를생성할수도있습니다。
자동테스트생성
테스트의미비점,의도치않은기능또는요구사항오류를식별해야합니다。万博1manbetx仿真软件覆盖™는모델또는생성된코드가테스트중에얼마나실행되었는지계산합니다。조건(条件),결정(决定),MCDC(수정조건/결정)및사용자지정커버리지客观등산업표준메트릭을적용합니다。万博1manbetx仿真软件设计校验는자동으로테스트케이스를생성하여불완전한커버리지를보완함으로써구조적,기능적커버리지목표를달성합니다。
정적코드분석
手写코드와생성된코드를검증하기위해Polyspace®제품군은테스트케이스나코드실행없이도를正式方法이용하여버그를찾,고치명적인런타임오류가없다는사실을증명합니다。Polyspace错误发现者™는MISRA®ISO 26262, IEC 61508 - 178, FDA규정등표준에대한적합성을확인하고문서로작성합니다。소프트웨어의보안취약점을검사하고CWE, CERT-C, ISO / IEC 17961등표준에대한적합성을검사할수있습니다。Polyspace代码验证™는정적분석을수행하여C및c++소스코드에溢出,除零,数组越界访问,기타런타임오류가없다는사실을증명합니다。
免费试用
30天的探索触手可及。
让我们知道我们可以如何帮助你。
联系我们进行定制评估，并根据您的需求获得定价。
