Koo,“Software reliability improvement techniques
- Han Seong Son, Seo Ryong
- Springer Series On Reliability Engineering,
w w w . i j c s t . c o m InternatIonal Journal of Computer SCIenCe and teChnology 471 Abstract Usually, software that is deemed reliable does what it shall. Software that is deemed safe, doesn’t do what it shall not do, i.e. does nothing that can lead to accident. Example a weapon system should destroy and kill. The property that the system destroys and kills is a reliability property. The property that the software in the weapon system doesn’t destroy and kill friendly forces is a safety property. Many systems in these days are much more becoming software intensive and many software intensive systems are safety critical. For this reason, the technique well developed to measure of software reliability is very important for whom to assess such a system. This paper briefly explains what are different models, metrics and techniques available to increase the reliability of safety critical systems.