Title :
Software reliability modelling: achievements and limitations
Author_Institution :
Centre for Software Reliability, City Univ., London, UK
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;
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
DOI :
10.1109/CMPEUR.1991.257407