Examples with "RuleChecker can also" and their translation in Duits
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 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.
Additionally, RuleChecker can check for various code metrics such as comment density, cyclomatic complexity, or number of instructions per function.
Vielfältige Statistiken und Code-Metriken wie Commentdichte und zyklomatische Komplexität. Optionale Überprüfung von benutzerdefinierten Metrik-Grenzwerten.
RuleChecker can be automatically qualified according to all relevant safety norms, including ISO-26262, DO-178B/C, IEC-61508, EN-50128, etc.
RuleChecker kann automatisch gemäß aller aktuellen Sicherheitsnormen qualifiziert werden, darunter ISO-26262, DO-178B/C, IEC-61508, EN-50128, usw.
Operational Requirements Report, listing all functional requirements for 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.
Due to this approach any static RuleChecker configuration can be applied for any selection of source and header files.
Dank dieses flexiblen Ansatzes kann jede statische RuleChecker-Konfiguration für KERCI verwendet werden.
The installation package for RuleChecker also includes a plugin for the ARM Keil µVision IDE/Debugger.
Das Installationspaket für RuleChecker beinhaltet auch ein Plugin für ARM Keil µVision.
Eclipse and µVision plugins now available for RuleChecker
Eclipse- und µVision-Plugins für RuleChecker jetzt erhältlich
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.
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.
There's no need to figure out RuleChecker by yourself or read the user manual cover to cover.
Sie müssen sich nicht selbst in Astrée einarbeiten oder die Doku von vorne bis hinten lesen.
RuleChecker is a static analyzer designed to check coding guidelines and compute code metrics for safety-critical C programs.
Hallenplan Understand von SciTools ist ein statisches Analysewerkzeug zum Beibehalten, Messen und Visualisieren von Code-Basen.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.