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。
Erkennung冯anderweitig nicht nachweisbaren Fehlern
Analysieren SIE全部代码Pfade奥夫möglicheEingaben指数ohne代码Ausführung。
Erstellung冯Zertifizierungsdokumenten
SchließenSIE死Zertifizierungsverfahren献给IHRE Projekte NACHgültigenIndistriestandards AB。
诠释社会学DER Ursache冯Problemen UND Verbessern DES Entwurfs
ÜberprüfenSIE书房Steuer- UND Datenfluss第三人以死软件和拉森SIE SICH详细祖书房Wertebereichen anzeigen,死Variablen UND Operatoren zugewiesen wurden。
Verhinderung冯unbeabsichtigtem Softwareverhalten
Ermitteln SIE全部代码Abschnitte,死尤伯杯einenAusführungspfadnicht erreichbar信德,sowie Fehler在逻辑学UND Programmstruktur。
Nachverfolgung DER代码Verifikationsergebnisse祖Simulin金宝appk的Modellen
Verifizieren SIE generierten代码UND verfolgen SIE死Ergebnisse二的ZumursprünglichenModellblock在Simulinkzurück。金宝app
AUTOMATISIERUNG DER代码Verifikation
Verwenden SIE Polyspace代码证明方服务器™,嗯死引擎献给statische Analysen冯Polyspace代码证明者MIT内建Automatisierungstools魏某詹金斯UND竹奥夫einem Servercomputerauszuführen。
Meldung UND上传冯Ergebnissen献给模具gemeinsameÜberprüfung
拉森SIE Defekte automatisch书房Besitzern德jeweiligen Komponente zuweisen,每Benachrichtigungen电子邮件versenden UND Ergebnisse在Polyspace代码证明器访问hochladen,嗯Probleme vorzuselektieren UND祖lösen。
Ü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。
Projekt- UNDSoftwarequalitätsziele
在仪表板werden信息详细信息angezeigt,模具SIE楚Überwachung德Softwarequalität,DES Projektstatus,DER Anzahl DER Defekte,DER码Metriken und明镜Softwarequalitätszielenutzenkönnen。
Einbindung在模具bereits vorhandenen bug跟踪工具
Verwenden SIE死Webbrowseroberfläche的Zum ERSTELLEN UND Zuweisen冯门票麻省理工学院bug跟踪工具WIE etwa吉拉。
编译器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。