Logo des Repositoriums

Auflistung nach Autor:in "Santen, Thomas"

1 - 6 von 6
  • Konferenzbeitrag
    Contextualizing security goals: A method for multilateral security requirements elicitation
    (Sicherheit 2006, Sicherheit – Schutz und Zuverlässigkeit, 2006) Gürses, Seda F.; Santen, Thomas
  • Konferenzbeitrag
    Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme
    (Software Engineering 2012, 2012) Santen, Thomas
    Nebenläufige und verteilt arbeitende Softwaresysteme sind nicht neu. Betriebssysteme sind seit mehr als 20 Jahren inhärent nebenläufig. Verteilte Datenbanken werden mindestens genauso lange erfolgreich eingesetzt. Neue Entwicklungen wie Multi- und Many-Core Architekturen, Cloud und Ubiquitous Computing oder die immer größer werdenden Anforderungen an Performanz, Energieeffizienz und andere Qualitätseigenschaften stellen jedoch die Effektivität etablierter Qualitätssicherungstechniken in Frage. Insbesondere ist systematisches Testen immer weniger geeignet, die erforderliche Qualität solcher Systeme adäquat und kosteneffizient zu sichern. In dieser Situation stellen leistungsfähige modellbasierte und formale Verifikationstechniken eine attraktive Alternative dar. Der Vortrag zeigt, wie diese Techniken bereits heute in die industrielle Praxis der Softwareproduktion wirken.
  • Konferenzbeitrag
    Probabilistic confidentiality properties based on indistinguishability
    (Sicherheit 2005, Sicherheit – Schutz und Zuverlässigkeit, 2005) Santen, Thomas
    This paper motivates three confidentiality properties based on the notion of indistinguishable behavior induced by adversary observations of nondeterministic and probabilistic systems. Concealed behavior is a possibilistic property, whereas ensured entropy and bounded risk are probabilistic properties. In contrast to noninterferencelike information flow properties, these properties do not primarily aim at restricting information flow, but on keeping the differences between indistinguishable behavior confidential. To support the probabilistic definitions, the concept of the probability of a trace given an observation is clarified for systems permitting external, nondeterministic, and probabilistic choice.
  • Konferenzbeitrag
    TEAGER – Test automation for UML state machines
    (Software Engineering 2006, Proceedings der Fachtagung des GI-Fachbereichs Softwaretechnik, 2006) Santen, Thomas; Seifert, Dirk
    TEAGER is a tool suite supporting test automation based on UML state machines, conforming to the UML semantics definition. For testing, the various sources of non-determinism in state machines pose major challenges. This article discusses those challenges and the approach for their solution taken in TEAGER. This includes probabilistic batch generation of test cases, which include expected observations, test execution and evaluation, as well as a probabilistic simulator for state machines, which is useful for model validation.
  • Zeitschriftenartikel
    Testing Against Requirements Using UML Environment Models
    (Softwaretechnik-Trends Band 28, Heft 3, 2008) Heisel, Maritta; Hatebur, Denis; Santen, Thomas; Seifert, Dirk
    Testing Against Requirements Using UML Environment ModelsWe propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to illustrate the method. This article is an abbreviated version of.
  • Konferenzbeitrag
    Using UML environment models for test case generation
    (Software Engineering 2008, 2008) Heisel, Maritta; Hatebur, Denis; Santen, Thomas; Seifen, Dirk