Planning and certifying software system reliability
- 1 January 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 10 (1) , 88-99
- https://doi.org/10.1109/52.207234
Abstract
An approach to software reliability and certification is presented that is based on the use of three mathematical models: the sampling, component, and certification models. The approach helps reduce reliability analysis to a problem that can be evaluated and manipulated through a series of spreadsheets. This approach was motivated by interest in applying the cleanroom software-engineering method in environments that require extensive code reuse.Keywords
This publication has 5 references indexed in Scilit:
- Markov analysis of software specificationsACM Transactions on Software Engineering and Methodology, 1993
- Correction to 'Certifying the reliability of software' (Jan. 1986 3-11)IEEE Transactions on Software Engineering, 1989
- Reliability of systems with Markov transfer of controlIEEE Transactions on Software Engineering, 1988
- Cleanroom Software EngineeringIEEE Software, 1987
- A User-Oriented Software Reliability ModelIEEE Transactions on Software Engineering, 1980