Evolution?rer Test von Realzeitsystemen     

Joachim Wegener und Matthias Grochtmann 《Informatik - Forschung und Entwicklung》2000,15(3):151-160

Zusammenfassung.   Die Entwicklung von Realzeitsystemen ist eine wesentliche Aufgabe im industriellen Umfeld. Der dynamische Test ist die wichtigste analytische Qualit?tssicherungsmethode für Realzeitsysteme. Der dynamische Test ist das einzige Verfahren, mit dem das Laufzeitverhalten der Systeme in der tats?chlichen Einsatzumgebung überprüft werden kann. Bestehende Testmethoden konzentrieren sich weitgehend auf den Test des funktionalen Verhaltens von Systemen. Sie bieten keine besondere Unterstützung für den Test des zeitlichen Verhaltens. Für die Korrektheit von Realzeitsystemen sind jedoch beide Aspekte gleicherma?en wichtig. Folglich müssen die bestehenden Methoden um neue Ans?tze erg?nzt werden, die auf die Prüfung des zeitlichen Verhaltens spezialisiert sind. Ein Fehler im Zeitverhalten von Realzeit-Systemen liegt dann vor, wenn es zul?ssige Eingabesituationen gibt, für die das System nicht in der Lage ist, die spezifizierten zeitlichen Anforderungen zu erfüllen. In den meisten F?llen ist dies darauf zurückzuführen, da?das System eine Ausgabe zu früh macht oder da?die Berechnung einer Ausgabe zu lange dauert und diese daher zu sp?t erfolgt. Aufgabe des Testers ist es folglich, die Eingabesituationen mit den l?ngsten und kürzesten Ausführungszeiten zu finden, um zu überprüfen, ob die für das System spezifizierten Zeitschranken verletzt werden. Wird die Suche nach entsprechenden Eingabesituationen als Optimierungsproblem interpretiert, dann k?nnen evolution?re Algorithmen verwendet werden, um die Eingaben mit den l?ngsten und kürzesten Ausführungszeiten automatisch zu suchen. Die zu optimierende Zielfunktion entspricht hierbei den gemessenen Ausführungszeiten, die generierten Individuen repr?sentieren Testdaten. Die Verwendung evolution?rer Algorithmen für den Test nennen wir evolution?ren Test. Zum Vergleich des evolution?ren Tests mit anderen Testmethoden wurden in dieser Arbeit mehrere Experimente durchgeführt. In allen Experimenten erreicht der evolution?re Test l?ngere bzw. kürzere Ausführungszeiten als durch Zufallstests oder systematische Tests gefunden werden. Der evolution?re Test erscheint daher als gut geeignet für die Prüfung der zeitlichen Korrektheit von Realzeitsystemen. Die Kombination des evolution?ren Tests mit systematischen Tests kann die Testqualit?t weiter verbessern und wird in diesem Papier als Teststrategie für Realzeitsysteme empfohlen. Eingegangen am 14. Dezember 1999 / Angenommen am 30. Mai 2000  相似文献   

SSONET: Systemunterstützung für mehrseitige Sicherheit in offenen Datennetzen     

A. Pfitzmann  A. Schill  A. Westfeld  G. Wicke  G. Wolf  J. Z?llner 《Informatik - Forschung und Entwicklung》1999,15(1):95-108

Wir stellen eine prototypische Implementierung einer Sicherheitsarchitektur vor. Sie unterstützt Nutzer und Entwickler verteilter Anwendungen bei der Umsetzung bzw. Integration von mehrseitiger Sicherheit. Nutzer k?nnen Schutzziele wie Vertraulichkeit, Anonymit?t, Integrit?t und Zurechenbarkeit anwendungsbezogen formulieren und ihnen zugeordnete kryptographische Mechanismen konfigurieren. Der konkrete Schutz einer Kommunikation über Datennetze wird zwischen den Partnern ausgehandelt. Heterogenen Anforderungen der Nutzer bzw. Applikationen und heterogenen Eigenschaften der Schutzmechanismen wird durch Architekturkomponenten für Konfigurierung und Aushandlung sowie sog. Sicherheitsgateways Rechnung getragen. Die Architektur setzt jeweils lokal sichere Basissysteme voraus und erm?glicht darauf aufbauend flexible mehrseitige Sicherheit für verteilte Anwendungen.  相似文献   

Verteilungsmodelle für Workflow-Management-Systeme – Klassifikation und Simulation     

Thomas Bauer und Peter Dadam 《Informatik - Forschung und Entwicklung》1999,14(4):203-217

Zusammenfassung.   In unternehmensweiten Workflow-Management-Systemen (WfMS) kann die von der WF-Engine zu bew?ltigende Last sehr gro? werden. Au?erdem werden hohe Anforderungen an die Verfügbarkeit eines solchen Systems gestellt. Deshalb wurden in der Literatur zahlreiche Architekturen für skalierbare WfMS vorgeschlagen, die auf unterschiedlichen Verteilungsmodellen für die WF-Engine basieren. Im vorliegenden Beitrag werden diese Verteilungsmodelle analysiert, verglichen und klassifiziert. Aufbauend auf diese Klassifikation wird für zwei Beispielszenarien die bei den verschiedenen Verteilungsmodellen entstehende Last simuliert und verglichen. Eingegangen am 12. M?rz 1999 / Angenommen am 8. Oktober 1999  相似文献   

Kooperierende Diagnoseagenten     

Stefan Bamberger und Frank Puppe 《Informatik - Forschung und Entwicklung》1999,14(3):135-144

  相似文献   

The digitalization of science education: Déjà vu all over again?     

Knut Neumann  Noemi Waight 《科学教学研究杂志》2020,57(9):1519-1528

  相似文献   

Spatial metaphors and writing hypertexts: Study within schools     

Rainer Bromme  Elmar Stahl 《European Journal of Psychology of Education - EJPE》1999,14(2):267-281

This article deals with the writing of hypertext during regular school lessons. We suppose that hypertext-environments can be used as “cognitive tools” to promote the comprehension of semantic relationships within a subject and the reflection about knowledge structures. From research on learning by writing traditional text (Bereiter &; Scardamalia 1987), it can be expected that the constitutive features of “hypertext” must be comprehensible for leaner. In this study, we focus in particular on the question: Which metaphors are helpful to introduce the main idea of “hypertext” as a cognitive tool? In an explorative field study, we examined two parallel classes constructing hypertexts during their regular school lessons. The teachers in both classes used completely different metaphors to introduce the concept of hypertext. The metaphor chosen influenced both the structures of the completed hypertext-documents and the discussion about the subject matter. The space-metaphor seems to be especially appropriate to introduce the concept of hypertext to the learner in such a way that a creative interaction between the structure of the hypertext and the semantic structure of the subject could result. Three tests were administered to measure the degree to which knowledge about semantic relations and structures was acquired. The class that had discussed hypertext with spatial metaphors showed significantly better results than the parallel class.  相似文献