Logo des Repositoriums

Auflistung nach Autor:in "Belli, Fevzi"

1 - 10 von 18
  • Konferenzbeitrag
    2. Workshop Testmethoden für Software - Von der Forschung in die Praxis
    (Software Engineering 2008, 2008) Belli, Fevzi; Budnik, Christof J.; Spillner, Andreas
  • Konferenzbeitrag
    2. Workshop Testmethoden für Software – Von der Forschung in die Praxis
    (Software Engineering 2008, 2008) Belli, Fevzi; Budnik, Christof J.; Spillner, Andreas
  • Zeitschriftenartikel
    Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit
    (Informatik-Spektrum: Vol. 21, No. 3, 1998) Belli, Fevzi; Grochtmann, Matthias; Jack, Oliver
      Ein Software-System wird intuitiv als zuverlässig bezeichnet, wenn es den berechtigten Benutzungserwartungen bezüglich der Erfüllung seiner Aufgaben über einen Zeitraum hinweg auf zufriedenstellende Weise entspricht. Eine Quantifizierung dieser Zuverlässigkeit wird durch mathematische Modelle, Software-Zuverlässigkeitsmodelle, angestrebt. Vor allem für sicherheitskritische Systeme sind solche Modelle, die eine solide theoretische Fundierung besitzen, eingesetzt worden. Dieser Artikel gibt eine Übersicht über die bestehenden „klassischen“ Ansätze zur quantitativen Software-Zuverlässigkeitsbestimmung und faßt Erfahrungen mit deren Einsatz in der Praxis zusammen. Als Ausblick werden neue Entwicklungen zu alternativen Sichtweisen der Zuverlässigkeit beleuchtet.Summary  Software systems are intuitively said to be reliable, if they fulfill the user’s legitimate expectations regarding the accomplishment of their tasks over a given period of time. The quantification of this reliability can be achieved by means of mathematical models and software reliability models. Such mathematically well founded models have been deployed especially for safety critical systems. This paper gives an overview of existing „classical“ approaches for software reliability determination and resumes experiences with their practical implementations. Beyond this, new research directions for alternative viewpoints of reliability are discussed.
  • Konferenzbeitrag
    Finite-state modeling, analysis and testing of system vulnerabilities
    (ARCS 2004 – Organic and pervasive computing, 2004) Belli, Fevzi; Budnik, Christof J.; Nissanke, Nimal
    Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or breaches, of any such property constitutes a system vulnerability, which can lead to a situation that is undesirable from user's point of view. This undesired situation could be triggered by special events in the form of intended, or unintended, attacks from the system's environment. We view the undesirable system features as the sum of the situations, which are, mathematically speaking, complementary to the desirable ones that must be taken into account from the very beginning of the system development to achieve a stable system behavior and a robust operation. This work is about the modeling, analysis and testing of both desirable and undesirable system features which can be viewed as relations between the system and its operation.
  • Konferenzbeitrag
    Holistic testing of interactive systems using statecharts
    (Sicherheit 2006, Sicherheit – Schutz und Zuverlässigkeit, 2006) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel
  • Konferenzbeitrag
    Holistic Testing with Basic Statecharts
    (Software Engineering 2007 – Beiträge zu den Workshops – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Belli, Fevzi; Hollmann, Axel
    Based on prior work, this paper extends our holistic approach to generation and selection of test cases based on statecharts. A basic definition of statecharts is given. Furthermore, test selection criteria and a test process are presented.
  • Zeitschriftenartikel
    Layer-Centric Testing
    (FERS-Mitteilungen: Vol. 30, No. 1, 2012) Belli, Fevzi; Güler, Nevin; Linschulte, Michael
    Fevzi Belli+, Nevin Güler*, Michael Linschulte+
  • Zeitschriftenartikel
    Methoden und Hilfsmittel für die systematische Prüfung komplexer Software
    (Informatik-Spektrum: Vol. 21, No. 6, 1998) Belli, Fevzi
      Für einen verläßlichen Einsatz von komplexen Software-Systemen ist einerseits wichtig, daß sie mit technologisch angemessenen Techniken und Methoden aufgabengerecht konstruiert werden. Andererseits ist die Nachweisführung keineswegs trivial, daß das zu liefernde bzw. abzunehmende System den erwünschten Leistungsumfang voll, d.h. in aller erdenklichen Funktionsvielfalt deckt. Der vorliegende Beitrag faßt die einschlägigen Prüftechniken für Software zusammen.Summary  Developing complex, dependable software systems requires deployment of appropriate construction techniques and methodes. Moreover, it is considerably difficult to verify the compliance of all properties of the system to be delivered and released with the functional user requirements. The present paper summarizes existing methods for software testing.
  • Zeitschriftenartikel
    Methoden und Modelle der Fehlertoleranz
    (Informatik Spektrum: Vol. 9, No. 2, 1986) Belli, Fevzi; Echtle, Klaus; Görke, Winfried
  • Konferenzbeitrag
    Modellbasiertes Testen
    (Informatik 2009 – Im Focus das Leben, 2009) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario