Modele wzrostu niezawodności oprogramowania
Journal Title: Computer Science and Mathematical Modelling - Year 2010, Vol 0, Issue 6
Abstract
Historia badań nad niezawodnością oprogramowania sięga lat 70. ubiegłego wieku. Od momentu pojawienia się pierwszych publikacji poświęconych tej tematyce nastąpił znaczący rozwój i postęp prac mających na celu między innymi budowę matematycznego modelu umożliwiającego badanie wzrostu niezawodności oprogramowania w procesie jego testowania. Analizując dostępną literaturę, można dojść do wniosku, że nie istnieje rozwiązanie uniwersalne, które dałoby się zastosować w każdym przypadku. Możliwa jest natomiast klasyfikacja dostępnych modeli ze względu na cechy charakterystyczne poszczególnych rozwiązań, takie jak dziedzina danych, sposób opisu błędów pojawiających się w procesie testowania, sposób opisu niezawodności czy też pozostałych założeń, w tym narzędzi matematycznych wykorzystywanych w procesie ewaluacji. W artykule przedstawiono przegląd istniejących rozwiązań modelowania niezawodności oprogramowania, kładąc nacisk na różnorodność aspektów oraz metod wykorzystywanych w tym procesie.
Authors and Affiliations
Radosław Pełka
Keywords
Related Articles
- EP ID EP63139
- DOI -
- Views 123
- Downloads 0
Model procesu pokonywania wielostrefowej ochrony obiektu stacjonarnego przez intruza
W artykule rozpatruje się model procesu pokonywania wielostrefowej ochrony obiektu stacjonarnego (zabudowania wraz z przyległym terenem) przez pasywnego intruza zdeterminowanego, co oznacza intruza nie oddziałującego czy...
Usability of Gello and RIM for the object-oriented modeling of medical systems
Modern-day medical systems are complex and heterogeneous. This requires their unification, also with the help of standards. Health Level 7 (HL7) is a widely accepted standard that allows data exchange between various ins...
Properties of the Algorithm for Determining an Initial Medical Diagnosis Based on a Two-Criteria Similarity Model
The paper presents analyses of properties of multicriteria decision support mechanisms in the nodes of clinical paths concerning initial diagnosis. The main object of analysis is the two-criteria initial diagnosis model...
Pareto filter in the process of multi-label classifier synthesis in medical diagnostics support algorithms
The paper presents the possibility of using multi-criteria optimization methods for simple classifiers fusion in a more precise and reliable classifiers complex. There are defined simple classifiers (one label) in the fo...
Quantum computer implemented with use of nuclear magnetic resonance phenomenon – basics of working
Paper contains information about theory of constructing quantum computer. There are a few different propositions of this kind device’s implementation and, in this article, method based on nuclear magnetic resonance pheno...