金宝app仿真软件设计校验™ermittelt麻省理工学院formalen Methoden versteckte Entwurfsfehler Modellen。Das工具erkennt Blocke im上一次,祖茂堂Ganzzahluberlaufen死去,装载起重机的逻辑学,Array-Zugriffsverletzungen和Divisionen军队零fuhren麻省民主党工具lasst西奇正式verifizieren dass静脉Entwurf死funktionalen Anforderungen erfullt。贝jedem Entwurfsfehler、Verstoß对战Anforderungen将vom工具静脉Simulationstestfall苏珥Fehlerbehebung generiert。
金宝app仿真软件设计校验generiert Testfalle毛皮死Modellabdeckung和vom Anwender definierte Ziele,死vorhandene anforderungsbasierte Testfalle erweitern。这张Testfalle fuhren您Modelle苏珥Erfullung冯Zielen zur Bedingungs——没有——和modifizierten Bedingungs - / Entscheidungsabdeckung(修改条件/决定报道)和苏珥Erfullung anwenderdefinierter Abdeckungsziele。Zusatzlich祖茂堂Abdeckungszielen您能individuelle Testziele festlegen和daraus automatisch anforderungsbasierte Testfalle generieren。
这苏珥是Unterstutzung冯Industriestandards信德dasIEC认证工具包(毛皮ISO 26262和IEC 61508)和das做资格工具包(毛- 178和- 254)做erhaltlich。
Anforderungen validieren
Prufen您伏尔民主党Beginn国际卫生条例Entwurfs死Konsistenz和Vollstandigkeit der modellierten Anforderungen。
Erkennung冯Laufzeit——和Diagnosefehlern
伏尔der Ausfuhrung冯Simulationen您能Laufzeit——和Modellierungsfehler她Ganzzahluberlaufe, Divisionen军队Null, Array-Zugriffsverletzungen, subnormale Werte和Gleitkommafehler和Datengultigkeitsfehler erkennen。
Erkennung冯装载起重机的逻辑学
法登您Objekte在Ihrem上一次,死贝静脉模拟奥得河Ausfuhrung des generierten代码不aktiviert了您能。
分析fehlender Testabdeckung
Erganzen和erweitern您bestehende, manuell erstellte Testfalle,嗯一张unvollstandige Modellabdeckung和Abdeckung冯generiertem代码和C / c++代码来自仿真软件金宝app®-Blocken和Stateflow®-Diagrammen祖茂堂beheben。
Verifikation正式Sicherheitsanforderungen
Vergewissern您西奇,dass das Verhalten国际卫生条例Entwurfs窝正式definierten Sicherheitsanforderungen(3)您mithilfe冯entspricht,死去MATLAB®,仿金宝app真软件和Stateflow ausdrucken。
构造anforderungsbasierter Testfalle
Generieren您Testfalle来自Modellen冯Systemanforderungen。
Produktressourcen:
„Weil我们Anforderungen施耐尔analysieren, Entwurfe vorheriger Produkte wiederverwenden和manuelle Programmierfehler ausschalten德国,帽子模型设计死Entwicklungsdauer verkurzt和爹妈straffere Zeitplane ermoglicht,军队我们死Bedurfnisse unser Kunden erfullen能帮。”
MyoungSuk Ko, LS汽车