학술논문

Planning and certifying software system reliability
Document Type
Periodical
Source
IEEE Software IEEE Softw. Software, IEEE. 10(1):88-99 Jan, 1993
Subject
Computing and Processing
Software systems
Reliability engineering
Certification
Design engineering
Hardware
Software reliability
Mathematical model
Software engineering
Telephony
Language
ISSN
0740-7459
1937-4194
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.ETX