By Topic

An integrated approach to achieving high software reliability

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
M. R. Lyu ; Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Shatin, Hong Kong

In this paper we address the development, testing, and evaluation schemes for software reliability, and the integration of these schemes into a unified and consistent paradigm. Specifically, techniques and tools for the three software reliability engineering phases are described. The three phases are (1) modeling and analysis, (2) design and implementation, and (3) testing and measurement. In the modeling and analysis phase we describe Markov modeling and fault-tree analysis techniques. We present system-level reliability models based on these techniques, and provide modeling examples for reliability analysis and study. We describe how reliability block diagrams can be constructed for a real-world system for reliability prediction, and how critical components can be identified. We also apply fault tree models to fault tolerant system architectures, and formulate the resulting reliability quantity. Finally, we describe two software tools, SHARPE and UltraSAN, which are available for reliability modeling and analysis purpose

Published in:

Aerospace Conference, 1998 IEEE  (Volume:4 )

Date of Conference:

21-28 Mar 1998