|
|
|
|
LEADER |
03216nam a2200241uu 4500 |
005 |
20190328145936.0 |
008 |
s2001 ci |||||||||| ||hrv|d |
035 |
|
|
|a HR-ZaFER 17887
|
040 |
|
|
|a HR-ZaFER
|b hrv
|c HR-ZaFER
|e ppiak
|
041 |
|
|
|a hrv
|
080 |
|
|
|a 681.3
|h PRECIZNI MEHANIZMI I INSTRUMENTI
|j OPREMA ZA OBRADU PODATAKA
|e 681
|9 1740
|
080 |
|
|
|a 621.39
|h ELEKTROTEHNIKA
|j TELEKOMUNIKACIJE. TELEUPRAVLJANJE (DALJINSKO)
|e 621.3
|9 1248
|
100 |
1 |
|
|9 8840
|a Naglić, Hrvoje
|
245 |
|
|
|a Modeliranje pouzdanosti programskih sustava :
|b magistarski rad /
|c Hrvoje Naglić ; [mentor Branko Mikac]
|
260 |
|
|
|a Zagreb :
|b H. Naglić ; Fakultet elektrotehnike i računarstva,
|c 2001.
|
300 |
|
|
|a 127 str. :
|b graf. prikazi (djelomice u bojama) ;
|c 30 cm +
|e CD
|
504 |
|
|
|a Bibliografija str. 125-127.
|
520 |
|
|
|a Na prvi pogled suvremeni čovjek i ne vidi gdje su sve ugrađeni programski sustavi. Svi znamo da se velika i složena računala koriste u istraživačkim laboratorijima, ali ne pomišljamo da se ona nalaze gotovo u svakom kućanskom aparatu. Zbog učestale upotrebe računala i programskih sustava postaje sve važnija njihova kvaliteta. Jedna od najrasprostranjenijih i najšire prihvaćenih mjerila kvalitete programskih sustava je njihova pouzdanost. U radu su izložene sažete matematičke osnove teorije pouzdanosti i opširan pregled literature o matematičkim modelima za predviđanje pouzdanosti programskih sustava. Radnim primjerom pokazano je kako se matematički modeli koriste u praksi pri određivanju pouzdanosti. Opisano je kakav treba biti razvoj i kakvo treba biti testiranje da bi se proizvelo pouzdan programski sustav. Izložen je i problem procjene i postizanja zadovoljavajuće pouzdanosti kod velikih i složenih programskih sustava.
KLJUČNE RIJEČI: Pouzdanost, modeliranje pouzdanosti, procjena pouzdanosti, programski sustavi, dizajn, testiranje, složeni programski sustavi, uvišestručenje.
|
520 |
|
|
|a At the first glance we do not recognize all devices controlled by software systems. Usually, we believe that large-scale software systems are only used in some super computers used for space technology. But what we do not know is that our domestic devices, like washing machine, contains processor controlled by program code. Because of their more often use it is very important that we produce good quality software systems. Hot to measure quality? One of the most used attributes of software quality is its reliability. This thesis presents the basic mathematics of the reliability theory. Additionally, it lists various mathematical models for software reliability modeling. Case study shows how to use failure data and of the shelf applications to measure and predict software reliability. The key to build reliable software is control of the design and testing phases in the development project. Modern software products containing thousands of modules request special techniques to measure and deliver reliable product.
KEYWORDS: Reliability, reliability modeling, reliability prediction, software systems, design, testing, component based systems, N-version programming.
|
700 |
|
|
|4 ths
|9 10131
|a Mikac, Branko
|
942 |
|
|
|c M
|2 udc
|
990 |
|
|
|a 17098
|
999 |
|
|
|c 16253
|d 16253
|