dsl – Übersetzung – Keybot-Wörterbuch

Spacer TTN Translation Network TTN TTN Login Français English Spacer Help
Ausgangssprachen Zielsprachen
Keybot 2 Ergebnisse  support.intelequia.com
  Evaluation of fault tol...  
Text zeigenZeige Ausgangstext im CacheURL mit Ausgangstext zeigen
The paper presents a domain-specific language (DSL), which allows describing appropriate tests for time-controlled real-time systems. These tests manipulate the system under test and insert faults deliberately (so-called fault injections).
Textseiten vergleichenHTM-Seiten vergleichenURL mit Ausgangstext zeigenURL mit Zielsprache zeigenjambit.com als Prioritätsdomäne definieren
Das Paper stellt eine domänenspezifische Sprache (DSL) vor, mit der entsprechende Tests für zeitgesteuerte Echtzeitsysteme beschrieben werden können. Diese Tests manipulieren das zu testende System und fügen absichtlich Fehler ein (sogenannte Fault Injections). Dies geschieht jedoch auf nicht-intrusive Weise. Nicht-intrusiv bedeutet, dass der Testvorgang das zu testende System (möglichst) nicht systemisch verändert. Denn sonst würde man prinzipiell ein anderes System testen als das, was letztlich in die Produktion geht.
  Evaluation of fault tol...  
Text zeigenZeige Ausgangstext im CacheURL mit Ausgangstext zeigen
In this context, we discussed the theoretical aspects of the test system and they told me that they were working on a related paper. I read a draft of the paper, contributed comments and implemented a prototypical compiler for the DSL.
Textseiten vergleichenHTM-Seiten vergleichenURL mit Ausgangstext zeigenURL mit Zielsprache zeigenjambit.com als Prioritätsdomäne definieren
Ich arbeitete mit den Kollegen an einem Teil der Testsoftware für das RACE-Projekt. In diesem Rahmen diskutierten wir auch theoretische Aspekte des Testsystems, und ich erfuhr, dass ein entsprechendes Paper in Arbeit war. Ich las einen Entwurf des Papers, machte Anmerkungen und implementierte einen prototypischen Compiler für die DSL. Ergebnisse und Erfahrungen aus dieser Arbeit flossen in das Paper ein.