Vertaling van "RuleChecker" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
RuleChecker kann im Batch-Modus ausgeführt werden und in Systemen zur kontinuierlichen Integration verwendet werden.
RuleChecker is fully batch-mode compatible and can be used in continuous integration frameworks.
RuleChecker ist ein statischer Analysator zur Prüfung von Codierrichtlinien und zur Berchnung von Codemtriken für sicherheitskritische C-Programme.
RuleChecker is a static analyzer designed to check coding guidelines and compute code metrics for safety-critical C programs.
RuleChecker überprüft vielfältige Code-Metriken wie Commentdichte, zyklomatische Komplexität oder die durchschnittliche Anzahl der Instruktionen pro Funktion.
RuleChecker can also check for various code metrics - e.g. comment density, cyclomatic complexity, or number of instructions per function.
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.
Using RuleChecker in conjunction with the sound semantic analyses offered by Astrée guarantees zero false negatives and minimizes 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.
RuleChecker can be coupled with the sound static analyzer Astrée to guarantee zero false negatives and minimal false positives on semantical rules.
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.
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.
AbsInt bietet zwei statische Analysatoren zur Prüfung von Codierrichtlinien und zum Erkennen kritischer Programmierfehler auf C-Code Ebene: RuleChecker und Astrée.
AbsInt offers two static analyzers to check coding guidelines and find programming defects at the C code level: RuleChecker and Astrée.
Weisen Sie mit RuleChecker die Einhaltung von MISRA-Regeln nach.
Verify MISRA compliance with RuleChecker.
Eclipse- und µVision-Plugins für RuleChecker jetzt erhältlich
Eclipse and µVision plugins now available for RuleChecker
Der Automobilzulieferer Helbako benutzt RuleChecker in der Entwicklung von Steuerungssoftware.
The global automotive supplier Helbako in Germany is using RuleChecker to demonstrate MISRA compliance of their electronic control software.
Astrée beinhaltet RuleChecker zur Prüfung von Codierrichtlinien und zur Berechnung von Code Metriken (MISRA C:2004, MISRA C:2012, HIS-Metriken, ...)
Astrée includes RuleChecker to report violations of coding rules and to compute code metric thresholds (MISRA C:2004, MISRA C:2012, HIS metrics, ...). RuleChecker
Mit dem nahtlos integrierten RuleChecker können Sie die Einhaltung von MISRA-, CWE-, ISO/IEC- und SEI-CERT-Regeln überprüfen.
The seamlessly integrated RuleChecker lets you check your code for compliance with MISRA, CWE, ISO/IEC, and SEI CERT C coding rules.
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.
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
