Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
source code analysis techniques and methodologies
Examples with "source code analysis techniques and methodologies" and their translation in Duits
Overview LDRA courses are designed to benefit software developers and testers who are already using or intend to use the LDRA tool suite, and wish to become familiar with the source code analysis techniques and methodologies that it supports.
Übersicht Die LDRA Kurse sind so angelegt, daß sowohl Softwareentwickler als auch Tester, die die LDRA Werkzeugreihe bereits verwenden oder sie zu verwenden gedenken und die sich mit den Quellcodeanalysetechniken und Methodiken der Werkzeugreihe vertraut machen möchten davon profitieren.
Training LDRA courses help software developers and testers using the LDRA tool suite become familiar with its source code analysis techniques and methodologies.
Training LDRA-Kurse helfen Softwareentwicklern und Testern, die die LDRA Tool Suite einsetzen, indem sie mit ihren Quellcode-Analysetechniken vertraut gemacht werden.
Andere resultaten
It accomplishes this by using, extending and expanding on known techniques for safety-oriented source code analysis - including abstract interpretations, deductive verifications and model checking.
Dazu setzt es an bereits bestehenden Methoden zur sicherheitsbezogenen Quellcodeanalyse, einschließlich abstrakter Interpretationen, deduktiver Verifikationen und der Modellprüfung, an und baut auf diesen auf.
Most importantly, TBrun eliminates the vast majority of tedious, error-prone manual testing techniques by leveraging rigorous analysis of the source code and automating the generation and execution of test cases against that code.
Noch wichtiger ist, dass TBrun eine riesige Anzahl von langwierigen, fehleranfälligen manuellen Testtechniken eliminiert durch die Anwendung rigoroser Analysen des Quellcodes und die Automatisierung der Erzeugung und Ausführung von Testfällen am untersuchten Code.
Using the CompCert C compiler is a natural complement to applying formal verification techniques (static analysis, program proof, model checking) at the source-code level.
Der Einsatz von CompCert ist die logische Fortführung des Einsatzes formaler Verifikation (statische Analyse, Model-Checking) auf der Quellcode-Ebene.
Learn in this video about Testwell CTC++ which shows Code Coverage even for cutting edge and extreme programming methods, binary and source code analysis, and the combinaion of static and dynamic analysis techniques for better software quality and faster time to market.
Dank der Binär- und Quellcodeanalyse sowie der Verbindung von Statischer und Dynamischer Analyseverfahren kann die Sicherheit Ihrer Software mit GrammaTech CodeSonar deutlich gesteigert werden.
Curriculum Design methodology and modeling techniques (examples, formal analysis techniques in the design process, sources of errors, automata, other formal languages, UML with precise semantics)
Entwurfsmethodik und Modellierungstechniken (Anwendungsbeispiele, formale Analysemethoden im Entwicklungsprozess, Fehlerquellen, Automaten, andere formale Sprachen, UML mit präziser Werkzeuge: SPIN, NuSMV)
Modern cryptoanlaytic techniques and computer analysis can oftentimes break even strong codes.
Moderne krypto-analytische Techniken und Computeranalyse können oftmals sogar starke Codes knacken.
Open source code daily or real-time analysis of large amounts of documentation files.
Open-Source-Code täglich oder Echtzeit-Analyse von großen Mengen von Dateien Dokumentation.
Thus, our methodology, sampling techniques and comprehensiveness of sources are unsurpassed.
Daher sind unsere Methoden, unsere Samplingverfahren und der Umfang unserer Quellen unübertroffen.
Working source code for several virtual channel sample programs that demonstrate programming techniques.
Funktionierender Quellcode für mehrere Beispielprogramme für virtuelle Kanäle, die Programmiermethoden demonstrieren.
Our security audits include source code reviews, penetration testing and infrastructure analysis.
Unsere Security Audits umfassen Source Code Reviews, Penetrationtests und Infrastrukturanalysen.
Modification of source code is not necessary for analysis.
Anpassungen des Quelltextes sind zur Analyse nicht erforderlich.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 1657270. Exact: 2. Verstreken tijd: 355 ms.
