Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
RuleChecker
Vertaling van "RuleChecker" in Duits
RuleChecker
RuleChecker is fully batch-mode compatible and can be used in continuous integration frameworks.
RuleChecker kann im Batch-Modus ausgeführt werden und in Systemen zur kontinuierlichen Integration verwendet werden.
RuleChecker is a static analyzer designed to check coding guidelines and compute code metrics for safety-critical C programs.
RuleChecker ist ein statischer Analysator zur Prüfung von Codierrichtlinien und zur Berchnung von Codemtriken für sicherheitskritische C-Programme.
RuleChecker can also check for various code metrics - e.g. comment density, cyclomatic complexity, or number of instructions per function.
RuleChecker überprüft vielfältige Code-Metriken wie Commentdichte, zyklomatische Komplexität oder die durchschnittliche Anzahl der Instruktionen pro Funktion.
Using RuleChecker in conjunction with the sound semantic analyses offered by Astrée guarantees zero false negatives and minimizes false positives on semantical rules.
Benutzt man RuleChecker in Verbund mit Astrées sicherer semantischer Analyse, kann man False-Negatives garantiert ausschließen, und False-Positives für semantische Regeln auf ein Minimum reduzieren.
RuleChecker can be coupled with the sound static analyzer Astrée to guarantee zero false negatives and minimal false positives on semantical rules.
RuleChecker kann mit dem sicheren statischen Analysator Astrée gekoppelt werden, um unerkannte Fehler auszuschließen und Fehlalarme bzgl. semantischer Regeln zu minimieren.
KERCI is intended for use with checks performed during RuleChecker's "parse" and "source" phases and is not suitable as replacement of the A3C GUI for a complete runtime error analysis.
KERCI ist für den Einsatz mit RuleChecker Checks entworfen, die während der "Parse"- und "Source"-Phasen geprüft werden. Es ist nicht als Ersatz für die A3C-GUI bei einer vollständigen Laufzeitfehleranalyse geeignet.
AbsInt offers two static analyzers to check coding guidelines and find programming defects at the C code level: RuleChecker and Astrée.
AbsInt bietet zwei statische Analysatoren zur Prüfung von Codierrichtlinien und zum Erkennen kritischer Programmierfehler auf C-Code Ebene: RuleChecker und Astrée.
Verify MISRA compliance with RuleChecker.
Weisen Sie mit RuleChecker die Einhaltung von MISRA-Regeln nach.
Eclipse and µVision plugins now available for RuleChecker
Eclipse- und µVision-Plugins für RuleChecker jetzt erhältlich
The global automotive supplier Helbako in Germany is using RuleChecker to demonstrate MISRA compliance of their electronic control software.
Der Automobilzulieferer Helbako benutzt RuleChecker in der Entwicklung von Steuerungssoftware.
The seamlessly integrated RuleChecker lets you check your code for compliance with MISRA, CWE, ISO/IEC, and SEI CERT C coding rules.
Mit dem nahtlos integrierten RuleChecker können Sie die Einhaltung von MISRA-, CWE-, ISO/IEC- und SEI-CERT-Regeln überprüfen.
Bosch Automotive Steering replaced their legacy tools with Astrée and RuleChecker, resulting in significant savings thanks to faster analyses, higher accuracy, and optimized licensing and support costs. Qualification support
MTU Friedrichshafen Automotive Steering (vormals ZF Lenksysteme) ersetzte ihre alte Software durch Astrée und RuleChecker und profitiert seitdem von den viel schnelleren Analysen, der deutlich höheren Zuverlässigkeit und den wesentlich geringeren Support-Kosten.
Use the powerful coding rule check capabilities of AbsInt A3C RuleChecker directly from with the Eclipse (CDT) IDE.
Nutzen Sie AbsInt A3C RuleChecker bequem und einfach direkt in der Eclipse (CDT) IDE.
Synoniemen voor RuleChecker in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 28. Exact: 28. Verstreken tijd: 49 ms.
