Polyspace代码证明器
BestätigungDER Abwesenheit冯Laufzeitfehlern在软件
Polyspace代码证明器™IST EINleistungsfähiges工具献给statische Analysen，MIT数字高程模型模具Abwesenheit冯Fehlern魏某Überlauf，司第三人以空，阵列的ZugriffeaußerhalbDESgültigenBereichs UND anderen Laufzeitfehlern在C-UND C ++ - Quellcode nachgewiesen werden卡恩。EINEAusführungDES programms的，EINE代码Instrumentierung奥德Testsituationen信德hierfürnicht erforderlich。Anhand冯semantischer分析UND abstrakter解读basierend奥夫formalen MethodenüberprüftPolyspace代码证明方达斯prozessübergreifendesowie DAS Kontrollfluss- UND Datenflussverhalten德软件。DamitkönnenSIE handgeschriebenen代码，generierten代码奥德EINE Kombination德beidenüberprüfen。Jede代码Anweisung IST farblich gekennzeichnet，JE nachdem，腾代码弗雷冯Laufzeitfehlern，nachweislich fehlerhaft，unerreichbar奥德unbewiesen IST。
Polyspace代码证明器zeigt Bereichsinformationen献给Variablen UNDFunktionsrückgabewerteUND卡恩nachweisen，welche Variablen vorgegebene Bereichsgrenzenüberschreiten。模具Ergebnisse DER代码Verifikationkönnen楚Überwachung冯QualitätsmesswertenUNDÜberprüfung德Übereinstimmung麻省理工学院IhrenSoftwarequalitätszielenverwendet werden。Polyspace代码证明器卡恩献给死去Verifikation冯典奥夫Ihrem桌上型计算机麻省理工学院的Eclipse™IDE verwendet werden。
模具Unterstützung冯Branchenstandards北京时间möglich尤伯杯DAS IEC认证工具包（献给IEC 61508 UND ISO 26262）UND DAS DO资格套件（献给DO-178）。
检查现在Loslegen：
BestätigungDER Abwesenheit冯kritischen Laufzeitfehlern
Identifizieren SIE Operationen MIT C / C ++ UND阿达码，贝田园ESunabhängig冯巢穴Laufzeitbedingungen聂つLaufzeitfehlern kommt。
Erkennen冯Laufzeitfehlern。
Erkennung冯anderweitig nicht nachweisbaren Fehlern
Analysieren SIE全部代码Pfade奥夫möglicheEingaben指数ohne代码Ausführung。
Aufrufhierarchie。
Erstellung冯Zertifizierungsdokumenten
SchließenSIE死Zertifizierungsverfahren献给IHRE Projekte NACHgültigenIndistriestandards AB。
DO资格套件。
诠释社会学DER Ursache冯Problemen UND Verbessern DES Entwurfs
ÜberprüfenSIE书房Steuer- UND Datenfluss第三人以死软件和拉森SIE SICH详细祖书房Wertebereichen anzeigen，死Variablen UND Operatoren zugewiesen wurden。
工具提示，DER模具möglichenBereiche献给全部Laufzeitbedingungen anzeigt。
Verhinderung冯unbeabsichtigtem Softwareverhalten
Ermitteln SIE全部代码Abschnitte，死尤伯杯einenAusführungspfadnicht erreichbar信德，sowie Fehler在逻辑学UND Programmstruktur。
Ermittlung冯图腾代码。
Nachverfolgung DER代码Verifikationsergebnisse祖Simulin金宝appk的Modellen
Verifizieren SIE generierten代码UND verfolgen SIE死Ergebnisse二的ZumursprünglichenModellblock在Simulinkzurück。金宝app
RückverfolgungDER Ergebnisse德Codeverifikation的Zum Simul金宝appink的潜行。
AUTOMATISIERUNG DER代码Verifikation
Verwenden SIE Polyspace代码证明方服务器™，嗯死引擎献给statische Analysen冯Polyspace代码证明者MIT内建Automatisierungstools魏某詹金斯UND竹奥夫einem Servercomputerauszuführen。
AUTOMATISIERUNG DER代码Verifikation。
Meldung UND上传冯Ergebnissen献给模具gemeinsameÜberprüfung
拉森SIE Defekte automatisch书房Besitzern德jeweiligen Komponente zuweisen，每Benachrichtigungen电子邮件versenden UND Ergebnisse在Polyspace代码证明器访问hochladen，嗯Probleme vorzuselektieren UND祖lösen。
Versenden冯电子邮件的Benachrichtigungen麻省理工学院Ergebnissen冯Polyspace代码证明者。
Überprüfen冯Analyseergebnissen，嗯Probleme vorzuselektieren UND祖lösen
Polyspace代码证明器访问™bietet EINE的Webbrowser-Benutzeroberfläche献给Ergebnisse DER代码Verifikation MIT Polyspace UNDQualitätsmesswerten，死在einem zentralen库gespeichert werden。Anhand DER Navigationswerkzeuge在Ihrem浏览器könnenSIE死Ergebnisse DER代码Verifikation，死同侧MIT数字高程模型代码angezeigt werden，überprüfen。
Erkennen冯Laufzeitfehlern。
Projekt- UNDSoftwarequalitätsziele
在仪表板werden信息详细信息angezeigt，模具SIE楚Überwachung德Softwarequalität，DES Projektstatus，DER Anzahl DER Defekte，DER码Metriken und明镜Softwarequalitätszielenutzenkönnen。
仪表板麻省理工学院Projektüberblick。
Einbindung在模具bereits vorhandenen bug跟踪工具
Verwenden SIE死Webbrowseroberfläche的Zum ERSTELLEN UND Zuweisen冯门票麻省理工学院bug跟踪工具WIE etwa吉拉。
Erstellung EINES门票。
编译器Unterstützung
Einrichten einer Polyspace-分析嗯Microchip的MPLAB XC16 UND XC32编译祖emulieren
PrüfungDES Initialisierungscodes
Verifizierung德reinen Initialisierungscodes VOR德PrüfungDES verbleibenden programms的UNDPrüfung，OB全部globalen Variablen explizit initialisiert wurden
金宝appSimulink的Unterstützung
分析individuellen代码，德·冯·C-Funktionsblöckenabgerufen wurde
详细祖Diesen表示Merkmalen UND书房zugehörigenFunktionen芬登SIE在书房Versionshinweisen。
