TimeWeaver analysiert alle möglichen Programmpfade und berechnet den längsten Pfad basierend auf den Ausführungszeiten von Trace-Segmenten der ermittelten Echtzeit-Traces.
TimeWeaver analyses all potential execution paths and computes the longest path based on the execution times of trace segments observed in real-time traces.
Im nächsten Schritt analysiert CodeSonars Symbolic-Execution-Engine die Programmpfade und Programmvariablen, sowie deren Verknüpfungen untereinander.
In the next step CodeSonar's symbolic execution engine explores program paths, reasoning about program variables and how they relate.
Graphviz DOT ist ein kleines PlugIn für Doxygen, das Abhängigkeiten und Programmpfade bildlich darstellen kann, aber dazu gleich mehr...
Graphviz DOT is a small plug-in for Doxygen, which allows graphical outputs, but later more about this...
Ein weiterer wichtiger Faktor besteht darin, dass die Programmpfade des Roboters offline über FANUCs Roboguide Software eingelesen werden.
Another key feature is the fact that the robot program paths are taught off-line using FANUC's Roboguide Software.
Beispielsweise werden Prozeduren während der Analyse zusammengefasst und komprimiert sowie Programmpfade in einer Abfolge untersucht, die ein Paging minimiert.
For example, procedures summaries are refined and compacted during the analysis, and paths are explored in an order that minimizes paging.
Dann untersucht die "symbolic execution engine" des Werkzeugs die Programmpfade und die Relation der Variablen zueinander.
Afterwards, the symbolic execution engine of CodeSonar explores program paths, reasoning about program variables and their relation.
Die Verfeinerung gibt des weiteren präzise Invarianten für die einzelnen Ketten an, eliminiert nicht erreichbare Programmpfade und beweist die Terminierung des Programms.
The refinement also infers precise invariants for each of the chains, discards unfeasible execution patterns and proves termination. 3.
Anschließend werden irrelevante Programmpfade mittels Theorem-Proving-Technologie entfernt um sie von der Analyse auszunehmen.
During this process infeasible program paths are pruned from the exploration by theorem-proving technology. Click to enlarge
save batch file ->Speichert die gewählten Optionen und Programmpfade in einer .bat Datei ab.
save batch file ->Saves your options and application path(s) into a .bat file.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
No results found for this meaning.
Synonyms and analogies of "Programmpfade" in German