After good designs have been validated, the advanced code generator of ASCET produces production-ready embedded C code that, thanks to automatic introduction of defensive coding checks, is free from significant classes of run time problems.
Nachdem die Modelle validiert sind, lässt sich mit dem fortschrittlichen Codegenerator von ASCET serientauglicher C-Code erstellen, der dank der automatischen Einführung von defensiven Code-Tests frei von wesentlichen Echtzeit-Problemen ist.
ASCET-DEVELOPER automatically adds defensive coding checks to prevent potential errors that cannot be detected by static analysis.
ASCET-DEVELOPER führt automatisch defensive Code-Prüfungen durch und verhindert so potenzielle Fehler, die bei statischen Analysen unerkannt bleiben.
Other results
The device has a LED display in order to check the coding.
Das Gerät besitzt eine LED-Anzeige für die Codierprüfung.
In this, control systems are also available that directly check coding for uniqueness.
Learn about the common standard of HTML and how to check your coding is correct.
Lesen Sie über den HTML-Standard und wie Sie die Richtigkeit Ihres Codes kontrollieren können.
Use Travis-CI to automatically check coding standards and run tests.
Verwendet Travis-CI für die automatische Kontrolle eures Codes und für die Ausführung der Tests.
This model describes the development way of the software from the specification and its verification about the coding to the validity check.
Dieses Modell beschreibt den Entwicklungsweg der Software von der Spezifikation und deren Verifizierung über die Codierung bis zur Validierung.
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.
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.
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.