A cikkben a szoftverek megbízhatóságának problémakörével foglalkozunk, amely lényegesen eltér a megbízhatóságelmélet általános problémakörétől. Ez utóbbi az informatikán belül döntően inkább a hardvermegbízhatóságra érvényes. Foglalkozunk a két problémakör különbségeivel. Ismertetjük az alapvető matematikai modelleket, amelyek két fő csoportra oszlanak: a metrikákra és a prediktív statisztikai modellekre. Kiemelten érdekesek a komplexitási metrikák, amelyek egymástól lényegesen különböző, de egyaránt mély matematikai alapokon nyugszanak. A komplexitási metrikákra épülnek a folyamat-mutatószámok, amelyek a szoftver tervezésének és kódolásának projektjét, a prediktív statisztikai modellek pedig a tesztelés projektjét segítik az időigények reális becslésében.

In this paper we deal with the problem sphere of the software reliability, essentially different from the general problem sphere of reliability. This latter is valid, within information technology, rather on hardware reliability. We deal with the differences of the two problem spheres. We expound the basic mathematical models, which have two main groups: metrics and predictive statistical models. Especially interesting are the complexity metrics, which are laid on two essentially different but equally deep mathematical bases. A realistic assessment of time consumption can help project planning, which is based in software design and coding mainly on complexity metrics, while in software testing mainly on predictive statistical models.

Kulcsszavak: informatika, megbízhatóság, matematika, szoftver ~ information technology, reliability, mathematics, software