Logo des Repositoriums

Auflistung nach Schlagwort "K.6.3"

1 - 2 von 2
  • 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.
  • 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.