Matlab Und 金宝appSimulinkFürVerifizierung，Validierung und Test
验证和验证是否有更好的系统基于模型的设计
Entwicklungsingenieure nutzen基于模型的设计麻省理工学院的MATLAB®und 金宝appsimulink®，um komplexe eingebettee systeme zu entwickeln und c代码，c ++代码sowie hdl代码auf produktionsniveau zu generieren。Mathworks Tools Verwenden Simulationstests und Auf Trucoren Methoden Basierende Statische Analysen，UM模型设计DecrenauestePrüfungundaulisierung zuErgänzen，Damit FehlerFrühzeitigerErkannt undHöherePräzisionErzieltWerdenKönnen。
MIT Matlab und 金宝appSimulink Istfolgendesmöglich：
- Nachverfolgen Von Anforderungen Zu Architektur，设计，测试und Code
- Nachweis，Dass Ihr Entwurf Die AnforderungenErfülltund keine krititchen laufzeitfehler aufwweist
- Prüfen der Konformität und Messen von Modell- und Codequalität
- Automatische Ostellung vonTestfällenzurerhöhungder testabdeckung
- Erstellen von Berichten和Artefakten sowie Zertifizieren von Standards (wie做- 178und.ISO 26262.）。
“Verglichen Mit UnseterenFrüherenSerfahrungenMit Manueller ProgramsMierung Konnten Wir Mithilfe von模型的设计Die Arbeitskosten UM 30％und Die Testkosten UM 20％Senken Sowie DieProduktivitätumMehrals 30％Steigern。Wir Haben Die Ecu-entwicklung Vorzeitig Abgeschlossen und Dabei不当实习软件 - entwicklungsteam eingerichtet。“
大陵李，潍柴力量
Matlab und 金宝appSimulinkFürVerifizierungund Validerung
Verifizierung von Anforderungen.
Informelle Textanforderungen，Dokumenten，Tabellenkallyenen Oder AnforderungsManagement-Tools Wie IBM®合理的®门®gespeichert werden können, lösen den Entwicklungsprozess aus。Mit 金宝appSimulink Requirements™können Sie Anforderungen zusammen Mit Architektur, Entwürfen, erzeugtem Code and Testartefakten anzeigen, ausarbeiten and organisieren。在System Composer™，Simulink, Stat金宝appeflow中的Sie können®Einen Digital Thread Von Ersten Anforderungen Bis Zum Entwurf Eterhen Oder在Simul金宝appink Test™Matlab-Tests Entwickeln中。Anhand DieserRückverfolgarkeitKönnenSieImpleationierungs-奥德莱克·厄尔特列伦·奥斯韦尔克省EinerÄnderungauf onwurf oder测试UmgehendÜberblicken。Anforderungen von Drittpartei-ToolsKönnenAngezeigt，Synchronisiert underisiert Werden，UM DieRückverfolgarkeitMit和塞伦工具在Ihrem Entwicklungsprozess Herzustellen。
Anhand zeitlicher Bewertungen in 金宝appSimulink Test können Sie Textanforderungen verizieren, indem Sie Bewertungen mit präziser Semantik in einem natürlichen Sprachformat angeben, dass auswert- und austestbar ist。
Einhaltung冯Zertifizierungsstandards
Automatisieren Sie Die Verifizierung von Modellen und Code BzGL。标准WIE DO-178，ISO 26262，IEC 61508，IEC 62304 und Mathworks咨询委员会（MAB）Stil-Richtlinien。金宝appSimulink Check™Bietet Branchenweit Anerkannteüberprüfungenund Metriken，Mit DenenVerstößeGEGEN标准undRichtlinienwährendder entwicklung Identifiziert Werden。SieKönnenInginuelleÜberprüfungen奥斯特伦，UM Eigene标准臭臭Richtlinien Einzuhalten。DAS IEC认证套件（对于ISO 26262和IEC 61508）und DAS DO Qualification Kit（对于Do-178和Do-254）Beinhalten工具 - QualifizierungsArtefakte，Zertifizierungen und Test-uten，Mit Denen Sie Codegenerierungs-und-errifizierungsprodukte Qualifizieren und Die Zertifizierungihrer eingebetteten systemeOptimerenKönnen。
Produkte kennenlernen
Abwesenheit von Fehlern Nachweisen und Mallyes Verifizieren von Anforderungen
贝德·甲型普瑞斯·沃尔登·奥尔德·冯德·埃尔维斯·斯特克斯·埃尔维斯弗里夫斯弗里夫斯弗雷德勒金森省，死亡逻辑，Dead Logic，Array-Zugriffsverletzungen und Divity Durch Null Verursachen。金宝appSimulink Design Verifier™KANN正式Verifizieren，Dass Ihr Entwurf Frei von Fehlern oder Sicherheitsschwachstelen ist。Außerdemkann s金宝appimulink设计验证者Beweisen，Dass Ihr Entwurf Kritische AnforderungenErfüllt。Findets DAS工具EINE AUSNAHME，ERZEUGT ES EIN GEGENBEISPIEL ZUM Debuggen。
Weitere Informationen
Produkte kennenlernen
Automatische Testerzeugung
Testlücken, unbeabsichtigte Funktionalität und Anforderungsfehler müssen unbedingt erkannt werden。金宝appSimulink Coverage™berechnet，它的型号是bzw。des erzegten Codes beim Testen ausgeführt wire。标准包括条件、决定、修改条件/决定(MCDC)和自定义覆盖目标。金宝appSimulink Design Verifier kann bei unvollständiger Abdeckung(不完全覆盖)automatich Testfälle erzeugen, um strukturelle und funktionale Abdeckungsziele zu erfüllen。
Statische Codeanalyse.
验证通用代码与通用代码之间的关系®-Produkte Formale方法，UM错误Zu Finden und Die Abwesenheit KrititItcher LaufzeitFehler Nachzuweisen - OhneTestfälle奥达Codeausführung。Polyspace Bug Finder™Überprüftundokumentiertieeinhaltungvon标准Wie Misra®，ISO 26262，IEC 61508，DO-178 und FDA-Vorschriften。SieKönnenAMIT软件-Sicherheitsschwachstellen Findend und标准Wie Cwe，Cert-C，ISO / IEC 17961Undereüberprüfen。Polyspace Code Prover™Führteineatische Codeanalyse aus，um die abwesenheit vonÜberlauf，decrent null，zugriffaußerhalbder grenzen und weitere laufzeitfehler在c / c ++ quellcode zu beweisen。
Weitere Informationen
Produkte kennenlernen
筛子Gelangen von Einfachen Aufgaben Zu Komplexeren Vorhaben，Indem Sie Interaktive Beispiele und Tutorials Nutzen。
