ON THE SPECIFICATION AND TESTING OF SOFTWARE RELIABILITY.

作     者：Thompson, William E. Chelson, Paul O. 

出 版 物：《Proceedings of the Annual Reliability and Maintainability Symposium》 

年 卷 期：1980年

页      面：379-383页

核心收录：

主　　题：COMPUTER SYSTEMS PROGRAMMING 

摘      要：This paper deals with the statistics of estimating the software reliability of complex real-time systems where an electronic digital computer and associated computer programs are essential elements of system design and function. Testing is conducted in the operating environment or a simulated environment related to the operating environment in some known way. The procedure is Bayesian so that improvement of reliability estimation is realized in a formal and convenient way as more and more test data are accumulated.