DocumentCode :
3439764
Title :
Software reliability modelling: achievements and limitations
Author :
Littlewood, Bev
Author_Institution :
Centre for Software Reliability, City Univ., London, UK
fYear :
1991
fDate :
13-16 May 1991
Firstpage :
336
Lastpage :
344
Abstract :
An examination is made of the direct evaluation of the reliability of a software product from observation of its actual failure process during operation, using reliability growth modeling techniques described. Conclusions drawn from perfect working are examined. An assessment is also made of indirect sources of confidence in dependability. The author argues that one way forward might be to insist that certain safety-critical system should only be built if the safety case can be demonstrated to rely only on assurable levels of design dependability
Keywords :
safety; software reliability; confidence; dependability; design dependability; reliability growth modeling; safety-critical system; software reliability modelling; Application software; Battery powered vehicles; Calendars; Fault detection; Particle measurements; Predictive models; Reliability engineering; Software reliability; Software testing; Stochastic processes;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
CompEuro '91. Advanced Computer Technology, Reliable Systems and Applications. 5th Annual European Computer Conference. Proceedings.
Conference_Location :
Bologna
Print_ISBN :
0-8186-2141-9
Type :
conf
DOI :
10.1109/CMPEUR.1991.257407
Filename :
257407
Link To Document :
بازگشت