Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
source code analysis and
Traduction de "source code analysis and" en allemand
Quellcodeanalyse und
Quellcodeanalyse- und
LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has been awarded TÜV SÜD certification.
LDRA, dem Marktführer im Bereich Nachweis von Standards, automatisierter Softwareverifizierung, Quellcodeanalyse und weiterer Testwerkzeuge wurde die TÜV SÜD Zertifizierung zuerkannt.
26 February 2013. LDRA, the leading provider of automated software verification, source code analysis and test tools, today announced the immediate availability of compliance tools for the recently announced MISRA C:2012 guidelines for safety-critical software.
LDRA, der führende Lieferant von Werkzeugen zur automatisierten Softwareverifizierung, der Quellcodeanalyse und weiterer Testwerkzeuge, gibt heute bekannt, dass ab sofort Nachweismöglichkeiten für die kürzlich annoncierten MISRA C: 2012 Richtlinien für sicherheitskritische Software zur Verfügung stehen.
LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has automated the interface between the LDRA tool suite and Atmel's AVR Studio.
LDRA, der Marktführer im Nachweis von Standards durch Werkzeuge für die automatisierte Softwareverifizierung, Quellcodeanalyse und weiterer Testwerkzeuge hat die Schnittstelle zwischen der LDRA Werkzeugreihe und Atmels AVR Studio automatisiert.
LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has created LDRA Certification Services (LCS), a division devoted to helping customers develop certification-ready products.
LDRA, der Marktführer bezüglich Nachweis von Standards, automatisierter Softwareverifizierung, Quellcodeanalyse und weiterer Testwerkzeuge, hat die LDRA Zertifizierungsdienstleistungsabteilung (LCS) ins Leben gerufen, eine Abteilung, die Kunden dabei unterstützen soll Produkte zu entwickeln, die anschließend leicht nach gewissen Standards zertifiziert werden können.
Wirral, UK, 30 May 2013 - LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has integrated the LDRA tool suite with the Lauterbach TRACE32 Debugger and Simulator.
Wirral, Vereinigtes Königreich, den 30. Mai 2013.-LDRA, die führende Firma in Bezug auf Nachweis von Standards, automatisierter Softwareverifizierung, Quellcodeanalyse und anderer Testwerkzeuge, hat die LDRA Werkzeugreihe mit Lauterbachs TRACE32 Debugger und Simulator integriert.
Using a combination of automated source code analysis and manual reviews, we identify design flaws and implementation bugs hidden deep in the code base.
Mittels einer Kombination aus automatisierter Quellcode-Analyse und manuellen Prüfungen identifizieren wir Entwicklungs- und Implementierungsfehler, die tief in der Code-Basis verborgen sind.
System-wide assessment of quality management in SAP development process and the subsequent design and integration of automated ABAP source code analysis and unit testing (bachelor thesis)
Systemweite Analyse des Qualitätsmanagements im SAP-Entwicklungsprozess und anschließend der Entwurf und die Integration einer automatisierten ABAP-Quellcodeprüfung und der Unit Tests (Bachelorarbeit)
Tools: Various audit management tools and other programs for source code analysis and penetration testing (exclusively conducted by external partners)
Tools: diverse Audit-Management-Tools und weitere Programme für Sourcecode-Analysen und Penetrationstests (ausschließlich von externen Partnern durchgeführt).
LDRA, the leading provider of automated software verification, source code analysis and test tools, announces LDRArules, a programming rule checker that brings together a collection of rules from a broad spectrum of programming standards.
Der führende Anbieter automatisierter Softwareverifizierungs-, Quellcodeanalyse- und weiterer Testwerkzeuge, gibt LDRArules frei, eine Programmierregelüberprüfungssoftware, die eine große Kollektion von Regeln über ein breites Spektrum von Programmierstandards umfasst.
Wirral, UK. 25 October, 2012-LDRA, the leading provider of automated software verification, source code analysis and test tools, has fully integrated the LDRA tool suite with IBM Rational Rhapsody ensuring a seamless workflow from model-driven development to test and verification.
Wirral, Vereinigtes Königreich, den 25. Oktober 2012.-LDRA, der führende Anbieter automatisierter Softwareverifizierungs- Quellcodeanalyse- und weiterer Testwerkzeuge hat die LDRA Werkzeugreihe mit IBM Rational Rhapsody vollständig integriert, so dass nunmehr ein nahtloser Arbeitsfluss von der modellgetriebenen Entwicklung bis zum Test und der Verifizierung möglich ist.
Embedded Source Code Analysis and Verification - Embedded Systems
Eingebetteter Quellcode, Analyse und Verifikation - Eingebettete Systeme
They support a stringent source code analysis and verification process that enables you to detect and prove the absence of run-time errors such as overflow, divide by zero, and out-of-bounds array access without program execution, code instrumentation, or test.
Sie ermöglichen einen stringenten Verifikationsprozess, durch den Laufzeitfehler wie Überläufe, Divisionen durch Null und Array-Zugriffe außerhalb des gültigen Bereichs entdeckt und deren Abwesenheit analytisch bewiesen werden kann, ohne den Code auszuführen, zu instrumentieren oder Testfälle zu erzeugen.
LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, now offers unprecedented verification of the model through a sophisticated integration with MATLAB and Simulink.
LDRA, der führende Anbieter von automatisierten Softwareverifizierungs-, Quellcodeanalyse- und anderen Testwerkzeugen bietet nunmehr eine beispiellose Verifizierung des modellbasierten Entwurfs durch eine komplexe Integration mit MATLAB und Simulink an.
Le mot et l’expression du jour
L’image du jour
Suggestions qui contiennent source code analysis and
Résultats: 13. Exacts: 13. Temps écoulé: 83 ms.
